Axiom systems implying infinity in the foundations of geometry

Autor: Rolf Struve, Victor Pambuccian
Rok vydání: 2020
Předmět:
Zdroj: Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry. 62:109-120
ISSN: 2191-0383
0138-4821
DOI: 10.1007/s13366-020-00532-5
Popis: 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.
Databáze: OpenAIRE