`Outside' as a primitive notion in constructive projective geometry
From MaRDI portal
(Redirected from Publication:1909592)
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)