I updated the draft of my article “Pointfree Funcoids” at my Algebraic General Topology site. The new version of the
Continue readingMonth: December 2010
Generalization in ZF
I wrote short article “Generalization in ZF” accompanied with Isabelle/ZF sources. This is a draft and alpha. I await your
Continue readingA little error corrected
I corrected a small error in “Filters on Posets and Generalizations” article. The error was in Appendix B in the
Continue readingDiscrete funcoid which is not complemented
I found an example of a discrete funcoid which is not a complemented element of the lattice of funcoids. Thus
Continue readingPointfree funcoids
I put on the Web the first preliminary draft of my article “Pointfree Funcoids”. It seems that pointfree funcoids is
Continue readingTwo propositions and a conjecture
I added to Funcoids and Reloids article the following two new propositions and a conjecture: Proposition for every reloid and
Continue readingAdded a new proposition
I added the following proposition to the Funcoids and Reloids article: Proposition for every filter object .
Continue readingA conjecture proved
A proof of the following conjecture (now a theorem) was quickly found by me after its formulation: Theorem for every
Continue readingIsomorphism of filters expressed through reloids
In the new updated version of the article “Funcoids and Reloids” I proved the following theorem: Theorem Filter objects and
Continue readingChanges in “Funcoids and Reloids”
I added one new proposition and two open problems to my online article “Funcoids and Reloids”: Conjecture for every funcoid
Continue reading