Undecidability in number theory
J Koenigsmann - Model theory in algebra, analysis and arithmetic, 2014 - Springer
Undecidability in number theory Page 163 Undecidability in Number Theory Jochen
Koenigsmann 1 Introduction These lectures are variations on a theme that is faintly echoed in …
Koenigsmann 1 Introduction These lectures are variations on a theme that is faintly echoed in …
[HTML][HTML] Existentially generated subfields of large fields
S Anscombe - Journal of Algebra, 2019 - Elsevier
We study subfields of large fields which are generated by infinite existentially definable
subsets. We say that such subfields are existentially generated. Let L be a large field of …
subsets. We say that such subfields are existentially generated. Let L be a large field of …
One-dimensional F-definable sets in F ((t))
S Anscombe - arXiv preprint arXiv:1503.05803, 2015 - arxiv.org
In this note we study one-dimensional definable sets in power series fields with perfect
residue fields. Using the description of automorphisms given by Schilling, in\cite {S44}, we …
residue fields. Using the description of automorphisms given by Schilling, in\cite {S44}, we …
Undecidability in Number Theory
L van den Dries, J Koenigsmann… - Model Theory in Algebra …, 2014 - Springer
In these lecture notes we give sketches of classical undecidability results in number theory,
like Gödel's first Incompleteness Theorem (that the first order theory of the integers in the …
like Gödel's first Incompleteness Theorem (that the first order theory of the integers in the …