3 papers
math.AC2026
The space of preorders on a commutative monoid
Jan Draisma, George Metcalfe, Simon Santschi
For a finitely generated commutative monoid , we present a constructive description of all (total) preorders on that are compatible with the monoid structure. Equipped with…
math.LO2024
Equational theories of idempotent semifields
George Metcalfe, Simon Santschi
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…
math.LO2023
Interpolation and the Exchange Rule
Wesley Fussner, George Metcalfe, Simon Santschi
It was proved by Maksimova in 1977 that exactly eight varieties of Heyting algebras have the amalgamation property, and hence exactly eight axiomatic extensions of intuitionistic p…