Quantifier-free axioms for constructive affine plane geometry

DOI10.1023/A:1005242507092zbMATH Open0967.03053OpenAlexW40028676MaRDI QIDQ1840989

P. Suppes

Publication date: 28 August 2001

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005242507092

zbMATH Keywords

quantifier-free constructive axiom systems for fragments of first-order affine geometry

Mathematics Subject Classification ID

Finite affine and projective planes (geometric aspects) (51E15) Ordered geometries (ordered incidence structures, etc.) (51G05) Other constructive mathematics (03F65)

Related Items (2)

An axiomatization of partial n-place operations ⋮ Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• A constructive version of Tarski's geometry 👍 👎
• The axioms of constructive geometry 👍 👎
• Minimal foundations of geometry 👍 👎
• Simplifying von Plato's axiomatization of constructive apartness geometry 👍 👎
• Axiomatizing geometric constructions 👍 👎
• Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry 👍 👎
• Fragments of Euclidean and hyperbolic geometry 👍 👎
• Finitism in geometry 👍 👎

This page was built for publication: Quantifier-free axioms for constructive affine plane geometry

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