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 |
Externí odkaz: |