[FOM] theory of fields
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