FOM: iterative conception of set

Randall Holmes holmes at catseye.idbsu.edu
Fri Feb 27 15:51:06 EST 1998


I think that second-order logic is a kind of set theory myself.  But
second order logic is typed set theory; one is not considering sets
of sets.  I'm not eliminating sets; I'm eliminating the unlimited
iteration of set construction in ZFC.

The context in which this arises is the simulation of Zermelo-style
set theory in NFU, where induction/recursion along the membership
relation is forbidden.  It turns out that the Zermelo universe
is nonetheless perfectly easy to discuss via the interpretation
in isomorphism types.  

					--Randall



More information about the FOM mailing list