Cover Image

Relational Algebraic Approach to the Real Numbers: The Least-Upper-Bound Property

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Winter, Michael
Format:	Preprint
Published:	2023
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

No Countable Basis for Borel Directed Graphs of Dichromatic Number at Least Three
by: Matos-Wiederhold, Tonatiuh
Published: (2026)

Tho Modal Logic of Minimal Upper Bounds
by: Knudstorp, Søren Brinck
Published: (2024)

Algebraic Reasoning over Relational Structures
by: Jurka, Jan, et al.
Published: (2024)

Measuring Decidability as Related to Busy Beaver Numbers
by: Tandi, Gurpreet, et al.
Published: (2026)

Rings and Boolean Algebras as Algebraic Theories
by: De Faveri, Arturo
Published: (2025)

Counting Theorems for Algebraic Relations
by: Binyamini, Gal, et al.
Published: (2026)

Diagonalizing Through the $ω$-Chain: Iterated Self-Certification on Bounded Turing Machines and its Least Fixed Point
by: Sung, Miara
Published: (2026)

An Upper Bound on the Weisfeiler-Leman Dimension
by: Schneider, Thomas, et al.
Published: (2024)

A Real-Analytic Approach to Differential-Algebraic Dynamic Logic
by: Hellwig, Jonathan, et al.
Published: (2025)

Algebraic proof theory for LE-logics
by: Greco, Giuseppe, et al.
Published: (2018)

An Imperative Language for Verified Exact Real-Number Computation
by: Bauer, Andrej, et al.
Published: (2024)

On the Effectiveness of Partition Regularity over Algebraic Structures
by: Laboska, Gabriela
Published: (2025)

Notes on Algebraic Properties and Non-Standard Analysis of the Ring of Integers Modulo Infinitely Large Primes
by: Mihara, Tomoki
Published: (2026)

Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
by: Bernardo, Marco, et al.
Published: (2022)

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda
by: Brough, Jackson
Published: (2026)

Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic
by: Jana, Purbita, et al.
Published: (2025)

Algebraic characterisation of pseudo-elementary and second-order classes
by: Ivanyos, János Balázs
Published: (2026)

On proving consistency of equational theories in Bounded Arithmetic
by: Beckmann, Arnold, et al.
Published: (2022)

Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers
by: Karimov, Toghrul
Published: (2024)

On the Existential Theory of the Reals Enriched with Integer Powers of a Computable Number
by: Gallego-Hernández, Jorge, et al.
Published: (2025)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
by: Kaye, George
Published: (2025)

The Rise of Plurimorphisms: Algebraic Approach to Approximation
by: Barto, Libor, et al.
Published: (2024)

Tolerance and the Bounds
by: Rohan French
Published: (2021)

Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers
by: Konečný, Michal, et al.
Published: (2024)

Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras
by: Barto, Libor, et al.
Published: (2021)

Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers
by: Pąk, Karol, et al.
Published: (2024)

On the Finite Variable-Occurrence Fragment of the Calculus of Relations with Bounded Dot-Dagger Alternation
by: Nakamura, Yoshiki
Published: (2023)

Pebble Games and Algebraic Proof Systems
by: Jaser, Lisa-Marie, et al.
Published: (2025)

Univalent Foundations of Constructive Algebraic Geometry
by: Zeuner, Max
Published: (2024)

Lower Bounds in Algebraic Complexity via Symmetry and Homomorphism Polynomials
by: Dwivedi, Prateek, et al.
Published: (2026)

Universal Horn Sentences and the Joint Embedding Property
by: Bodirsky, Manuel, et al.
Published: (2021)

Relation-Algebraic Verification of Disjoint-Set Forests
by: Guttmann, Walter
Published: (2023)

The Pebble-Relation Comonad in Finite Model Theory
by: Montacute, Yoàv, et al.
Published: (2021)

Relational semantics for flat Heyting-Lewis Logic
by: de Groot, Jim, et al.
Published: (2026)

Symbolic Sets for Proving Bounds on Rado Numbers
by: Ahmed, Tanbir, et al.
Published: (2025)

Semi-Algebraic Proof Systems for QBF
by: Beyersdorff, Olaf, et al.
Published: (2025)

An Algebraic Approach to Moralisation and Triangulation of Probabilistic Graphical Models
by: Lorenzin, Antonio, et al.
Published: (2025)

Ramsey Theory and Bounding in Arithmetic
by: Cholak, Peter
Published: (2026)

Bounded depth in Hilbert algebras
by: Carai, Luca, et al.
Published: (2026)

Tighter Bounds for Query Answering with Guarded TGDs
by: Amarilli, Antoine, et al.
Published: (2022)