Exact upper bounds and their uses in set theory Original Research Article

The existence of exact upper bounds for increasing sequences of ordinal functions modulo an ideal is discussed. The main theorem (Theorem 18 below) 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 ƒ(a) = μ exists if and only if for every regular κ ϵ (¦A¦,μ) the set of flat points in View the MathML sourcetf 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 (Theorem 22): 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 (Theorem 24). The appendix to the paper contains a short proof of Shelahʹs trichotomy theorem, for the readerʹs convenience.