[FOM] theory of fields

[Rupert McCallum]

This occurred to me, but it wasn't obvious to me that you could
determine the truth value of a given sentence in the two element field
in polynomial time.

--- "Robert M. Solovay" <solovay at math.berkeley.edu> wrote:

> 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
> >
> 
> -- 
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
> 



       
____________________________________________________________________________________
Need a vacation? Get great deals
to amazing places on Yahoo! Travel.
http://travel.yahoo.com/