Constructive Coordinatization of Desarguesian Planes (Q2381811)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Constructive Coordinatization of Desarguesian Planes |
scientific article |
Statements
Constructive Coordinatization of Desarguesian Planes (English)
0 references
18 September 2007
0 references
The author presents a constructive approach to the coordinatization of Desarguesian affine planes by division rings. His axioms closely resemble the classical ones and he proves most of the major theorems of the classical theory, thereby revealing their constructive content.
0 references
Desarguesian affine plane
0 references
constructive coordinatization
0 references
Brouwerian counterexamples
0 references
