Equational theories of idempotent semifields
Logic
2024-12-09 v2
Abstract
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.
Keywords
Cite
@article{arxiv.2402.09876,
title = {Equational theories of idempotent semifields},
author = {George Metcalfe and Simon Santschi},
journal= {arXiv preprint arXiv:2402.09876},
year = {2024}
}