Suppose that is a regular cardinal such that for all . Prove that . Which axioms of ZFC does satisfy?
Here, for a given cardinal , denotes the collection of sets whose transitive closure has cardinality less than . Also, a well orderable infinite cardinal is regular if , where denotes the cofinality. The set is defined by , , and if .
I am not sure how to prove this. I would appreciate a few hints or suggestions. Thank you.
Zermelo?Fraenkel set theory - Wikipedia, the free encyclopedia