Elimination of infinitesimal quantifiers

DOI10.1016/S0022-4049(99)00013-4MaRDI QIDQ1295791zbMATH OpenFDO

Authors Dan Richardson

Publication date 2 September 1999

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

Whitney regularityextension of the ordered field of the realsglobally Noetherianinfinitesimal quantifierslocally Pfaffiantotally defined analytic functions

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Logic with extra quantifiers and operators (03C80) Topology of real algebraic varieties (14P25) Real-analytic and semi-analytic sets (14P15) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• Quantifier elimination in quasianalytic structures via non-standard analysis
• Quasi-analyticity, o-minimality and quantifier elimination.
• Quantifier elimination for the theory of algebraically closed valued fields with analytic structure
• scientific article; zbMATH DE number 3957070

Cites work

• Complexity of stratifications of semi-Pfaffian sets
• Counterexamples to quantifier elimination for fewnomial and exponential expressions
• Frontier and closure of a semi-Pfaffian set
• Geometric categories and o-minimal structures
• How to recognize zero?

Cited in

(2)

• scientific article; zbMATH DE number 3265727 (Why is no real title available?)
• Quantifier elimination for infinite terms

This page was built for publication: Elimination of infinitesimal quantifiers

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