We maximize the total height of order ideals in direct products of finitely many finite chains. We also consider several order ideals simultaneously. As a corollary, a shifting property of some integer sequences, including digit sum sequences, is derived.
We define and compare a selection of congruence properties of quasivarieties, including the relative congruence meet semi-distributivity, RSD(∧), and the weak extension property, WEP. We prove that if 𝒦 ⊆ ℒ ⊆ ℒ' are quasivarieties of finite signature, and ℒ' is finitely generated while 𝒦 ⊨ WEP, then 𝒦 is finitely axiomatizable relative to ℒ. We prove for any quasivariety 𝒦 that 𝒦 ⊨ RSD(∧) iff 𝒦 has pseudo-complemented congruence lattices and 𝒦 ⊨ WEP. Applying these results and other results...
Let be a subfield of the field of real numbers. Equipped with the binary arithmetic mean operation, each convex subset of becomes a commutative binary mode, also called idempotent commutative medial (or entropic) groupoid. Let and be convex subsets of . Assume that they are of the same dimension and at least one of them is bounded, or is the field of all rational numbers. We prove that the corresponding idempotent commutative medial groupoids are isomorphic iff the affine space ...
Page 1