OVERCONVERGENT REAL CLOSED QUANTIFIER ELIMINATION

DOI10.1112/S0024609306018832zbMath1116.03032OpenAlexW2069913546MaRDI QIDQ3419043

Zachary Robinson, Leonard Lipshitz

Publication date: 6 February 2007

Published in: Bulletin of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1112/s0024609306018832

zbMATH Keywords

quantifier eliminationo-minimal structuresnon-archimedean analysis

Mathematics Subject Classification ID

Semi-analytic sets, subanalytic sets, and generalizations (32B20) Model theory of ordered structures; o-minimality (03C64) Quantifier elimination, model completeness, and related topics (03C10) Analytic algebras and generalizations, preparation theorems (32B05) Non-Archimedean analysis (32P05)

Related Items (7)

Sheaves on \(\mathcal T\)-topologies ⋮ Measuring definable sets in o-minimal fields ⋮ Real closed valued fields with analytic structure ⋮ The six Grothendieck operations on o-minimal sheaves ⋮ Strictly convergent analytic structures ⋮ p-adically closed fields with nonstandard analytic structure ⋮ Normal triangulations in o-minimal structures

This page was built for publication: OVERCONVERGENT REAL CLOSED QUANTIFIER ELIMINATION