Submission date: 27 August 2012

Abstract:

We connect and solve two longstanding open problems in quite different areas: the model-theoretic question of whether SOP_2 is maximal in Keisler's order, and the question from set theory/general topology of whether p = t, the oldest problem on cardinal invariants of the continuum. We do so by showing these problems can be translated into instances of a more fundamental problem which we state and solve completely, using model-theoretic methods.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1208.5424: pdf, ps.