[FOM] The Cumulative Hereditary Hierarchy H.

Zuhair Abdul Ghafoor Al-Johar zaljohar at yahoo.com
Sun Jan 1 12:01:00 EST 2012


Dear FOMers,

Define the Cumulative Hereditary Hierarchy H as the union of
all the following stages:

H_0=0
H_i+1=H(H_i) for any Von Neumann ordinal i
H_i= U(H_j) j<i, for any limit Von Neumann ordinal i

where H(x) is the set of all sets hereditarily subnumerous to x.

Questions:

1) Can ZF alone (i.e. without Choice) prove the existence of H_i for
each ordinal i ?

2) Is the cumulative hierarchy V of Von Neumann's a subclass of H ?

3) If 2) is true, then can there exist a set in H that is not equinumerous
to any set in V.

Happy new year!

Zuhair


More information about the FOM mailing list