Undecidability of ℚ⁽²⁾

DOI10.1090/PROC/14849MaRDI QIDQ5212403zbMATH OpenOpenAlexFDO

Authors C. Martinez-Ranero, Javier Utreras, Carlos Videla

Publication date 29 January 2020

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1809.04670

zbMATH Keywords

undecidabilityinfinite algebraic extensions

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Quadratic extensions (11R11) Decidability (number-theoretic aspects) (11U05)

Abstract: It is shown that the compositum $mathbb{Q}^{(2)}$ of all degree 2 extensions of $mathbbQ$ has undecidable theory.

Recommendations

• Diophantine undecidability of \({\mathbb{C}{}}(t_ 1,t_ 2)\)
• Undecidability, unit groups, and some totally imaginary infinite extensions of \(\mathbb{Q}\)
• Undecidability in number theory
• Undecidability in number theory
• Diophantine undecidability in some rings of algebraic numbers of totally real infinite extensions of \(\mathbb{Q}\)
• Questions of decidability and undecidability in Number Theory
• The undecidability of cyclotomic towers
• Undecidability in Function Fields of Positive Characteristic
• scientific article; zbMATH DE number 3877167
• Diophantine undecidability over algebraic function fields over finite fields of constants

Cites work

• scientific article; zbMATH DE number 705075 (Why is no real title available?)
• scientific article; zbMATH DE number 3430640 (Why is no real title available?)
• scientific article; zbMATH DE number 967875 (Why is no real title available?)
• scientific article; zbMATH DE number 3190335 (Why is no real title available?)
• A note on heights in certain infinite extensions of \(\mathbb Q\)
• A note on the Northcott property and undecidability
• Arithmetic over the rings of all algebraic integers.
• Definability of the ring of integers in pro-\(p\) Galois extensions of number fields
• Definability of the ring of integers in some infinite algebraic extensions of the rationals
• Elimination theory for the ring of algebraic integers.
• First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers
• Undecidability in number theory

Cited in

(12)

• Definability and decidability for rings of integers in totally imaginary fields
• Diophantine undecidability of \({\mathbb{C}{}}(t_ 1,t_ 2)\)
• Definability of the ring of integers in some infinite algebraic extensions of the rationals
• UNDECIDABILITY OF FAMILIES OF RINGS OF TOTALLY REAL INTEGERS
• The undecidability of cyclotomic towers
• scientific article; zbMATH DE number 1051238 (Why is no real title available?)
• On the Northcott property for infinite extensions
• Defining \(\mathbb{Z}\) using unit groups
• Universal quadratic forms and Northcott property of infinite number fields
• Undecidability, unit groups, and some totally imaginary infinite extensions of \(\mathbb{Q}\)
• Northcott numbers for the house and the Weil height
• scientific article; zbMATH DE number 39360 (Why is no real title available?)

This page was built for publication: Undecidability of ℚ⁽²⁾

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5212403)