Selective ultrafilters and homogeneity

We develop a game-theoretic approach to partition theorems, like those of Mathias, Taylor, and Louveau, involving ultrafilters. Using this approach, we extend these theorems to contexts involving several ultrafilters. We also develop an analog of Mathias forcing for such contexts and use it to show that the proposition (considered by Laver and Prikry) “every non-trivial c.c.c. forcing adjoins Cohen-generic reals or random reals” implies the non-existence of P-points. We show that, in the model obtained by Levy collapsing to ω all cardinals below a Mahlo cardinal ;, any countably many selective ultrafilters are mutually generic over the Solovay (Lebesgue measure) submodel. Finally, we show that a certain natural group of self-homeomorphisms of βω-ω, chosen so as to preserve selectivity of ultrafilters, in fact preserves isomorphism types.

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

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

[3]  Peter Aczel Quantifiers; Games and Inductive Definitions , 1975 .

[4]  Jack Howard Silver,et al.  Every analytic set is Ramsey , 1970, Journal of Symbolic Logic.

[5]  R. Solovay A model of set-theory in which every set of reals is Lebesgue measurable* , 1970 .

[6]  Serge Grigorieff,et al.  Combinatorics on ideals and forcing , 1971 .

[7]  Andreas Blass Amalgamation of Nonstandard Models of Arithmetic , 1977, J. Symb. Log..

[8]  Kleene degrees of ultrafilters , 1985 .

[9]  TYPES OF ULTRAFILTERS , 1967 .

[10]  W. Rudin Homogeneity Problems in the Theory of Čech Compactifications , 1956 .

[11]  David Booth,et al.  Ultrafilters on a countable set , 1970 .

[12]  James E. Baumgartner,et al.  Partition theorems and ultrafilters , 1978 .

[13]  Edward L. Wimmers,et al.  The shelahP-point independence theorem , 1982 .

[14]  R. Goodstein Boolean algebra , 1963 .

[15]  P. Wolfe The strict determinateness of certain infinite game , 1955 .

[16]  Mary Ellen Rudin,et al.  Partial orders on the types in , 1971 .

[17]  Kenneth Kunen Some points in N , 1976 .

[18]  E. Szpilrajn Sur certains invariants de l'opération (A) , 1933 .

[19]  Fred Galvin,et al.  Borel sets and Ramsey's theorem , 1973, Journal of Symbolic Logic.

[20]  Kenneth Kunen,et al.  Ultrafilters and independent sets , 1972 .

[21]  James M. Henle,et al.  A barren extension , 1985 .

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

[23]  Saharon Shelah,et al.  Ultrafilters with small generating sets , 1989 .

[24]  Alain Louveau,et al.  Une méthode topologique pour L'etude de la propriété de ramsey , 1976 .