Suppose thatis 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.
Link:
Zermelo?Fraenkel set theory - Wikipedia, the free encyclopedia


LinkBack URL
About LinkBacks