Undecidability of ℚ⁽²⁾

DOI10.1090/PROC/14849zbMATH Open1455.11166arXiv1809.04670OpenAlexW2890319704MaRDI QIDQ5212403FDOQ5212403

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)

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

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

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

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)

Cites Work

• A note on heights in certain infinite extensions of \(\mathbb Q\)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Arithmetic over the rings of all algebraic integers.
• Elimination theory for the ring of algebraic integers.
• Definability of the ring of integers in some infinite algebraic extensions of the rationals
• Definability of the ring of integers in pro-\(p\) Galois extensions of number fields
• Title not available (Why is that?)
• First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers
• Undecidability in number theory
• A note on the Northcott property and undecidability
• Title not available (Why is that?)

Cited In (12)

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

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)