[FOM] theory of fields
rupertmccallum at yahoo.com
Tue Jun 26 20:21:55 EDT 2007
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
> > and also the theory of fields of characteristic 0 are undecidable.
> > 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
Need a vacation? Get great deals
to amazing places on Yahoo! Travel.
More information about the FOM