User:IssaRice/Schröder–Bernstein theorem: Difference between revisions
(Created page with "questions: * are the ancestor proof and the iterated partition proof actually different, or do they just look different on the surface? * what is the proof that uses axiom of...") |
No edit summary |
||
| Line 1: | Line 1: | ||
questions: | questions: | ||
* are the ancestor proof and the iterated partition proof actually different, or do they just look different on the surface? | * are the ancestor proof and the iterated partition proof actually different, or do they just look different on the surface? btw [https://www.cs.cornell.edu/courses/cs2800/2017sp/lectures/lec05-cantor.html this] is a very nice writeup of the ancestor proof (much clearer than wikipedia's version); HT Satira. | ||
* what is the proof that uses axiom of choice, and how does choice simplify the proof? | * what is the proof that uses axiom of choice, and how does choice simplify the proof? | ||
* is the result a fixed point result? (if so how can we phrase it as such?) or is it just that some of the proofs makes use of the fixed point ideas? | * is the result a fixed point result? (if so how can we phrase it as such?) or is it just that some of the proofs makes use of the fixed point ideas? | ||
Revision as of 04:30, 28 August 2020
questions:
- are the ancestor proof and the iterated partition proof actually different, or do they just look different on the surface? btw this is a very nice writeup of the ancestor proof (much clearer than wikipedia's version); HT Satira.
- what is the proof that uses axiom of choice, and how does choice simplify the proof?
- is the result a fixed point result? (if so how can we phrase it as such?) or is it just that some of the proofs makes use of the fixed point ideas?