The interplay between ultrafilters and unbounded subsets of \ with the order \ of strict eventual domination is studied. Among the tools are special kinds of non-principal ultrafilters on \. These include simple P-points; that is, ultrafilters with a base that is well-ordered with respect to the reverse of the order \ of almost inclusion. It is shown that the cofinality of such a base must be either \, the least cardinality of \-unbounded set, or \, the least cardinality of (...) a \-cofinal set. The small uncountable cardinal \ is introduced. Consequences of \ and of \ are explored; in particular, both imply \. Here \ is the reaping number, and is also the least cardinality of a \-base for a free ultrafilter. Both of these inequalities are shown to occur if there exist simple P-points of different cofinalities and there exist simple \-points and \-points), but this is a long-standing open problem. Six axioms on nonprincipal ultrafilters on \ and the relationships between them are discussed along with various models of set theory in which one or more are known to hold. The strongest of these, Axiom 1, is that for every free ultrafilter \ and for every \-unbounded \-chain C of increasing functions in \, C is also unbounded in the ultraproduct \. The other axioms replace one or both quantifiers with “there exists.” The negation of Axiom 3 in a model provides a family of normal sequentially compact spaces whose product is not countably compact. The question of whether such a family exists in ZFC, even with “normal” weakened to “regular”, is a famous unsolved problem of set-theoretic topology, known as the Scarborough–Stone problem. (shrink)

We present some techniques in c.c.c. forcing, and apply them to prove consistency results concerning the isomorphism and embeddability relations on the family of ℵ 1 -dense sets of real numbers. In this direction we continue the work of Baumgartner [2] who proved the axiom BA stating that every two ℵ 1 -dense subsets of R are isomorphic, is consistent. We e.g. prove Con). Let K H , be the set of order types of ℵ 1 -dense homogeneous subsets of (...) R with the relation of embeddability. We prove that for every finite model L , : Con iff L is a distributive lattice. We prove that it is consistent that the Magidor-Malitz language is not countably compact. We deal with the consistency of certain topological partition theorems. E.g. We prove that MA is consistent with the axiom OCA which says: “If X is a second countable space of power ℵ 1 , and { U 0 ,\h.;, U n−1 } is a cover of D ▪ X x X -} x,x> ¦ x ϵ X } consisting of symmetric open sets, then X can be partitioned into { X i \brvbar; i ϵ ω } such that for every i ϵ ω there is l such that D ⊇ U l ”. We also prove that MA+OCA [xrArr] 2 ℵ 0 = ℵ 2. (shrink)