Quantifier elimination for elementary geometry and elementary affine geometry

DOI10.1002/MALQ.201100095MaRDI QIDQ3144868zbMATH OpenOpenAlexFDO

Authors Bart Kuijpers, Walied Othman, Rafael Grimson

Publication date 10 December 2012

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.201100095

zbMATH Keywords

elementary affine geometryelementary geometryquantifier elimination

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Quantifier elimination, model completeness, and related topics (03C10) Euclidean geometries (general) and generalizations (51M05) Affine analytic geometry (51N10)

Recommendations

• scientific article; zbMATH DE number 1228742
• Some (non-)elimination results for curves in geometric structures
• ELIMINATION OF QUANTIFIERS OVER VECTORS IN SOME THEORIES OF VECTOR SPACES
• On k-constructable sets, k-elementary formulae, and elimination theory.
• scientific article; zbMATH DE number 4154416

Cites work

• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• Algorithms in real algebraic geometry
• Axiomatizing geometric constructions
• Complete geometric query languages
• Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry
• scientific article; zbMATH DE number 3816479 (Why is no real title available?)
• scientific article; zbMATH DE number 1395614 (Why is no real title available?)
• scientific article; zbMATH DE number 3291816 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• Model Theory
• On dividing real algebraic varieties
• Tarski's System of Geometry
• Über die Vollständigkeit der Elementaren Euklidischen Geometrie

Cited in

(7)

• Some (non-)elimination results for curves in geometric structures
• scientific article; zbMATH DE number 4154416 (Why is no real title available?)
• scientific article; zbMATH DE number 4039866 (Why is no real title available?)
• scientific article; zbMATH DE number 1228742 (Why is no real title available?)
• Formula Simplification for Real Quantifier Elimination Using Geometric Invariance
• Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings
• Definable coordinate geometries over fields

This page was built for publication: Quantifier elimination for elementary geometry and elementary affine geometry

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