[FOM] Generalizing from the Hereditarily Finite realm

[Zuhair Abdul Ghafoor Al-Johar]

Dear Sirs,

The following link refers to one trial of mine aimed at defining a criterion for generalizing
some results from the extensional well founded hereditarily finite set realm to the whole realm of sets.
The result is a theory that can interpret all axioms of ZF over the realm of sets of it, a corollary
of it shows that Z can be interpreted almost trivially.


Earlier failed attempts of mine had been posted to this list and are referenced as post script.
See: https://sites.google.com/site/zuhairaljohar/the-generalization-principle

Best Regards,

Zuhair Al-Johar
PS: Links to earlier attempts: The Finite Principle
http://www.cs.nyu.edu/pipermail/fom/2011-December/016055.html
http://www.cs.nyu.edu/pipermail/fom/2011-December/016062.html