Skip to main content
Holo's user avatar
Holo's user avatar
Holo's user avatar
Holo
  • Member for 7 years, 4 months
  • Last seen this week
revised
Loading…
comment
Injection into a proper class and choice without regularity
@AsafKaragila in "kenneth kunen set theory an introduction to independence proofs" he uses $\sf ZF^-$ to $\sf ZF$-regularity, I will change it to "$\sf ZF$-regularity" in the question to make it clearer.
awarded
awarded
comment
Injection into a proper class and choice without regularity
Oh, each atom as an omega sequence of ordinals, I understand now, thanks!
comment
Injection into a proper class and choice without regularity
Hi Asaf, thanks for answering, you wrote "the atoms are indexed by countable sequences of ordinals, so that there are always surjections onto every set but there is no omega sequence", how does the first and second part works together? And how does it gives you surjective onto a set like omega2?
awarded
Loading…
comment
What are some reasonable-sounding statements that are independent of ZFC?
Where can I find Sierpinski proof for the kappa pairwise non-isomorphic suborderings?
comment
Does $2^X=2^Y\Rightarrow |X|=|Y|$ imply the axiom of choice?
@JoelDavidHamkins thanks!, about the second part, you used that fact the next line, you can use this fact because $\kappa$ is already well ordered?
comment
Does $2^X=2^Y\Rightarrow |X|=|Y|$ imply the axiom of choice?
Can you explain to me how you got $\kappa^+ \le^* 2^{\kappa^2}$? What do you mean codes there? Also, don't you need choice for $\kappa^2\sim\kappa$?
awarded
awarded
1
6 7 8 9
10