2 problems
- 0 votes0 replies1 view
Polylogarithmic arity-bound conjecture for strong duality
Let be a finite algebra, and let denote its cardinality. An alter ego of is a structure whose compatible partial operations determine a duality for ; the arity bou…
- 0 votes0 replies0 views
Canonical extension of bounded lattices via Ploščica's first dual
Canonical-extension conjecture. Mutatis mutandis, the canonical extension of an arbitrary bounded lattice may be obtained in the same manner by “forgetting the topology” at the lev…