December, 2010 | Math Research of Victor Porton

Pointfree funcoids – a category

I updated the draft of my article “Pointfree Funcoids” at my Algebraic General Topology site. The new version of the

I wrote short article “Generalization in ZF” accompanied with Isabelle/ZF sources. This is a draft and alpha. I await your

I corrected a small error in “Filters on Posets and Generalizations” article. The error was in Appendix B in the

I found an example of a discrete funcoid which is not a complemented element of the lattice of funcoids. Thus

I put on the Web the first preliminary draft of my article “Pointfree Funcoids”. It seems that pointfree funcoids is

I added to Funcoids and Reloids article the following two new propositions and a conjecture: Proposition for every reloid and

I added the following proposition to the Funcoids and Reloids article: Proposition for every filter object .

A proof of the following conjecture (now a theorem) was quickly found by me after its formulation: Theorem for every

In the new updated version of the article “Funcoids and Reloids” I proved the following theorem: Theorem Filter objects and

I added one new proposition and two open problems to my online article “Funcoids and Reloids”: Conjecture for every funcoid