Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2310.01590 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908761837273088 |
|---|---|
| author | Winter, Michael |
| author_facet | Winter, Michael |
| contents | In this paper we continue the investigation of a real number object, i.e., an object representing the real numbers, in categories of relations. Our axiomatization is based on a relation algebraic version of Tarski's axioms of the real numbers. It was already shown that the addition of such an object forms a dense, linear ordered abelian group. In the current paper we will focus on the least-upper-bound property of such an object. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2310_01590 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Relational Algebraic Approach to the Real Numbers: The Least-Upper-Bound Property Winter, Michael Logic In this paper we continue the investigation of a real number object, i.e., an object representing the real numbers, in categories of relations. Our axiomatization is based on a relation algebraic version of Tarski's axioms of the real numbers. It was already shown that the addition of such an object forms a dense, linear ordered abelian group. In the current paper we will focus on the least-upper-bound property of such an object. |
| title | Relational Algebraic Approach to the Real Numbers: The Least-Upper-Bound Property |
| topic | Logic |
| url | https://arxiv.org/abs/2310.01590 |