Equational theories of idempotent semifields
arxiv(2024)
摘要
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 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要