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)

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)