Elimination of quantifiers for ordered valuation rings

DOI10.2307/2273866zbMATH Open0624.03025OpenAlexW2031773420MaRDI QIDQ3762295FDOQ3762295

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

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

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)

Cites Work

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

Cited In (27)

• An algebraic characterization of o-minimal and weakly o-minimal MV-chains
• Quantifier elimination for o-minimal structures expanded by a valuational cut
• Weakly o-minimal structures and real closed fields
• Imaginaries in real closed valued fields
• Relative elimination of quantifiers for Henselian 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
• Strongly NIP almost real closed fields
• A Linearly Ordered Ring whose Theory Admits Elimination of Quantifiers is a Real Closed Field
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Strong cell decomposition property in o-minimal traces
• Title not available (Why is that?)
• On almost omega-categoricity of weakly o-minimal theories
• Algebras of distributions of binary isolating formulas for almost \(\omega \)-categorical weakly o-minimal theories
• Boolean products of real closed valuation rings and fields
• Simplification of quantifier-free formulae over ordered fields
• Title not available (Why is that?)
• On the strong cell decomposition property for weakly o-minimal structures
• A note on prime models in weakly o-minimal structures
• Some definable properties of sets in non-valuational 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)