Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 550

Preprint Number 550

Previous Next Preprint server

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:

Full text arXiv 1212.6751: pdf, ps.

Last updated: March 23 2021 09:22 Please send your corrections to: