I’ve found today earlier stated conjecture that lattices $latex \mathrm{Compl}\mathsf{FCD}(A;B)$ and $latex \mathrm{Compl}\mathsf{RLD}(A;B)$ are co-brouwerian.

Exercise: Prove this fact.

Leave a Reply

Your email address will not be published. Required fields are marked *