Elimination of infinitesimal quantifiers

DOI10.1016/S0022-4049(99)00013-4zbMATH Open0972.03032MaRDI QIDQ1295791FDOQ1295791

Authors: Dan Richardson 

Publication date: 2 September 1999

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

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

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)

Cites Work

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

Cited In (2)

• Title not available (Why is that?)
• 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)