I have proved the conjecture that $latex S^{\ast}(\mu)\circ S^{\ast}(\mu)=S^{\ast}(\mu)$ for every endoreloid $latex \mu$. The easy proof is currently available in this file.

read moreI have proved (the proof is currently available in this file) that $latex ((\mathsf{FCD}), (\mathsf{RLD})_{\mathrm{in}})$ are components of a pointfree funcoid between boolean lattices. See my book for definitions.

read moreI have updated my math book with new (easy but) general theorem similar to this (but in other notation): Theorem If $latex \mathfrak{Z}$ is an ideal base, then the set of filters on $latex \mathfrak{Z}$ is a join-semilattice and the binary join of…

read moreI updated my math research book to use “weakly down-aligned” and “weakly up-aligned” instead of “down-aligned” and “up-aligned” (see the book for the definitions) where appropriate to make theorems slightly more general. During this I also corrected an error. (One theorem referred to complement of…

read more