### Error in my theorem – found

I found the exact error noticed in Error in my theorem post. The error was that I claimed that infimum of a greater set is greater (while in reality it’s lesser). I will delete the erroneous theorem from my book soon.

### Error in my theorem

It seems that there is an error in proof of this theorem. Alleged counter-example: $latex f=\bot$ and $latex z(p)=\top$ for infinite sets $latex A$ and $latex B$. I am now attempting to locate the error in the proof.

### New theorem about funcoids (ERROR!)

I have proved (and added to my online book) the following theorem: Theorem Let $latex f \in \mathsf{FCD} (A ; B)$ and $latex z \in \mathscr{F} (B)^A$. Then there is an (obviously unique) funcoid $latex g \in \mathsf{FCD} (A ; B)$ such…

### An open problem solved

I proved the following (in)equalities, solving my open problem which stood for a few months: $latex \lvert \mathbb{R} \rvert_{>} \sqsubset \lvert \mathbb{R} \rvert_{\geq} \sqcap \mathord{>}$ $latex \lvert \mathbb{R} \rvert_{>} = \lvert \mathbb{R} \rvert_{>} \sqcap \mathord{>}$ The proof is currently available in the…