[FOM] V = WF costs nothing
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.
More information about the FOM