arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2402.09876math.LO
收藏

幂等半域的等式理论

Equational theories of idempotent semifields

George Metcalfe, Simon Santschi

AI总结:

该研究解决幂等半域等式理论的公开问题,证明其非平凡理论无有限基、理论数量达连续统多个,且全体幂等半域类的等式理论为 co-NP 完全。

摘要:

本文回答了关于幂等半域等式理论的若干公开问题。具体而言,证明了:(i)任何非平凡幂等半域类的等式理论都不具有有限基;(ii)幂等半域类的等式理论有连续统多个;以及(iii)幂等半域类的等式理论是 co-NP 完全的。

英文摘要:

This paper provides answers to several open problems about equational theories of idempotent semifields. In particular, it is proved that (i) no equational theory of a non-trivial class of idempotent semifields has a finite basis; (ii) there are continuum-many equational theories of classes of idempotent semifields; and (iii) the equational theory of the class of idempotent semifields is co-NP-complete.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑