A constructive real projective plane
From MaRDI portal
Publication:265603
DOI10.1007/s00022-015-0272-4zbMath1339.51001OpenAlexW375731116MaRDI QIDQ265603
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
General theory of linear incidence geometry and projective geometries (51A05) Other constructive mathematics (03F65)
Related Items (4)
Implementing Euclid's straightedge and compass constructions in type theory ⋮ Brouwer and Euclid ⋮ The Axiomatic Destiny of the Theorems of Pappus and Desargues ⋮ Constructive harmonic conjugates
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
- Convexity and osculation in normed spaces
- The axiomatics of ordered geometry: I. Ordered incidence spaces
- Combinatorial analysis of proofs in projective and affine geometry
- Intuitionism. An introduction
- Techniques of constructive analysis
- The crisis in contemporary mathematics
- A constructive theory of ordered affine geometry
- Constructive mathematics: a foundation for computable analysis
- A common axiom set for classical and intuitionistic plane geometry
- The axioms of constructive geometry
- `Outside' as a primitive notion in constructive projective geometry
- The common point problem in constructive projective geometry
- Constructive Coordinatization of Desarguesian Planes
- Constructive Axiomatization of Plane Hyperbolic Geometry
- Omniscience Principles and Functions of Bounded Variation
- Meaning and Information in Constructive Mathematics
- Constructive continuity
- Brouwerian Counterexamples
- Constructive Mathematics
- Limited Omniscience and the Bolzano-Weierstrass Principle
- Constructive projective extension of an incidence plane
- Real numbers and other completions
This page was built for publication: A constructive real projective plane
