Elimination of quantifiers for ordered valuation rings

DOI10.2307/2273866MaRDI QIDQ3762295zbMATH OpenOpenAlexFDO

Authors Max A. Dickmann

Publication date 1987

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2273866

zbMATH Keywords

quantifier eliminationreal closed valuation ringsreal closed ringsordered valuation rings

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Quantifier elimination, model completeness, and related topics (03C10) Applications of logic to commutative algebra (13L05)

Recommendations

• scientific article; zbMATH DE number 3914300
• A Linearly Ordered Ring whose Theory Admits Elimination of Quantifiers is a Real Closed Field
• scientific article; zbMATH DE number 4158613
• Quantifier elimination for quasi-real closed fields
• Real closed valuation rings

Cites work

• Elimination of quantifiers in algebraic structures
• REAL CLOSED RINGS AND ORDERED VALUATION RING
• Real closed rings. II. Model theory

Cited in

(27)

• An algebraic characterization of o-minimal and weakly o-minimal MV-chains
• A note on prime models in weakly o-minimal structures
• Quantifier elimination for o-minimal structures expanded by a valuational cut
• Relative elimination of quantifiers for Henselian valued fields
• Weakly o-minimal structures and real closed fields
• Imaginaries in real closed valued fields
• \(p\)-convexly valued rings
• Preservation of \(\omega\)-categoricity in expanding the models of weakly \(o\)-minimal theories
• A criterion for the strong cell decomposition property
• Vapnik-Chervonenkis density in some theories without the independence property. I
• A Linearly Ordered Ring whose Theory Admits Elimination of Quantifiers is a Real Closed Field
• Strongly NIP almost real closed fields
• Quantifier elimination for modules
• Tame properties of sets and functions definable in weakly o-minimal structures
• Positive elimination in valued fields
• Pseudo definably connected definable sets
• scientific article; zbMATH DE number 4158613 (Why is no real title available?)
• scientific article; zbMATH DE number 4031651 (Why is no real title available?)
• Strong cell decomposition property in o-minimal traces
• scientific article; zbMATH DE number 3914300 (Why is no real title available?)
• On almost omega-categoricity of weakly o-minimal theories
• Algebras of distributions of binary isolating formulas for almost -categorical weakly o-minimal theories
• Boolean products of real closed valuation rings and fields
• Simplification of quantifier-free formulae over ordered fields
• scientific article; zbMATH DE number 1824113 (Why is no real title available?)
• Some definable properties of sets in non-valuational weakly o-minimal structures
• On the strong cell decomposition property for weakly o-minimal structures

This page was built for publication: Elimination of quantifiers for ordered valuation rings

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