On Dec 5, 12:02 pm, Bruno Marchal <marc...@ulb.ac.be> 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 everything-l...@googlegroups.com.
To unsubscribe from this group, send email to 
everything-list+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/everything-list?hl=en.

Reply via email to