display all the ideas for this combination of texts
4 ideas
10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
10082 | There are infinite sets that are not enumerable [Cantor, by Smith,P] |
13483 | Cantor's Paradox: the power set of the universe must be bigger than the universe, yet a subset of it [Cantor, by Hart,WD] |
8710 | The powerset of all the cardinal numbers is required to be greater than itself [Cantor, by Friend] |