Constructive harmonic conjugates (Q1740712)

This article corrects an error made in the author's work [J. Geom. 107, No. 1, 19--60 (2016; Zbl 1339.51001)] when proving the invariance theorem for the construction of harmonic quadruples within the framework of informal intuitionistic logic, avoiding the law of excluded middle. The underlying axiomatics are taken from [loc. cit.] but the slightly stronger assumption that at least eight distinct lines pass through any point is needed.