[FOM] theory of fields

Rupert McCallum rupertmccallum at yahoo.com
Mon Jun 25 23:40:59 EDT 2007

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.

More information about the FOM mailing list