Question

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])

ANSWER: cardinal numbers [or cardinality or cardinalities; accept specific types of cardinal, such as large cardinals; prompt on sizes of sets until “size” is read]
<Other Science>
= Average correct buzz position

Summary

2023 ACF Nationals04/22/2023Y20100%0%25%95.80

Buzzes

PlayerTeamOpponentBuzz PositionValue
Anson BernsBrown AMinnesota B3410
John MarvinChicago BVirginia A4910
Swapnil GargUC Berkeley ANorth Carolina A5010
Conor ThompsonIowa State ACornell A5210
Tim MorrisonStanford AClaremont A53-5
Alex AkridgeIndiana AFlorida A5310
Isaac MammelMaryland AVanderbilt A5310
Henry CafaroChicago CPenn State A5310
Raul PassementTexas AMcGill A56-5
Steven LiuMIT AIllinois A59-5
Arya KarthikGeorgia Tech AFlorida B64-5
Anirudh BharadwajPenn AHarvard A90-5
Richard NiuCornell BGeorgia Tech B9510
Steven YuanUC Berkeley BYale A9510
Carlos DoebeliImperial AJohns Hopkins A10110
Forrest WeintraubColumbia BSouth Carolina A11210
Christopher SimsNorthwestern ANYU A11210
Sky LiToronto APurdue A11210
Adam FineChicago AHouston A12010
Geoffrey WuColumbia ARutgers B12010
Tanis NielsenClaremont AStanford A14110
Yash MandaviaIllinois AMIT A14110
Arjun NageswaranHarvard APenn A14110
Max ChemtovMcGill ATexas A14110
Jeya IyaduraiFlorida BGeorgia Tech A14110