[FOM] A question on fields

Gergely Székely gergely.szekely at gmail.com
Mon Aug 5 05:40:06 EDT 2013

Dear Shashi M. Srivastava,

That the theory of algebraically closed fields is not finitely
axiomatizable can be found, for example, in
- Dalen: Logic and Structure (http://books.google.hu/books?id=u0wlXPHATDcC),
see Corollary 4.2.13 on p.109
- Barwise: Handbook of Mathematical Logic (
http://books.google.hu/books?id=b0Fvrw9tBcMC), see Theorem 5.5 on p.119.
- Bell & Slomson: Models and ultraproducts, see Theorem 3.22 on p.101

Best regards,
Gergely Székely

On Sun, Aug 4, 2013 at 6:11 PM, SHASHI SRIVASTAVA <smohan53 at gmail.com>wrote:

>  How does one prove the following?
> For every $d \geq 2$, there is a field $K$ such that every polynomial in
> $K[X]$ of degree $\leq d$ has a root in $K$ but $K$ is not algebraically
> closed.
> This will imply that the theory of algebraically closed fields is not
> finitely axiomatizable, which is my main interest.
> Shashi M. Srivastava
> Indian Statistical Institute
> Kolkata
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20130805/560113d8/attachment.html>

More information about the FOM mailing list