Skip to main content
1 of 5
Philipp Lampe
  • 2.6k
  • 1
  • 23
  • 32

Does Cantor-Bernstein hold for classes?

In Bonn we've the discussion about the following topic:

Pretty much what the title says: Suppoose that A and B is are classes and that there are injections from A to B and fom B to A. Does it follow that there is a bijection between A and B?

Example: Let A the class of sets of cardinality one and let B be the class of sets of cardinality two. There is an injection

A -> B sending a to {a, emptyset},

B-> A sending b to {{b}}.

Does it follow that there is a bijection between A and B?

Philipp Lampe
  • 2.6k
  • 1
  • 23
  • 32