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.12364
Relational Algebraic Approach to the Real Numbers: The Least-Upper-Bound PropertyArticle

Authors: 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