Rings which admit elimination of quantifiers

DOI10.2307/2271952MaRDI QIDQ4168595zbMATH OpenOpenAlexFDO

Authors Bruce I. Rose

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

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic algebra (03C60) Finite fields and commutative rings (number-theoretic aspects) (11T99) Division rings and semisimple Artin rings (16Kxx) Prime and semiprime associative rings (16N60) Finite rings and finite-dimensional associative algebras (16P10) Generalizations (16Y99)

Cites work

• _0-categoricity and stability of rings
• \(p\)-rings and their boolean-vector representation
• Categoricity and stability of commutative rings
• Embedding problems for modules and rings with application to model- companions
• Fundamenta Mathematicae: An Examination of Its Founding and Significance
• scientific article; zbMATH DE number 3185026 (Why is no real title available?)

Cited in

(4)

• Quantoren-Elimination bei Fastkörpern. (Elimination of quantifiers in nearfields)
• Quantifier elimination for Stone algebras
• Corrigendum: “Rings which admit elimination of quantifiers”
• A model theoretic perspective on matrix rings

This page was built for publication: Rings which admit elimination of quantifiers

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