The Review of Symbolic Logic

Table of Contents - 2008 - Volume 1, Issue 01  

Research Article

THE ITERATIVE CONCEPTION OF SET

THOMAS FORSTERa1 c1

a1 Centre for Mathematical Sciences

Abstract

The two expressions ‘The cumulative hierarchy’ and ‘The iterative conception of sets’ are usually taken to be synonymous. However, the second is more general than the first, in that there are recursive procedures that generate some ill-founded sets in addition to well-founded sets. The interesting question is whether or not the arguments in favour of the more restrictive version – the cumulative hierarchy – were all along arguments for the more general version.

(Received October 25 2007)

(Revised February 01 2008)

Correspondence:

c1 CAMBRIDGE UNIVERSITY, CENTRE FOR MATHEMATICAL SCIENCES, CAMBRIDGE CB3 OWB, UK. E-mail: T.Forster@dpmms.cam.ac.uk