[FOM] Need reference for results in Field Theory

joeshipman@aol.com joeshipman at aol.com
Sat Oct 14 10:24:36 EDT 2006

Who first proved the following theorem? (I assume the answer isn't 

If K and L are nonisomorphic subfields of the algebraic numbers, then 
there is a polynomial with integer coefficients which has a root in one 
of them and no root in the other.

Also, who proved this one (or is it false)?

Any field of characteristic 0 is elementarily equivalent to a subfield 
of the algebraic numbers.

-- JS

Check out the new AOL.  Most comprehensive set of free safety and 
security tools, free access to millions of high-quality videos from 
across the web, free AOL Mail and more.

More information about the FOM mailing list