My homepage | My math page | My math blog | Donate for the research

Follow Victor Porton's Math Blog on WordPress.com


Formal theory of generalization

In the article Generalization in ZF I formally define the notion of generalization in ZF set theory.

I also formalized the results of that article in the form of Isabelle proof assistant source files. You can download the Isabelle files.



My homepage | My math page | My math blog | Donate for the research

Follow Victor Porton's Math Blog on WordPress.com