[FOM] Query: references on intuitionistic Euclidean geometry

[freek]

Michael Beeson has written two papers on the subject of constructive
Euclidean geometry.  Here are links to the papers and to slides of talks
about these papers.

60. Constructive geometry, to appear in Arai, T. (ed.) *Proceedings of the
Tenth Asian Logic Colloquium, Kobe, Japan, 2008, *World Scientific,
Singapore, 2009. Projected publication date is June fall, 2009. This is the
final preprint version (i.e., does not use the publisher's style file but is
otherwise final). Slides of a talk on this subject are available
here <http://www.michaelbeeson.com/research/talks/ConstructiveGeometrySlides.pdf>

pdf (384kb, 44 pages)
<http://www.michaelbeeson.com/research/papers/ConstructiveGeometryFinalPreprintVersion.pdf>

61. The parallel postulate in constructive geometry. This is a draft, but it
does contain complete proofs. Comments welcome! Slides of a talk on this
subject are available
here <http://www.michaelbeeson.com/research/talks/ParallelIndependenceSlides.pdf>

pdf (227kb, 22 pages)
<http://www.michaelbeeson.com/research/papers/ParallelIndependence.pdf>