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

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

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)

Cited In (14)

• Title not available (Why is that?)
• Valued modules on skew polynomial rings and Bézout domains
• Decidability and local-global principles
• Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory
• Rumely domains with atomic constructible Boolean algebra. An effective viewpoint
• Bézout domains and lattice-valued modules
• Decidability of the class of all the rings : A problem of Ax
• First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers
• Elimination theory for the ring of algebraic integers.
• Title not available (Why is that?)
• Nonsingular Hasse principle for rings
• UNDECIDABILITY OF FAMILIES OF RINGS OF TOTALLY REAL INTEGERS
• Definability of the ring of integers in pro-\(p\) Galois extensions of number fields
• Elementary regular rings. II

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)