Our theme is that not every interesting question in set theory is independent of ZFC. We give an example of a first order theory T with countable D(T) which cannot have a universal model at ℵ1 without CH; we prove in ZFC a covering theorem from the hypothesis of the existence of a universal model for some theory; and we prove--again in ZFC--that for a large class of cardinals there is no universal linear order (e.g. in every regular $\aleph_1 < (...) \lambda < 2^{\aleph_0}$). In fact, what we show is that if there is a universal linear order at a regular λ and its existence is not a result of a trivial cardinal arithmetical reason, then λ "resembles" ℵ1--a cardinal for which the consistency of having a universal order is known. As for singular cardinals, we show that for many singular cardinals, if they are not strong limits then they have no universal linear order. As a result of the nonexistence of a universal linear order, we show the nonexistence of universal models for all theories possessing the strict order property (for example, ordered fields and groups, Boolean algebras, p-adic rings and fields, partial orders, models of PA and so on). (shrink)

Kojman, M. and S. Shelah, The universality spectrum of stable unsuperstable theories, Annals of Pure and Applied Logic 58 57–72. It is shown that if T is stable unsuperstable, and 1 [brvbar]T[brvbar], T stable and κ<κ then there is a universal tree of height κ + 1 in cardinality λ.

We investigate the Ramsey theory of continuous graph-structures on complete, separable metric spaces and apply the results to the problem of covering a plane by functions. Let the homogeneity number[Formula: see text] of a pair-coloring c:[X]2→2 be the number of c-homogeneous subsets of X needed to cover X. We isolate two continuous pair-colorings on the Cantor space 2ω, c min and c max, which satisfy [Formula: see text] and prove: Theorem. For every Polish space X and every continuous pair-coloringc:[X]2→2with[Formula: see (...) text], [Formula: see text] There is a model of set theory in which[Formula: see text]and[Formula: see text]. The consistency of [Formula: see text] and of [Formula: see text] follows from [20]. We prove that [Formula: see text] is equal to the covering number of 2 by graphs of Lipschitz functions and their reflections on the diagonal. An iteration of an optimal forcing notion associated to c min gives: Theorem. There is a model of set theory in which ℝ2 is coverable byℵ1graphs and reflections of graphs of continuous real functions; ℝ2 is not coverable byℵ1graphs and reflections of graphs of Lipschitz real functions. Figure 1.1 in the introduction summarizes the ZFC results in Part I of the paper. The independence results in Part II show that any two rows in Fig. 1.1 can be separated if one excludes [Formula: see text] from row. (shrink)

A strong coloring on a cardinal $\kappa $ is a function $f:[\kappa ]^2\to \kappa $ such that for every $A\subseteq \kappa $ of full size $\kappa $, every color $\unicode{x3b3} <\kappa $ is attained by $f\restriction [A]^2$. The symbol $$ \begin{align*} \kappa\nrightarrow[\kappa]^2_{\kappa} \end{align*} $$ asserts the existence of a strong coloring on $\kappa $.We introduce the symbol $$ \begin{align*} \kappa\nrightarrow_p[\kappa]^2_{\kappa} \end{align*} $$ which asserts the existence of a coloring $f:[\kappa ]^2\to \kappa $ which is strong over a partition $p:[\kappa ]^2\to (...) \theta $. A coloring f is strong over p if for every $A\in [\kappa ]^{\kappa }$ there is $i<\theta $ so that for every color $\unicode{x3b3} <\kappa $ is attained by $f\restriction )$.We prove that whenever $\kappa \nrightarrow [\kappa ]^2_{\kappa }$ holds, also $\kappa \nrightarrow _p[\kappa ]^2_{\kappa }$ holds for an arbitrary finite partition p. Similarly, arbitrary finite p-s can be added to stronger symbols which hold in any model of ZFC. If $\kappa ^{\theta }=\kappa $, then $\kappa \nrightarrow _p[\kappa ]^2_{\kappa }$ and stronger symbols, like $\operatorname {Pr}_1_p$ or $\operatorname {Pr}_0_p$, also hold for an arbitrary partition p to $\theta $ parts.The symbols $$ \begin{gather*} \aleph_1\nrightarrow_p[\aleph_1]^2_{\aleph_1},\;\;\; \aleph_1\nrightarrow_p[\aleph_1\circledast \aleph_1]^2_{\aleph_1},\;\;\; \aleph_0\circledast\aleph_1\nrightarrow_p[1\circledast\aleph_1]^2_{\aleph_1}, \\ \operatorname{Pr}_1_p,\;\;\;\text{ and } \;\;\; \operatorname{Pr}_0_p \end{gather*} $$ hold for an arbitrary countable partition p under the Continuum Hypothesis and are independent over ZFC $+ \neg $ CH. (shrink)

We prove thatµ=µ <µ , 2 µ =µ + and “there is a non-reflecting stationary subset ofµ + composed of ordinals of cofinality <μ” imply that there is a μ-complete Souslin tree onµ +.

The existence of exact upper bounds for increasing sequences of ordinal functions modulo an ideal is discussed. The main theorem gives a necessary and sufficient condition for the existence of an exact upper bound ƒ for a ¦A¦+ is regular: an eub ƒ with lim infI cf ƒ = μ exists if and only if for every regular κ ε the set of flat points in tf of cofinality κ is stationary. Two applications of the main Theorem to set theory (...) are presented. A theorem of Magidor's on covering between models of ZFC is proved using the main theorem : If V-W are transitive models of set theory with ω-covering and GCH holds in V, then κ-covering holds between V and W for all cardinals κ. A new proof of a Theorem by Cummings on collapsing successors of singulars is also given . The appendix to the paper contains a short proof of Shelah's trichotomy theorem, for the reader's convenience. (shrink)

We prove that for every singular cardinal μ of cofinality ω, the complete Boolean algebra contains a complete subalgebra which is isomorphic to the collapse algebra CompCol. Consequently, adding a generic filter to the quotient algebra collapses μ0 to 1. Another corollary is that the Baire number of the space U of all uniform ultrafilters over μ is equal to ω2. The corollaries affirm two conjectures of Balcar and Simon. The proof uses pcf theory.

. The PCF Trichotomy Theorem deals with sequences of ordinal functions on an infinite $\kappa$ modulo some ideal I. If a $<_I$ -increasing sequence of ordinal functions has regular length which is larger than $\kappa^+$ , then by the Trichotomy Theorem the sequence satisfies one of three structural conditions. It was of some interest to find out if the Trichotomy Theorem could hold also for sequences of length $\kappa^+$ . It is shown that this is not the case.

A self contained proof of Shelah's theorem is presented: If μ is a strong limit singular cardinal of uncountable cofinality and 2μ > μ+ then $\left( {\begin{array}{*{20}c} {\mu ^ + } \\ \mu \\ \end{array} } \right) \to \left( {\begin{array}{*{20}c} {\mu ^ + } \\ {\mu + 1} \\ \end{array} } \right)_{< cf\mu } $.