Yes, I will answer your above (and/or former) questions. Just really busy working tax season hours and wrapping up a class Iâ€™m teaching. Typing this now on a cell phone...Meanwhile, did you find the link on the hereditarily finite sets of interest?
Is your idea different in some way?
Also can you please say in English what #5 means?
What is the domain of f?