Editing of the article Funcoids and Reloids led to almost ready preprint. I can’t publish it just now because it
Continue readingMonth: July 2011
“Funcoids and Reloids” rewritten
I have checked the new version of the article Funcoids and Reloids for errors. I don’t warrant zero errors, but
Continue reading“Funcoids and Reloids” updated
I updated the development version of my draft article “Funcoids and Reloids” at my Algebraic General Topology page. The new
Continue readingA new raw draft of “Funcoids and Reloids”
I published at my site a new rewritten version of my article “Funcoids and Reloids”. The new version as it
Continue readingUntyped formalized systems are wrong
First, I’m not (yet) an expert in formalized mathematics. I know Isabelle/ZF better, but have only overall view of Isabelle/HOL.
Continue readingFuncoids and reloids between arbitrary sets
I decided to rewrite my theory of funcoids and reloids with funcoids and reloids defined between arbitrary sets instead of
Continue reading“Orderings of filters in terms of reloids” – a formal approach
I updated the draft “Orderings of filters in terms of reloids. Extensions of Rudin-Keisler ordering” at this Web page. In
Continue reading