The common point problem in constructive projective geometry

Using intuitionistic methods, an extension of an incidence plane was constructed by Heyting in 1959; however, a central question, the validity of the projective axiom that any two lines have a common point, was left open. A Brouwerian counterexample demonstrates that in the Heyting extension the common point axiom is constructively invalid.