[FOM] Absolutness of arithmetic
Rupert McCallum
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:
> Hi,
>
> 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.
>
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>
__________________________________________________
Do You Yahoo!?
Tired of spam? Yahoo! Mail has the best spam protection around
http://mail.yahoo.com
More information about the FOM
mailing list