Dana Scott proved that the existence of a certain kind of these things implies that the von Neumann (“NOY-mahn”) universe does not equal the minimal inner model of ZFC. Projective determinacy is implied by the existence (10[1])of infinitely many of a type of these things introduced by Hugh Woodin (“wood-in”). The inaccessible (10[1])type (10[1])of these (10[1])things (10[3]-5[1])are so called (-5[1])because they cannot (-5[1])be reached from below by (-5[1])performing arithmetic on these things. The Cantor–Schrӧder–Bernstein theorem states that if one of these things is both less than and greater than another of these things, (-5[1])then they are the same. (10[2])This value for any countably infinite (10[1])set is the same as this value for the natural numbers. (10[3])There are none of these things between aleph-naught (10[2])and “two to the aleph-naught” by the continuum hypothesis. For 10 points, name these values that measure a set’s size. ■END■ (10[5])