I proved the following (in)equalities, solving my open problem which stood for a few months:

$\lvert \mathbb{R} \rvert_{>} \sqsubset \lvert \mathbb{R} \rvert_{\geq} \sqcap \mathord{>}$

$\lvert \mathbb{R} \rvert_{>} = \lvert \mathbb{R} \rvert_{>} \sqcap \mathord{>}$

The proof is currently available in the section “Some inequalities” of this PDF file.

Note that earlier I put online some erroneous proof related to this.

I have published What is physical reality? blog post in my other blog. The post is philosophical.

I proved that $\lvert \mathbb{R} \rvert_{\geq} \neq \lvert \mathbb{R} \rvert \sqcap \geq$ and so disproved one of my conjectures.

The proof is currently available in the section “Some inequalities” of this PDF file.

The proof isn’t yet thoroughly checked for errors.

Note that I have not yet proved $\lvert \mathbb{R} \rvert_{>} \neq \lvert \mathbb{R} \rvert \sqcap >$, but the proof is expected to be similar to the above.

I’ve moved the section “Some (example) values” to my main book file (instead of the draft file addons.pdf where it was previously).

I have rewritten my math book (volume 1) with implicit arguments (that is I sometimes write $\bot$ instead of $\bot^{\mathfrak{A}}$ to denote the least element of the lattice $\mathfrak{A}$).

It considerably simplifies the formulas.

If you want to be on this topic, learn what is called “dependent lambda calculus”. (Sadly, I do not use it in my book explicitly, in order to make my book easier to understand. But I weight the possibility to rewrite my book in a dependent lambda calculus proof-assistant language, that is in the language of an automatic proof verification software, to make it even greater.)

I’ve calculated values of some concrete funcoids and reloids.

The calculations are currently presented in the chapter 3 “Some (example) values” of addons.pdf.

I have added the sections “5.25 Bases on filtrators” (some easy theory generalizing filter bases) and “16.8 Funcoid bases” (mainly a counter-example against my former conjecture) to my math book.