July, 2011 | Math Research of Victor Porton

“Funcoids and Reloids” preprint is almost ready

Editing of the article Funcoids and Reloids led to almost ready preprint. I can’t publish it just now because it

I have checked the new version of the article Funcoids and Reloids for errors. I don’t warrant zero errors, but

I updated the development version of my draft article “Funcoids and Reloids” at my Algebraic General Topology page. The new

I published at my site a new rewritten version of my article “Funcoids and Reloids”. The new version as it

First, I’m not (yet) an expert in formalized mathematics. I know Isabelle/ZF better, but have only overall view of Isabelle/HOL.

I decided to rewrite my theory of funcoids and reloids with funcoids and reloids defined between arbitrary sets instead of

I updated the draft “Orderings of filters in terms of reloids. Extensions of Rudin-Keisler ordering” at this Web page. In