CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE

DOI10.1017/bsl.2015.41zbMath1403.03130arXiv1407.4398OpenAlexW2962787019MaRDI QIDQ5346689

Michael J. Beeson

Publication date: 26 May 2017

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1407.4398

zbMATH Keywords

geometryTarskiconstructive mathematicsEuclidintuitionismruler and compass

Mathematics Subject Classification ID

Geometric constructions in real or complex geometry (51M15) Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65) Euclidean geometries (general) and generalizations (51M05) Intuitionistic mathematics (03F55)

Related Items

Proof-checking Euclid ⋮ Operationalism: an interpretation of the philosophy of ancient Greek geometry ⋮ Brouwer and Euclid ⋮ Why did Euclid not need the Pasch axiom? ⋮ Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq ⋮ A constructive version of Tarski's geometry ⋮ Weaker variants of infinite time Turing machines ⋮ On the equivalence of Playfair's axiom to the parallel postulate

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A constructive version of Tarski's geometry
• A constructive theory of ordered affine geometry
• A common axiom set for classical and intuitionistic plane geometry
• The axioms of constructive geometry
• `Outside' as a primitive notion in constructive projective geometry
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Proof and Computation in Geometry
• Logic of Ruler and Compass Constructions
• Tarski's System of Geometry
• A FORMAL SYSTEM FOR EUCLID’SELEMENTS