Real numbers and projective spaces: intuitionistic reasoning with undecidable basic relations
From MaRDI portal
Publication:1788334
DOI10.1016/j.indag.2017.10.012zbMath1437.03174OpenAlexW2809750965WikidataQ129647075 ScholiaQ129647075MaRDI QIDQ1788334
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
General theory of linear incidence geometry and projective geometries (51A05) Intuitionistic mathematics (03F55)
Cites Work