[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