`Outside' as a primitive notion in constructive projective geometry

DOI10.1007/BF00150870MaRDI QIDQ1909592zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

projective planesconstructive projective geometryHeyting's systemJFM 53.0541.01

Mathematics Subject Classification ID

General theory of linear incidence geometry and projective geometries (51A05) Intuitionistic mathematics (03F55)

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

Cited in

(12)

• A constructive real projective plane
• Constructive geometry and the parallel postulate
• 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)