Axiom systems implying infinity in the foundations of geometry

Authors :: Rolf Struve
Victor Pambuccian
Source :: Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry. 62:109-120
Publication Year :: 2020
Publisher :: Springer Science and Business Media LLC, 2020.
Abstract: This is a survey of axiom systems for fragments of naturally encountered geometries which are just barely strong enough to imply that there are infinitely many objects in the universe of any of its models.

Subjects :: Pure mathematics
Algebra and Number Theory
media_common.quotation_subject
Hyperbolic geometry
Algebraic geometry
Infinity
Physics::History of Physics
Ordered geometry
Mathematics::Metric Geometry
Geometry and Topology
Foundations of geometry
Algebra over a field
Axiom
media_common
Mathematics

ISSN :: 21910383 and 01384821
Volume :: 62
Database :: OpenAIRE
Journal :: Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry
Accession number :: edsair.doi...........57216933fd5bc241df2764c6f4f9df4b

Tools