Undecidability, unit groups, and some totally imaginary infinite extensions of ℚ

DOI10.1090/proc/15153zbMath1471.11262arXiv1910.01239OpenAlexW3021088553MaRDI QIDQ5119226

Caleb Springer

Publication date: 3 September 2020

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

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

zbMATH Keywords

undecidabilityinfinite algebraic extensionstotally imaginary

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Undecidability and degrees of sets of sentences (03D35) Algebraic numbers; rings of algebraic integers (11R04) Totally real fields (11R80) Diophantine equations (11D99)

Related Items (3)

Northcott numbers for the house and the Weil height ⋮ Definability and decidability for rings of integers in totally imaginary fields ⋮ On the Northcott property for infinite extensions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On certain infinite extensions of the rationals with Northcott property
• The decision problem for exponential diophantine equations
• A family of cyclic cubic polynomials whose roots are systems of fundamental units.
• Definability of the ring of integers in pro-\(p\) Galois extensions of number fields
• First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers
• A note on heights in certain infinite extensions of \(\mathbb Q\)
• A note on the Northcott property and undecidability
• On the Northcott property and other properties related to polynomial mappings
• Definability of the ring of integers in some infinite algebraic extensions of the rationals
• Definability of the natural numbers in totally real towers of nested square roots
• The Undecidability of Algebraic Rings and Fields
• Quintic Polynomials and Real Cyclotomic Fields with Large Class Number
• Elimination theory for the ring of algebraic integers.
• Undecidability and Definability for the Theory of Global Fields
• The Simplest Cubic Fields
• The undecidability of cyclotomic towers
• Special Units in Real Cyclic Sextic Fields
• Julia Robinson numbers and arithmetical dynamic of quadratic polynomials
• Undecidability of ℚ⁽²⁾
• Julia Robinson numbers
• Definability and decision problems in arithmetic

This page was built for publication: Undecidability, unit groups, and some totally imaginary infinite extensions of ℚ