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

ordered valuation ringsquantifier eliminationreal closed ringsreal closed valuation rings

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10) Model-theoretic algebra (03C60) 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

(32)

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

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)