[FOM] theory of fields

[Rupert McCallum]

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