[FOM] theory of fields

Tue Jun 26 01:47:47 EDT 2007

The answer to the last question is yes. Use the model that is the two 
element field.

      --Bob Solovay

On Mon, 25 Jun 2007, Rupert McCallum wrote:

> I have two questions. Julia Robinson proved that the theory of fields
> and also the theory of fields of characteristic 0 are undecidable. For
> which primes p is it known whether the theory of fields of
> characteristic p is undecidable? Also, can the consistency of the
> theory of fields be proved in Bounded Arithmetic?
>
>
>
> ____________________________________________________________________________________
> Expecting? Get great news right away with email Auto-Check.
> Try the Yahoo! Mail Beta.
> http://advision.webevents.yahoo.com/mailbeta/newmail_tools.html
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>

-- 