[FOM] V = WF costs nothing

Alasdair Urquhart urquhart at cs.toronto.edu
Thu Feb 7 20:24:32 EST 2008

If we want to make the question of V = WF definite,
then we could ask: "Are all theories of nonwellfounded
sets proposed so far interpretable in ZFC + WF?"

Since the answer appears to be "yes", I range myself
with those who think of V = WF as a harmless addition
to the set-theoretical axioms that does not rule
out interpretations of weird and wonderful nonwellfounded universes
such as those of Finsler, Aczel, Barwise, Etchemendy,
Larry Moss and other writers on nonwellfounded sets.

Alasdair Urquhart

More information about the FOM mailing list