Compact Quantitative Theories of Convex Algebras

Matteo Mio

We introduce the concept of compact quantitative equational theory. A quantitative equational theory is defined to be compact if all its consequences are derivable by means of fini…