On Dec 5, 12:02 pm, Bruno Marchal <[email protected]> wrote: > On 04 Dec 2010, at 18:50, Brian Tenneson wrote: > > That means that R (standard model of the first order theory of the > reals + archimedian axiom, without the term "natural number") is not > elementary embeddable in R*, given that such an embedding has to > preserve all first order formula (purely first order formula, and so > without notion like "natural number"). >
I'm a bit confused. Is R < R* or not? I thought there was a fairly natural way to elementarily embed R in R*. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.
