Elimination of infinitesimal quantifiers

DOI10.1016/S0022-4049(99)00013-4zbMath0972.03032MaRDI QIDQ1295791

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) Real-analytic and semi-analytic sets (14P15) Logic with extra quantifiers and operators (03C80) Topology of real algebraic varieties (14P25) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Unnamed Item
• How to recognize zero?
• Frontier and closure of a semi-Pfaffian set
• Complexity of stratifications of semi-Pfaffian sets
• Geometric categories and o-minimal structures

This page was built for publication: Elimination of infinitesimal quantifiers