[FOM] Truth and set theory

[praatika@mappi.helsinki.fi]

Dear FOMers

Let us denote ZF (NBG) withouth the axiom of infinity as ZF- (NBG-). Z is
the original Zermelo set theory, without the axiom of replacement. 

Now apparently Wang (1952) showed that it is possible to give a (materially
adequate) truth-definition for the infinitary Z in finitistic set theory
NBG-. This is interesting enough.

But is there some reason why one could not also give a truth definition for
ZF, again in NBG- ? (Z and ZF have, after all, the same language) 

Is anyone here familiar with this stuff?


Best, Panu




Panu Raatikainen


Ph.D., Academy Research Fellow,
Docent in Theoretical Philosophy
Department of Philosophy
University of Helsinki
Finland


E-mail: panu.raatikainen at helsinki.fi

http://www.mv.helsinki.fi/home/praatika/