Constructive harmonic conjugates (Q1740712): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Normalize DOI. |
||
| (4 intermediate revisions by 4 users not shown) | |||
| Property / DOI | |||
| Property / DOI: 10.1007/s13366-018-0411-9 / rank | |||
| Property / arXiv ID | |||
| Property / arXiv ID: 1805.00978 / rank | |||
Normal rank | |||
| 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 | |||
| Property / Wikidata QID | |||
| Property / Wikidata QID: Q129446355 / rank | |||
Normal rank | |||
| Property / DOI | |||
| Property / DOI: 10.1007/S13366-018-0411-9 / rank | |||
Normal rank | |||
Latest revision as of 07:23, 11 December 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
