[FOM] theory of fields
Robert M. Solovay
solovay at math.berkeley.edu
Tue Jun 26 01:47:47 EDT 2007
The answer to the last question is yes. Use the model that is the two
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.
> FOM mailing list
> FOM at cs.nyu.edu
More information about the FOM