UNDECIDABILITY OF FAMILIES OF RINGS OF TOTALLY REAL INTEGERS

DOI10.1142/S1793042108001705MaRDI QIDQ5506316zbMATH OpenOpenAlexFDO

Authors Moshe Jarden, Carlos 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

absolute Galois groupHaar measuretotally real integersundecidability

Mathematics Subject Classification ID

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

Recommendations

• The elementary theory of e-free PAC domains
• Decidability of the rings of real algebraic and p-adic algebraic integers.
• Primitive recursive decidability for large rings of algebraic integers
• Undecidability of ℚ⁽²⁾
• Julia Robinson numbers

Cites work

• scientific article; zbMATH DE number 3245597 (Why is no real title available?)
• Roots of unity over large algebraic fields
• Undecidability of some elementary theories over PAC fields

Cited in

(9)

• A note on the Northcott property and undecidability
• Definability of the natural numbers in totally real towers of nested square roots
• Indécidabilité des corps de courbe réelle
• Julia Robinson numbers and arithmetical dynamic of quadratic polynomials
• Undecidability, unit groups, and some totally imaginary infinite extensions of \(\mathbb{Q}\)
• Julia Robinson numbers
• Definability and decidability for rings of integers in totally imaginary fields
• The generalized transfer theorem
• New values of the Julia Robinson number

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

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