1 problem

0 votes0 replies1 view
Sufficiency conjecture for representability of finite distributive lattices by SPS lattices
Let $D$ be a finite distributive lattice. Condition (a) of the lemma is that there is an abstract illuminated system $(\mathcal S;\leq)$ isomorphic to $(\operatorname{J}(D);\leq)$ .…
Conjectureopencongruence-lattices lattice-theory semimodular-latticesarXiv posted 2 days ago

Sufficiency conjecture for representability of finite distributive lattices by SPS lattices