Talk:Cantor-Bernstein-Schröder Theorem

There seem to be some inconsistencies in Proof 3 which make it hard to understand this nice argument.

1. $C_S$ (and $C_T$) are defined by $C_S(A)=S\setminus A$ (and not by $P(S)\setminus A$)

2. $z:P(S)\to P(T)$ should by defined by $z(A)=C_S(g(C_T(f(A)))$

and the arguments which follow should be changed accordingly:
 * $A\subseteq B (\subseteq S) \implies f(A)\subseteq f(B) \implies C_T(f(A))\subseteq C_T (f(B))$ ...


 * Many thanks for that. You are quite correct. --prime mover 21:58, 1 November 2010 (UTC)

LEM
How appropriate is it to add the LEM template to this? It is used in Proof 5. Is it also used in the other proofs as well? (I'm not in a mindset to check.) --prime mover (talk) 21:23, 11 March 2013 (UTC)


 * Sometimes explicitly; sometimes implicitly. There's a discussion over on Math Overflow where some folks who know a lot more than I give reasons to believe the theorem is inherently non-constructive. --Dfeuer (talk) 21:30, 11 March 2013 (UTC)


 * Exercise for you then: identify the places where LEM is invoked in all 5 proofs of this theorem so we can justify putting LEM at the bottom. --prime mover (talk) 21:55, 11 March 2013 (UTC)


 * Proof 1 is sufficiently informal and incomplete that I have no idea what it's doing.
 * Proof 2 uses it explicitly.
 * Proof 3 uses Relative Complement of Relative Complement, whose proof is currently circular, but I'd bet a trout that it depends on LEM.
 * Proof 4 inspects the two cases of a repetition occurring or not occurring, which presumes LEM.
 * Proof 5 uses a lemma that uses it explicitly.

--Dfeuer (talk) 22:53, 11 March 2013 (UTC)