Journal of Symbolic Logic

Canonical functions, non-regular ultrafilters and Ulam’s problem on ω1

Oliver Deiser and Dieter Donder

Full-text: Access denied (no subscription detected)

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

Abstract

Our main results are:

Theorem 1. Con(ZFC + “every function f : ω1 → ω1 is dominated by a canonical function”) implies Con(ZFC + “there exists an inaccessible limit of measurable cardinals”). [In fact equiconsistency holds.]

Theorem 3. Con(ZFC + “there exists a non-regular uniform ultrafilter on ω1”) implies Con(ZFC + “there exists an inaccessible stationary limit of measurable cardinals”).

Theorem 5. Con (ZFC + “there exists an ω1-sequence ℱ of ω1-complete uniform filters on ω1 s.t. every A ⊆ ω1 is measurable w.r.t. a filter in ℱ (Ulam property)”) implies Con(ZFC + “there exists an inaccessible stationary limit of measurable cardinals”).

We start with a discussion of the canonical functions and look at some combinatorial principles. Assuming the domination property of Theorem 1, we use the Ketonen diagram to show that ω2V is a limit of measurable cardinals in Jensen’s core model KMO for measures of order zero. Using related arguments we show that ω2V is a stationary limit of measurable cardinals in KMO, if there exists a weakly normal ultrafilter on ω1. The proof yields some other results, e.g., on the consistency strength of weak*-saturated filters on ω1, which are of interest in view of the classical Ulam problem.

Article information

Source
J. Symbolic Logic, Volume 68, Issue 3 (2003), 713- 739.

Dates
First available in Project Euclid: 17 July 2003

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1058448434

Digital Object Identifier
doi:10.2178/jsl/1058448434

Mathematical Reviews number (MathSciNet)
MR2000073

Zentralblatt MATH identifier
1057.03040

Citation

Deiser, Oliver; Donder, Dieter. Canonical functions, non-regular ultrafilters and Ulam’s problem on ω 1. J. Symbolic Logic 68 (2003), no. 3, 713-- 739. doi:10.2178/jsl/1058448434. https://projecteuclid.org/euclid.jsl/1058448434


Export citation

References

  • C.C. Chang and J.H. Keisler Model theory, 3rd ed., Studies in Logic and the Foundations of Mathematics, vol. 73, North-Holland,1990.
  • O. Deiser Commutativity in the core model theory MO, submitted.
  • H.-D. Donder Families of almost disjoint functions, Contemporary Mathematics, vol. 31 (1984), pp. 71--78.
  • H.-D. Donder, R.B. Jensen, and B. Koppelberg Some applications of the core model, Set theory and model theory, Proceedings, Bonn 1979, Lecture Notes in Mathematics, vol. 872, Springer, Berlin,1979, pp. 55--97.
  • H.-D. Donder and P. Koepke On the consistency strength of 'accessible' Jonsson cardinals and of the weak Chang conjecture, Annals of Pure and Applied Logic, vol. 25 (1983), pp. 233--261.
  • H.-D. Donder and J.-P. Levinski Some principles related to Chang's conjecture, Annals of Pure and Applied Logic, vol. 109 (1989), pp. 39--101.
  • M. Gitik and S. Shelah Forcing with ideals and simple forcing notions, Israel Journal of Mathematics, vol. 68 (1989), pp. 129--160.
  • R.B. Jensen Measures of order zero, handwritten notes,1989.
  • A. Kanamori Weakly normal filters and irregular ultrafilters, Transactions of the American Mathematical Society, vol. 220 (1976), pp. 393--399.
  • J. Ketonen Non-regular ultrafilters and large cardinals, Transactions of the American Mathematical Society, vol. 224 (1976), pp. 61--73.
  • P. Larson and S. Shelah Bounding by canonical functions, with CH, to appear.
  • S. Shelah Proper and improper forcing, 2nd ed., Perspectives in Mathematical Logic, Springer, Berlin,1998.
  • A.D. Taylor Regularity properties of ideals and ultrafilters, Annals of Mathematical Logic, vol. 16 (1979), pp. 33--55.
  • W.H. Woodin Large cardinal axioms and independence: The continuum problem revisited, The Mathematical Intelligencer, vol. 16 (1994), no. 3, pp. 31--35.
  • M. Zeman Inner models and large cardinals, de Gruyter Series in Logic and Its Applications, vol. 5, Walter de Gruyter, Berlin,2002.