Publications > Preprint server > Preprint Number 550
Preprint Number 550
550. Russell Miller and Hans Schoutens
Computably Categorical Fields via Fermat's Last Theorem
Submission date: 30 December 2012.
We construct a computable, computably categorical field of infinite transcendence degree over the rational numbers, using the Fermat polynomials and assorted results from algebraic geometry. We also show that this field has an intrinsically computable (infinite) transcendence basis.
Mathematics Subject Classification: 03C57 (Primary), 03D45, 12L05 (Secondary)
Keywords and phrases:
|Last updated: January 1 2013 14:07||Please send your corrections to:|