UNDECIDABILITY OF FAMILIES OF RINGS OF TOTALLY REAL INTEGERS

DOI10.1142/S1793042108001705zbMath1204.11182OpenAlexW2096827029MaRDI QIDQ5506316

Moshe Jarden, Carlos R. Videla

Publication date: 28 January 2009

Published in: International Journal of Number Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s1793042108001705

zbMATH Keywords

undecidabilityabsolute Galois groupHaar measuretotally real integers

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Decidability of theories and sets of sentences (03B25) Basic properties of first-order languages and structures (03C07) Field arithmetic (12E30)

Related Items (4)

Definability of the natural numbers in totally real towers of nested square roots ⋮ Julia Robinson numbers and arithmetical dynamic of quadratic polynomials ⋮ The generalized transfer theorem ⋮ Julia Robinson numbers

Cites Work

• Unnamed Item
• Undecidability of some elementary theories over PAC fields
• Roots of unity over large algebraic fields

This page was built for publication: UNDECIDABILITY OF FAMILIES OF RINGS OF TOTALLY REAL INTEGERS