Definability and decidability for rings of integers in totally imaginary fields

DOI10.1112/blms.12933arXiv2207.00140MaRDI QIDQ6148055

Publication date: 1 February 2024

Published in: Bulletin of the London Mathematical Society (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Decidability and field theory (12L05) Algebraic numbers; rings of algebraic integers (11R04) Totally real fields (11R80)

Cites Work

Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Unnamed Item
Ranks of Abelian varieties over infinite extensions of the rationals
Rings of algebraic numbers in infinite extensions of \(\mathbb Q\) and elliptic curves retaining their rank
The Magma algebra system. I: The user language
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
Embedding problems over large fields
Nondefinability of rings of integers in most algebraic fields
A remark on the Mordell-Weil rank of elliptic curves over the maximal abelian extension of the rational number field
On sums of units
On a question of Frey and Jarden about the rank of Abelian varieties
Intervals containing infinitely many sets of conjugate algebraic units
A note on the Northcott property and undecidability
Definability of the natural numbers in totally real towers of nested square roots
Algebraic Patching
ON THE RANK OF ABELIAN VARIETIES OVER AMPLE FIELDS
Elimination theory for the ring of algebraic integers.
Diophantine Sets Over Algebraic Integer Rings. II
The undecidability of cyclotomic towers
Diophantine stability
Amalgamation of types in pseudo-algebraically closed fields and applications
Julia Robinson numbers and arithmetical dynamic of quadratic polynomials
Undecidability, unit groups, and some totally imaginary infinite extensions of ℚ
Approximation Theory and the Rank of Abelian Varieties Over Large Algebraic Fields
Undecidability of ℚ⁽²⁾
Undecidability in Number Theory

This page was built for publication: Definability and decidability for rings of integers in totally imaginary fields