CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE
From MaRDI portal
Publication:5346689
DOI10.1017/bsl.2015.41zbMath1403.03130arXiv1407.4398OpenAlexW2962787019MaRDI QIDQ5346689
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
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