Constructive projective extension of an incidence plane
Metric Geometry
2024-02-05 v1
Abstract
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.
Keywords
Cite
@article{arxiv.2402.01249,
title = {Constructive projective extension of an incidence plane},
author = {Mark Mandelkern},
journal= {arXiv preprint arXiv:2402.01249},
year = {2024}
}