Constructive projective extension of an incidence plane
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866910316389990400 |
|---|---|
| author | Mandelkern, Mark |
| author_facet | Mandelkern, Mark |
| contents | A standard procedure in classical projective geometry, using pencils of lines to extend an incidence plane to a projective plane, is examined from a constructive viewpoint. Brouwerian counterexamples reveal the limitations of traditional pencils. Generalized definitions are adopted to construct a projective extension. The main axioms of projective geometry are verified. The methods used are in accord with Bishop-type modern constructivism. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_01249 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Constructive projective extension of an incidence plane Mandelkern, Mark Metric Geometry A standard procedure in classical projective geometry, using pencils of lines to extend an incidence plane to a projective plane, is examined from a constructive viewpoint. Brouwerian counterexamples reveal the limitations of traditional pencils. Generalized definitions are adopted to construct a projective extension. The main axioms of projective geometry are verified. The methods used are in accord with Bishop-type modern constructivism. |
| title | Constructive projective extension of an incidence plane |
| topic | Metric Geometry |
| url | https://arxiv.org/abs/2402.01249 |