TY - JOUR
T1 - General topology meets model theory, on p and t
AU - Malliaris, Maryanthe
AU - Shelah, Saharon
PY - 2013/8/13
Y1 - 2013/8/13
N2 - Cantor proved in 1874 [Cantor G (1874) J Reine Angew Math 77:258- 262] that the continuum is uncountable, and Hilbert's first problem asks whether it is the smallest uncountable cardinal. A program arose to study cardinal invariants of the continuum, which measure the size of the continuum in various ways. By Gödel [Gödel K (1939) Proc Natl Acad Sci USA 25(4):220-224] and Cohen [Cohen P (1963) Proc Natl Acad Sci USA 50(6):1143-1148], Hilbert's first problem is independent of ZFC (Zermelo-Fraenkel set theory with the axiom of choice). Much work both before and since has been done on inequalities between these cardinal invariants, but some basic questions have remained open despite Cohen's introduction of forcing. The oldest and perhaps most famous of these is whether "p=t," which was proved in a special case by Rothberger [Rothberger F (1948) Fund Math 35:29-46], building on Hausdorff [Hausdorff (1936) Fund Math 26:241-255]. In this paper we explain how our work on the structure of Keisler's order, a large-scale classification problem in model theory, led to the solution of this problem in ZFC as well as of an a priori unrelated open question in model theory.
AB - Cantor proved in 1874 [Cantor G (1874) J Reine Angew Math 77:258- 262] that the continuum is uncountable, and Hilbert's first problem asks whether it is the smallest uncountable cardinal. A program arose to study cardinal invariants of the continuum, which measure the size of the continuum in various ways. By Gödel [Gödel K (1939) Proc Natl Acad Sci USA 25(4):220-224] and Cohen [Cohen P (1963) Proc Natl Acad Sci USA 50(6):1143-1148], Hilbert's first problem is independent of ZFC (Zermelo-Fraenkel set theory with the axiom of choice). Much work both before and since has been done on inequalities between these cardinal invariants, but some basic questions have remained open despite Cohen's introduction of forcing. The oldest and perhaps most famous of these is whether "p=t," which was proved in a special case by Rothberger [Rothberger F (1948) Fund Math 35:29-46], building on Hausdorff [Hausdorff (1936) Fund Math 26:241-255]. In this paper we explain how our work on the structure of Keisler's order, a large-scale classification problem in model theory, led to the solution of this problem in ZFC as well as of an a priori unrelated open question in model theory.
KW - Cardinal invariants of c
KW - Maximal Keisler class
KW - Unstable model theory
UR - http://www.scopus.com/inward/record.url?scp=84882395168&partnerID=8YFLogxK
U2 - 10.1073/pnas.1306114110
DO - 10.1073/pnas.1306114110
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
C2 - 23836659
AN - SCOPUS:84882395168
SN - 0027-8424
VL - 110
SP - 13300
EP - 13305
JO - Proceedings of the National Academy of Sciences of the United States of America
JF - Proceedings of the National Academy of Sciences of the United States of America
IS - 33
ER -