Elementary equivalence of some rings of definable functions

DOI10.1007/S00153-008-0085-3zbMath1146.03017OpenAlexW2018690735MaRDI QIDQ943341

Vincent Astier

Publication date: 9 September 2008

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-008-0085-3

zbMATH Keywords

elementary equivalencevon Neumann regular ringring of definable functions

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Semialgebraic sets and related spaces (14P10)

Cites Work

• Unnamed Item
• Unnamed Item
• Minimally generated Boolean algebras
• Model-completeness and elimination of quantifiers for subdirect products of structures
• Semi-algebraic function rings and reflectors of partially ordered rings
• The first order properties of products of algebraic systems
• Modules over commutative regular rings
• Hereditary Commutative Rings and Centres of Hereditary Rings
• The Model Companion of the Theory of Commutative Rings Without Nilpotent Elements

This page was built for publication: Elementary equivalence of some rings of definable functions