实数的关系代数方法：最小上界性质
逻辑
2026-01-14 v4
摘要
在本文中，我们继续研究关系范畴中的实数对象，即表示实数的对象。我们的公理化基于塔斯基实数公理的关系代数版本。已经证明，此类对象的加法构成一个稠密线性有序阿贝尔群。在本文中，我们将聚焦于此类对象的最小上界性质。
引用
@article{arxiv.2310.01590,
title = {Relational Algebraic Approach to the Real Numbers: The Least-Upper-Bound Property},
author = {Michael Winter},
journal= {arXiv preprint arXiv:2310.01590},
year = {2026}
}