Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



Constructive projective extension of an incidence plane

Author: Mark Mandelkern
Journal: Trans. Amer. Math. Soc. 366 (2014), 691-706
MSC (2010): Primary 51A45; Secondary 03F65
Published electronically: August 8, 2013
MathSciNet review: 3130314
Full-text PDF

Abstract | References | Similar Articles | Additional Information

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 accordance with Bishop-type modern constructivism.

References [Enhancements On Off] (What's this?)

  • [B65] E. Bishop, Book Review: The Foundations of Intuitionistic Mathematics, by S. C. Kleene and R. E. Vesley. Bull. Amer. Math. Soc. 71 (1965), no. 6, 850-852. MR 1566375
  • [B67] -, Foundations of Constructive Analysis. McGraw-Hill Book Co., New York-Toronto-London, 1967. MR 0221878 (36:4930)
  • [BB85] E. Bishop and D. Bridges, Constructive Analysis. Springer-Verlag, Berlin, 1985. MR 804042 (87d:03172)
  • [BR87] D. Bridges and F. Richman, Varieties of Constructive Mathematics. Cambridge University Press, Cambridge, 1987. MR 890955 (88k:03127)
  • [Br08] L. E. J. Brouwer, De onbetrouwbaarheid der logische principes. Tijdschrift voor Wijsbegeerte 2 (1908), 152-158. English translation, ``The Unreliability of the Logical Principles'', pp. 107-111, in Heyting, A. (ed.), L. E. J. Brouwer: Collected Works 1: Philosophy and Foundations of Mathematics. Amsterdam-New York, Elsevier, 1975.
  • [D63] D. van Dalen, Extension problems in intuitionistic plane projective geometry I, II, Indag. Math. 25 (1963), 349-383. MR 0153567 (27:3531a)
  • [H59] A. Heyting, Axioms for intuitionistic plane affine geometry, in L. Henkin, P. Suppes, A. Tarski (eds.), The Axiomatic Method, with special reference to geometry and physics: Proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957 - January 4, 1958. North-Holland, Amsterdam, 1959, 160-173. MR 0120154 (22:10911)
  • [M83] M. Mandelkern, Constructive Continuity. Memoirs Amer. Math. Soc. 42 (1983), nr. 277. MR 690901 (84j:26007)
  • [M85] -, Constructive mathematics, Math. Mag. 58 (1985), 272-280. MR 810148 (87b:03001)
  • [M88] -, Limited omniscience and the Bolzano-Weierstrass principle, Bull. London Math. Soc. 20 (1988), 319-320. MR 940284 (89e:03108)
  • [M89] -, Brouwerian counterexamples, Math. Mag. 62 (1989), 3-27.
  • [M07] -, Constructive coordinatization of Desarguesian planes, Beiträge Algebra Geom. 48 (2007), 547-589.
  • [M13] -, The common point problem in constructive projective geometry, Indag. Math. (N.S.) 24 (2013), no. 1, 111-114. MR 2997755
  • [R82] F. Richman, Meaning and information in constructive mathematics, Amer. Math. Monthly 89 (1982), 385-388. MR 660918 (83f:03006)
  • [R02] -, Omniscience principles and functions of bounded variation, Math. Logic Quart. 42 (2002), 111-116. MR 1874208 (2002i:03080)
  • [S70] G. Stolzenberg, Review of E. Bishop, Foundations of Constructive Analysis, Bull. Amer. Math. Soc. 76 (1970), 301-323. MR 0257687 (41:2337)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2010): 51A45, 03F65

Retrieve articles in all journals with MSC (2010): 51A45, 03F65

Additional Information

Mark Mandelkern
Affiliation: Department of Mathematics, New Mexico State University, Las Cruces, New Mexico 88003

Keywords: Projective extension, incidence plane, constructive mathematics
Received by editor(s): February 2, 2012
Published electronically: August 8, 2013
Article copyright: © Copyright 2013 American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication.

American Mathematical Society