Constructive harmonic conjugates

被引：0

作者：

Mandelkern, Mark ^{[1
]}

机构：

[1] New Mexico State Univ, Dept Math, Las Cruces, NM 88003 USA

来源：

BEITRAGE ZUR ALGEBRA UND GEOMETRIE-CONTRIBUTIONS TO ALGEBRA AND GEOMETRY | 2019年 / 60卷 / 02期

关键词：

Projective geometry; Harmonic conjugates; Constructive mathematics;

D O I：

10.1007/s13366-018-0411-9

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

In the synthetic study of the real projective plane, harmonic conjugates have an essential role, with applications to projectivities, involutions, and polarity. The construction of a harmonic conjugate requires the selection of auxiliary elements; it must be verified, with an invariance theorem, that the result is independent of the choice of these auxiliary elements. A constructive proof of the invariance theorem is given here; the methods used follow principles put forth by Errett Bishop.

引用

页码：391 / 398

页数：8

共 50 条

[21] Constructive theory of Banach algebras [J].

Coquand, Thierry ;

Spitters, Bas .

JOURNAL OF LOGIC AND ANALYSIS, 2010, 2

[22] A Constructive Model of Uniform Continuity [J].

Xu, Chuangjie ;

Escardo, Martin .

TYPED LAMBDA CALCULI AND APPLICATIONS, TLCA 2013, 2013, 7941 :236-249

[23] Rethinking Intuition in Constructive Mathematics [J].

Bentzen, Bruno .

THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY, 2025,

[24] A General Constructive Proof Technique [J].

Bridges, Douglas ;

Vita, Luminita .

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 120 :31-43

[25] Constructive version of Boolean algebra [J].

Ciraulo, Francesco ;

Maietti, Maria Emilia ;

Toto, Paola .

LOGIC JOURNAL OF THE IGPL, 2013, 21 (01) :44-62

[26] CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE [J].

Beeson, Michael .

BULLETIN OF SYMBOLIC LOGIC, 2016, 22 (01) :1-104

[27] COMPLEMENTS OF INTERSECTIONS IN CONSTRUCTIVE MATHEMATICS [J].

BRIDGES, DS ;

ISHIHARA, H .

MATHEMATICAL LOGIC QUARTERLY, 1994, 40 (01) :35-43

[28] A definitive constructive open mapping theorem? [J].

Bridges, D ;

Ishihara, H .

MATHEMATICAL LOGIC QUARTERLY, 1998, 44 (04) :545-552

[29] Apartness spaces as a framework for constructive topology [J].

Bridges, D ;

Vita, L .

ANNALS OF PURE AND APPLIED LOGIC, 2003, 119 (1-3) :61-83

[30] Valuative dimension, constructive points of view [J].

Lombardi, Henri ;

Neuwirth, Stefan ;

Yengui, Ihsen .

JOURNAL OF ALGEBRA, 2024, 647 :206-229

← 1 2 3 4 5 →