Axiom systems implying infinity in the foundations of geometry (Q2022359)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Axiom systems implying infinity in the foundations of geometry |
scientific article |
Statements
Axiom systems implying infinity in the foundations of geometry (English)
0 references
29 April 2021
0 references
In this survey paper, the authors examine the question which axiom systems for naturally occuring geometries imply that there are infinitely many objects (points, lines, etc.). In particular, they study ordered geometries, plane absolute geometries, and geometries of hyperbolic type.
0 references
axiom system
0 references
infinity
0 references
ordered geometry
0 references
metric planes
0 references
hyperbolic geometry
0 references
0 references