幂等半域的等式理论
逻辑
2024-12-09 v2
摘要
本文回答了关于幂等半域等式理论的几个开放问题。特别是，证明了：(i) 非平凡类幂等半域的任何等式理论都没有有限基；(ii) 幂等半域类的等式理论有连续统多个；以及 (iii) 幂等半域类的等式理论是 co-NP-完全的。
引用
@article{arxiv.2402.09876,
title = {Equational theories of idempotent semifields},
author = {George Metcalfe and Simon Santschi},
journal= {arXiv preprint arXiv:2402.09876},
year = {2024}
}