Decidability of the rings of real algebraic and p-adic algebraic integers.

DOI10.1515/CRLL.1991.414.141zbMATH Open0717.12006OpenAlexW4238655725MaRDI QIDQ3204574FDOQ3204574

Authors

Publication date 1991

Published in Journal für die reine und angewandte Mathematik (Crelles Journal) (Search for Journal in Brave)

Full work available at URL https://www.digizeitschriften.de/dms/resolveppn/?PPN=GDZPPN002208334

zbMATH Keywords

decidabilityp-adic algebraic integersreal algebraic integerRumely's local-global-principle

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Decidability and field theory (12L05)

Recommendations

• The elementary theory of \(e\)-free PAC domains
• Definability of the ring of integers in pro-\(p\) Galois extensions of number fields
• Primitive recursive decidability for large rings of algebraic integers
• Elimination theory for the ring of algebraic integers.
• On Rumely's local-global principle

Cited in

(16)

• Elementary regular rings. II
• First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers
• Decidability and local-global principles
• Elimination theory for the ring of algebraic integers.
• Decidability of univariate real algebra with predicates for rational and integer powers
• Rumely domains with atomic constructible Boolean algebra. An effective viewpoint
• Definability of the ring of integers in pro-\(p\) Galois extensions of number fields
• UNDECIDABILITY OF FAMILIES OF RINGS OF TOTALLY REAL INTEGERS
• Bézout domains and lattice-valued modules
• Primitive recursive decidability for large rings of algebraic integers inside the compositum of all symmetric extensions of \(\mathbb{Q}\)
• Nonsingular Hasse principle for rings
• scientific article; zbMATH DE number 177484 (Why is no real title available?)
• scientific article; zbMATH DE number 3845728 (Why is no real title available?)
• Extensions of Hilbert's tenth problem: definability and decidability in number theory
• Decidability of the class of all the rings : A problem of Ax
• Valued modules on skew polynomial rings and Bézout domains

This page was built for publication: Decidability of the rings of real algebraic and p-adic algebraic integers.

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