Elementary equivalence of some rings of definable functions

DOI10.1007/S00153-008-0085-3MaRDI QIDQ943341zbMATH OpenOpenAlexFDO

Authors 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 equivalencering of definable functionsvon Neumann regular ring

Mathematics Subject Classification ID

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

Recommendations

• Boolean products of real closed valuation rings and fields
• scientific article; zbMATH DE number 3941665
• scientific article; zbMATH DE number 4208239
• Elementary regular rings. II
• Théorie des modèles pour des anneaux de fonctions entières et des corps de fonctions méromorphes

Cites work

• Hereditary Commutative Rings and Centres of Hereditary Rings
• scientific article; zbMATH DE number 1824113 (Why is no real title available?)
• scientific article; zbMATH DE number 3528226 (Why is no real title available?)
• Minimally generated Boolean algebras
• Model-completeness and elimination of quantifiers for subdirect products of structures
• Modules over commutative regular rings
• Semi-algebraic function rings and reflectors of partially ordered rings
• The first order properties of products of algebraic systems
• The Model Companion of the Theory of Commutative Rings Without Nilpotent Elements

Cited in

(5)

• Constants are Definable in Rings of Analytic Functions
• Théorie des modèles pour des anneaux de fonctions entières et des corps de fonctions méromorphes
• Elementary regular rings. II
• Boolean products of real closed valuation rings and fields
• On elementary equivalence of real semigroups of preordered rings

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

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