Real numbers and projective spaces: intuitionistic reasoning with undecidable basic relations

DOI10.1016/j.indag.2017.10.012zbMath1437.03174OpenAlexW2809750965WikidataQ129647075 ScholiaQ129647075MaRDI QIDQ1788334

Jan von Plato

Publication date: 8 October 2018

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10138/317010

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Combinatorial analysis of proofs in projective and affine geometry
• The axioms of constructive geometry
• `Outside' as a primitive notion in constructive projective geometry
• L.E.J. Brouwer – Topologist, Intuitionist, Philosopher