Constructive harmonic conjugates (Q1740712): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Q5573965 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3803111 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Techniques of constructive analysis / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A constructive real projective plane / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: `Outside' as a primitive notion in constructive projective geometry / rank | |||
Normal rank | |||
Revision as of 02:52, 19 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Constructive harmonic conjugates |
scientific article |
Statements
Constructive harmonic conjugates (English)
0 references
2 May 2019
0 references
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.
0 references
projective geometry
0 references
harmonic conjugates
0 references
constructive mathematics
0 references
