A constructive real projective plane

DOI10.1007/S00022-015-0272-4MaRDI QIDQ265603zbMATH OpenOpenAlexFDO

Authors Mark Mandelkern

Publication date 4 April 2016

Published in Journal of Geometry (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00022-015-0272-4

zbMATH Keywords

projective geometryconstructive mathematicsharmonic conjugatesPascal's theoremprojectivity

Mathematics Subject Classification ID

General theory of linear incidence geometry and projective geometries (51A05) Other constructive mathematics (03F65)

Recommendations

• Constructive projective extension of an incidence plane
• Constructive harmonic conjugates
• Constructive Coordinatization of Desarguesian Planes
• The common point problem in constructive projective geometry
• `Outside' as a primitive notion in constructive projective geometry

Cites work

• scientific article; zbMATH DE number 3125713 (Why is no real title available?)
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3481394 (Why is no real title available?)
• scientific article; zbMATH DE number 3435453 (Why is no real title available?)
• scientific article; zbMATH DE number 218495 (Why is no real title available?)
• scientific article; zbMATH DE number 1932164 (Why is no real title available?)
• scientific article; zbMATH DE number 3215147 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3111489 (Why is no real title available?)
• A common axiom set for classical and intuitionistic plane geometry
• A constructive theory of ordered affine geometry
• Brouwerian Counterexamples
• Combinatorial analysis of proofs in projective and affine geometry
• Constructive Coordinatization of Desarguesian Planes
• Constructive Mathematics
• Constructive axiomatization of plane hyperbolic geometry
• Constructive continuity
• Constructive geometry
• Constructive mathematics: a foundation for computable analysis
• Constructive projective extension of an incidence plane
• Convexity and osculation in normed spaces
• Intuitionism. An introduction
• Limited Omniscience and the Bolzano-Weierstrass Principle
• Meaning and Information in Constructive Mathematics
• Omniscience principles and functions of bounded variation
• Real numbers and other completions
• Survey of non-Desarguesian planes
• Techniques of constructive analysis
• The axiomatics of ordered geometry: I. Ordered incidence spaces
• The axioms of constructive geometry
• The common point problem in constructive projective geometry
• The crisis in contemporary mathematics
• `Outside' as a primitive notion in constructive projective geometry

Cited in

(10)

• Constructive projective extension of an incidence plane
• Constructive harmonic conjugates
• A common axiom set for classical and intuitionistic plane geometry
• `Outside' as a primitive notion in constructive projective geometry
• The common point problem in constructive projective geometry
• Brouwer and Euclid
• H.S.M. Coxeter's theory of accessibility: from Mario Pieri to Marvin Greenberg
• Implementing Euclid's straightedge and compass constructions in type theory
• The theorem of Gallucci revisited
• The axiomatic destiny of the theorems of Pappus and Desargues

This page was built for publication: A constructive real projective plane

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q265603)