[FOM] A question on fields

[John Baldwin]

The question you ask directly may require a little work.  To show ACF_0 (or
acf for that matter) is not finitely axiomatizable note that any finite set
of equations have a solution in a finite field.

John T. Baldwin
Professor Emeritus
Department of Mathematics, Statistics,
and Computer Science M/C 249
jbaldwin at uic.edu
851 S. Morgan
Chicago IL
60607


On Sun, Aug 4, 2013 at 11:11 AM, 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/796d6f91/attachment.html>