Axiom systems implying infinity in the foundations of geometry

Victor Pambuccian, Rolf Struve

Research output: Contribution to journalArticlepeer-review

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.

Original languageEnglish (US)
JournalBeitrage zur Algebra und Geometrie
DOIs
StateAccepted/In press - 2020

Keywords

  • Axiom system
  • Hyperbolic geometry
  • Infinity
  • Metric planes
  • Ordered geometry

ASJC Scopus subject areas

  • Algebra and Number Theory
  • Geometry and Topology

Fingerprint Dive into the research topics of 'Axiom systems implying infinity in the foundations of geometry'. Together they form a unique fingerprint.

Cite this