I’ve published in my blog a new theorem. The proof was with an error (see the previous edited post)!

read moreThe below is wrong! The proof requires $latex \langle g^{-1}\rangle J$ to be a principal filter what does not necessarily hold. I knew that composition of two complete funcoids is complete. But now I’ve found that for $latex g\circ f$ to be…

read moreI have proved (see new version of my book) the following proposition. (It is basically a special case of my erroneous theorem which I proposed earlier.) Proposition For $latex f \in \mathsf{FCD} (A, B)$, a finite set $latex X \in \mathscr{P} A$…

read more