[FOM] Absolutness of arithmetic
rupertmccallum at yahoo.com
Mon Jan 1 18:15:49 EST 2007
Well, surely we might have two models that disagree about whether ZF is
consistent, in which case they couldn't be elementarily equivalent.
--- Adam Kolany <dr.a.kolany at wp.pl> wrote:
> given a model M of ZF, one can define w model N_M of peano
> in the obvious way.
> is it known wheather for different M's the models N_M's are
> equivalent, or one knows an example of two models of ZF which have
> "different" N_M's ?
> ps. Happy New Year.
> FOM mailing list
> FOM at cs.nyu.edu
Do You Yahoo!?
Tired of spam? Yahoo! Mail has the best spam protection around
More information about the FOM