Skip to main content
3 of 5
edited tags
Ilya Nikokoshev
  • 15.1k
  • 12
  • 77
  • 129

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