Rings which admit elimination of quantifiers
From MaRDI portal
Publication:4168595
DOI10.2307/2271952zbMath0388.03010OpenAlexW2110790867MaRDI QIDQ4168595
Publication date: 1978
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2271952
Finite rings and finite-dimensional associative algebras (16P10) Model-theoretic algebra (03C60) Prime and semiprime associative rings (16N60) Finite fields and commutative rings (number-theoretic aspects) (11T99) Quantifier elimination, model completeness, and related topics (03C10) Generalizations (16Y99) Division rings and semisimple Artin rings (16Kxx)
Related Items (3)
Quantoren-Elimination bei Fastkörpern. (Elimination of quantifiers in nearfields) ⋮ Quantifier elimination for Stone algebras ⋮ Corrigendum: “Rings which admit elimination of quantifiers”
Cites Work
- Unnamed Item
- \(\aleph_0\)-categoricity and stability of rings
- Embedding problems for modules and rings with application to model- companions
- \(p\)-rings and their boolean-vector representation
- Categoricity and stability of commutative rings
- Fundamenta Mathematicae: An Examination of Its Founding and Significance
This page was built for publication: Rings which admit elimination of quantifiers
