A new class of Ramsey-Classification Theorems and their Applications in the Tukey Theory of Ultrafilters, Parts 1 and 2

Abstract Motivated by Tukey classification problems, we develop a new hierarchy of topological Ramsey spaces R α , α ω 1 . These spaces form a natural hierarchy of complexity, R 0 being the Ellentuck space [Erik Ellentuck, A new proof that analytic sets are Ramsey, Journal of Symbolic Logic 39 (1974), 163–165], and for each α ω 1 , R α + 1 coming immediately after R α in complexity. Associated with each R α is an ultrafilter U α , which is Ramsey for R α , and in particular, is a rapid p-point satisfying certain partition properties. We prove Ramsey-classification theorems for equivalence relations on fronts on R α , 1 ⩽ α ω 1 . These form a hierarchy of extensions of the Pudlak-Rodl Theorem canonizing equivalence relations on barriers on the Ellentuck space. We then apply our Ramsey-classification theorems to completely classify all Rudin-Keisler equivalence classes of ultrafilters which are Tukey reducible to U α , for each 1 ⩽ α ω 1 : Every nonprincipal ultrafilter which is Tukey reducible to U α is isomorphic to a countable iteration of Fubini products of ultrafilters from among a fixed countable collection of rapid p-points. Moreover, we show that the Tukey types of nonprincipal ultrafilters Tukey reducible to U α form a descending chain of rapid p-points of order type α + 1 .

[1]  Haim Judah,et al.  Set Theory: On the Structure of the Real Line , 1995 .

[2]  José G. Mijares A notion of selective ultrafilter corresponding to topological Ramsey spaces , 2007, Math. Log. Q..

[3]  A. Blass Ultrafilter mappings and their dedekind cuts , 1974 .

[4]  Vojtech Rödl,et al.  Partition theorems for systems of finite subsets of integers , 1982, Discret. Math..

[5]  S. Todorcevic,et al.  Tukey types of ultrafilters , 2011, 1110.4153.

[6]  Andreas Blass The Rudin-Keisler ordering of $P$-points , 1973 .

[7]  V. Pestov,et al.  Fraïssé Limits, Ramsey Theory, and topological dynamics of automorphism groups , 2003 .

[8]  Stevo Todorcevic,et al.  Cofinal types of ultrafilters , 2012, Ann. Pure Appl. Log..

[9]  Erik Ellentuck,et al.  A new proof that analytic sets are Ramsey , 1974, Journal of Symbolic Logic.

[10]  Continuous cofinal maps on ultrafilters , 2011, 1110.4154.

[12]  Frank Plumpton Ramsey,et al.  On a Problem of Formal Logic , 1930 .

[13]  Stevo Todorcevic,et al.  Introduction to Ramsey Spaces , 2010 .

[14]  REMARKS ON A THEOREM OF B. POSPÍŠIL , 1967 .

[15]  J. Isbell,et al.  THE CATEGORY OF COFINAL TYPES. I , 1965 .

[16]  Claude Laflamme,et al.  Forcing with Filters and Complete Combinatorics , 1989, Ann. Pure Appl. Log..

[17]  A. Tsarpalias,et al.  A Combinatorial Theorem , 1981, J. Comb. Theory, Ser. A.

[18]  Walter Deuber A generalization of Ramsey's theorem for regular trees , 1975 .

[19]  S. Todorcevic,et al.  A new class of Ramsey-classification theorems and their applications in the Tukey theory of ultrafilters, Part 2 , 2012 .