[FOM] Absolutness of arithmetic

Adam Kolany dr.a.kolany at wp.pl
Sun Dec 31 12:25:10 EST 2006


given a model M of ZF, one can define w model N_M of peano arithmetics 
in the obvious way.
is it known wheather for different M's the models N_M's are elementarily 
equivalent, or one knows an example of two models of ZF which have 
"different"  N_M's ?

ps. Happy New Year.

More information about the FOM mailing list