Michael Winter
-
Relational Algebraic Approach to the Real Numbers: The Least-Upper-Bound Property
fi:12364 -
Fundamenta Informaticae,
January 11, 2026,
Volume 195, Issues 1-4: Relational and Algebraic Methods in Computer Science 2024
-
https://doi.org/10.46298/fi.12364Relational Algebraic Approach to the Real Numbers: The Least-Upper-Bound PropertyArticle
Authors: Michael Winter
NULL
Michael Winter
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.
Volume: Volume 195, Issues 1-4: Relational and Algebraic Methods in Computer Science 2024
Published on: January 11, 2026
Accepted on: November 3, 2025
Submitted on: October 4, 2023
Keywords: Logic