数学 > 逻辑
[提交于 2025年3月9日
]
标题: 可表示性通过广义序数和用于分配拟关系代数
标题: Representability for distributive quasi relation algebras via generalised ordinal sums
摘要: 我们扩展了Galatos(2004)关于剩余格的广义序数和的工作。 我们证明,满足某些条件的奇非关系代数(qRA)和任意qRA的广义序数和仍然是一个qRA。 在Craig和Robinson(2024)最近的一篇论文中,发展了可表示性对于分配非关系代数(DqRAs)的概念。 对于某些可表示的DqRAs对,我们证明它们的广义序数和仍然是可表示的。 这个结果的一个重要后果是有限Sugihara链是有限可表示的。
文献和引用工具
与本文相关的代码,数据和媒体
alphaXiv (什么是 alphaXiv?)
CatalyzeX 代码查找器 (什么是 CatalyzeX?)
DagsHub (什么是 DagsHub?)
Gotit.pub (什么是 GotitPub?)
Hugging Face (什么是 Huggingface?)
带有代码的论文 (什么是带有代码的论文?)
ScienceCast (什么是 ScienceCast?)
演示
推荐器和搜索工具
arXivLabs:与社区合作伙伴的实验项目
arXivLabs 是一个框架,允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。
与 arXivLabs 合作的个人和组织都接受了我们的价值观,即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观,并且只与遵守这些价值观的合作伙伴合作。
有一个为 arXiv 社区增加价值的项目想法吗? 了解更多关于 arXivLabs 的信息.