Pages that link to "Item:Q1295418"
From MaRDI portal
The following pages link to A common axiom set for classical and intuitionistic plane geometry (Q1295418):
Displaying 14 items.
- A constructive real projective plane (Q265603) (← links)
- Constructive geometrical reasoning and diagrams (Q375270) (← links)
- Brouwer and Euclid (Q1688971) (← links)
- Negation-free and contradiction-free proof of the Steiner-Lehmus theorem (Q1704083) (← links)
- Real numbers and projective spaces: intuitionistic reasoning with undecidable basic relations (Q1788334) (← links)
- The axioms of constructive geometry (Q1902978) (← links)
- `Outside' as a primitive notion in constructive projective geometry (Q1909592) (← links)
- The common point problem in constructive projective geometry (Q1928390) (← links)
- Axiomatizing geometric constructions (Q2480964) (← links)
- Implementing Euclid's straightedge and compass constructions in type theory (Q2631963) (← links)
- Constructivity in Geometry (Q2757990) (← links)
- An axiomatization of partial <i>n</i>-place operations (Q4344794) (← links)
- Constructibility and Geometry (Q5213630) (← links)
- CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE (Q5346689) (← links)