Skip to main content
Bjørn Kjos-Hanssen's user avatar
Bjørn Kjos-Hanssen's user avatar
Bjørn Kjos-Hanssen's user avatar
Bjørn Kjos-Hanssen
  • Member for 14 years, 9 months
  • Last seen this week
Loading…
accepted
comment
Axiom of Infinity needed in Cantor-Bernstein?
Nice to see you guys, and thanks for the good answers.
comment
Axiom of Infinity needed in Cantor-Bernstein?
Okay, so the proof uses the class $\omega$ but is noncommittal as to whether it is a set, that makes sense.
awarded
Loading…
awarded
awarded
comment
Axiom of Infinity needed in Cantor-Bernstein?
And the orbit exists because it is the intersection of all subsets of $A$ that are closed under $f$... nice.
comment
Axiom of Infinity needed in Cantor-Bernstein?
Francois points to maybe the key thing I was missing - how obvious is it that if there is a Dedekind infinite set then $\omega$ exists?
awarded
Loading…
1
80 81 82 83
84