Just a few seconds ago I realized that I have never considered and and even never formulated the following problem: Explicitly describe the set of complemented funcoids. Note that not all principal funcoids are complemented. For example see my book for a…

read moreI’ve partially solved my conjecture, proposed Polymath problem described at this page. The problem asks which of certain four expressions about filters on a set are always pairwise equal. I have proved that the first three of them are equal, equality with…

read morePartial order funcoids and reloids formalize such things as “infinitely small” step rotating a circle counter-clockwise. This is “locally” a partial order as every two nearby “small” sets (where we can define “small” for example as having the diameter (measuring along the…

read more