pith. sign in

arxiv: 2603.14955 · v2 · pith:WMLALY7Inew · submitted 2026-03-16 · 💻 cs.LO · math.LO

Convex algebras on an interval with semicontinuous monotone operations

classification 💻 cs.LO math.LO
keywords convexoperationsalgebrascompactmeansmonotonepropertiestheories
0
0 comments X
read the original abstract

In a recent work of Matteo Mio on compact quantitative equational theories (here compact means that all its consequences are derivable by means of finite proofs) convex algebras on the carrier set [0,1] whose operations are monotone and satisfy certain semicontinuity properties occurred. We fully classify those algebraic structures by giving an explicit construction of all possible convex operations on [0,1] possessing the mentioned properties. Our result thus describes exactly the range of theories to which Mio's theorem applies.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.