[FOM] Query: references on intuitionistic Euclidean geometry

[Arnon Avron]

 Another work that should perhaps be mentioned is a series
 of papers by Victor Pambuccian about constructive geometry.

  The last published one is:

  Constructive Axiomatizations of Plane Absolute, Euclidean and  
  Hyperbolic Geometry. Math. Log. Q. 47(1): 129-136 (2001)

 (see there for references to other papers on the subject by the same author).

 Arnon Avron


>> Quoting "Giovanni Sambin" <sambin at math.unipd.it>:
>>
>>> Dear FOMers,
>>> a student of mine plans to write a thesis on Euclidean geometry
>>> developed over intuitionistic logic. I would appreciate any reference to
>>> books, papers, or  any other source on this topic.
>>> Thank you very much in advance for collaboration
>>> Giovanni Sambin