`Outside' as a primitive notion in constructive projective geometry
From MaRDI portal
Publication:1909592
DOI10.1007/BF00150870zbMATH Open0846.51001OpenAlexW2009414585MaRDI QIDQ1909592FDOQ1909592
Authors: Dirk van Dalen 
Publication date: 29 September 1996
Published in: Geometriae Dedicata (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00150870
Recommendations
- The common point problem in constructive projective geometry
- Simplifying von Plato's axiomatization of constructive apartness geometry
- A constructive real projective plane
- Constructive geometry
- A common axiom set for classical and intuitionistic plane geometry
- Dualitätsprinzipe der Darstellenden Geometrie.
- A system of axioms for geometry.
- Die Einführimg der idealen Elemente in die ebene Geometrie mit Hilfe des Satzes vom vollständigen Vierseit.
- Intuitionistische axiomatiek der projektieve meetkunde.
- Real numbers and projective spaces: intuitionistic reasoning with undecidable basic relations
General theory of linear incidence geometry and projective geometries (51A05) Intuitionistic mathematics (03F55)
Cited In (12)
- Constructive geometry and the parallel postulate
- A constructive real projective plane
- Constructive projective extension of an incidence plane
- Constructive harmonic conjugates
- A constructive theory of ordered affine geometry
- A common axiom set for classical and intuitionistic plane geometry
- Intuitionistic mereology. II: Overlap and disjointness
- The common point problem in constructive projective geometry
- Brouwer and Euclid
- Implementing Euclid's straightedge and compass constructions in type theory
- Real numbers and projective spaces: intuitionistic reasoning with undecidable basic relations
- Formalizing constructive projective geometry in Agda
This page was built for publication: `Outside' as a primitive notion in constructive projective geometry
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1909592)
