December 2016 – Math Research of Victor Porton

My proof was with an error

I claimed that I have proved the following conjecture: Conjecture for every composable funcoids and . The proof was with

WARNING: The proof was with an error! I have proved the following theorem: Theorem for every composable funcoids and .

Example There is such a non-symmetric reloid that is symmetric. Take . I have added this to my online book.

I’ve released my math research book and all supplementary materials free with semicolons replaced with commas to denote tuples: →

Characterize the set . (This seems a difficult problem.)

I have proved (where is a cofinite funcoid and is a cofinite reloid that is reloid defined by a cofinite

I’ve found a typo in my math book. I confused existential quantifiers with universal quantifiers in the section “Second product.

I added more properties of cofinite funcoids to this draft.