Axiom systems implying infinity in the foundations of geometry

Victor Pambuccian; Rolf Struve

doi:10.1007/s13366-020-00532-5

Axiom systems implying infinity in the foundations of geometry

Victor Pambuccian, Rolf Struve

Humanities, Arts and Cultural Studies, School of (SHARCS)

Research output: Contribution to journal › Article › peer-review

1 Scopus citations

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 language	English (US)
Pages (from-to)	109-120
Number of pages	12
Journal	Beitrage zur Algebra und Geometrie
Volume	62
Issue number	1
DOIs	https://doi.org/10.1007/s13366-020-00532-5
State	Published - Mar 2021

Keywords

Axiom system
Hyperbolic geometry
Infinity
Metric planes
Ordered geometry

ASJC Scopus subject areas

Algebra and Number Theory
Geometry and Topology

Access to Document

10.1007/s13366-020-00532-5

Cite this

@article{e352287b152b449285ac5f5f88b1709c,

title = "Axiom systems implying infinity in the foundations of geometry",

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.",

keywords = "Axiom system, Hyperbolic geometry, Infinity, Metric planes, Ordered geometry",

author = "Victor Pambuccian and Rolf Struve",

note = "Publisher Copyright: {\textcopyright} 2020, The Managing Editors.",

year = "2021",

month = mar,

doi = "10.1007/s13366-020-00532-5",

language = "English (US)",

volume = "62",

pages = "109--120",

journal = "Beitrage zur Algebra und Geometrie",

issn = "0138-4821",

publisher = "Springer Berlin",

number = "1",

}

TY - JOUR

T1 - Axiom systems implying infinity in the foundations of geometry

AU - Pambuccian, Victor

AU - Struve, Rolf

PY - 2021/3

Y1 - 2021/3

N2 - 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.

AB - 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.

KW - Axiom system

KW - Hyperbolic geometry

KW - Infinity

KW - Metric planes

KW - Ordered geometry

UR - http://www.scopus.com/inward/record.url?scp=85092236495&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85092236495&partnerID=8YFLogxK

U2 - 10.1007/s13366-020-00532-5

DO - 10.1007/s13366-020-00532-5

M3 - Article

AN - SCOPUS:85092236495

SN - 0138-4821

VL - 62

SP - 109

EP - 120

JO - Beitrage zur Algebra und Geometrie

JF - Beitrage zur Algebra und Geometrie

IS - 1

ER -

Axiom systems implying infinity in the foundations of geometry

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this