Advertisement

Open Problems in the Theory of Ultrafilters

  • Jussi Ketonen
Part of the Synthese Library book series (SYLI, volume 122)

Abstract

The purpose of this paper is to present a list of open questions in the theory of ultrafilters. Most of them seem almost impenetrable by the usual methods of set-theory. Needless to say, the list of such questions is infinite, and the topics chosen for this paper reflect the personal tastes and prejudices of the author. Our notation and terminology follows that of the most recent set-theoretic literature; for example |x|denotes the cardinality of the set x, small Greek letters α,β,γ,… denote ordinals, cardinals are initial ordinals, the set y x or x y denotes the set of all functions y → x etc. For more, we refer the reader to Mathias [20]. By an ultrafilter over a set x we mean here a maximal filter in the field of subsets of x; that is:
  1. 1.
    Definition: D is an ultrafilter over a set x if D is a collection of subsets of x so that
    1. (a)
      D is a filter:
      $$z \in D,y \supseteq z \to y \in D$$
      $${x_1} \ldots {x_n} \in D \to {x_1} \cap \ldots \cap {x_n} \in $$
      $$z \in D \to z \ne 0$$
       
    2. (b)
      D is maximal:
      $$z \subseteq x \to z \in Dorx - z \in D$$

      D is non-principal if in addition

       
    3. (c)
      $$y \in x \to \left\{ y \right\} \notin D.$$
       
     

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Biblography

  1. [1]
    A. Blass, Doctoral dissertation, Harvard University, 1970.Google Scholar
  2. [2]
    M. Benda and J. Ketonen, ‘On regularity of ultrafilters’, Israeli, of Mathematics 17 (1974), 231–240.CrossRefGoogle Scholar
  3. [3]
    D. Booth, ‘Ultrafilters on a countable set’, Annals of Mathematical Logic 2 (1970).Google Scholar
  4. [4]
    C. C. Chang, ‘Descendingly incomplete ultrafilters’, Trans. Am. Math. Soc. 126 (1967), 108–118.CrossRefGoogle Scholar
  5. [5]
    S. Glazer, Doctoral dissertation, University of California, Berkeley, 1974.Google Scholar
  6. [6]
    M. Jorgenson, ‘Regular ultrafilters and long ultrapowers’ (1971). To appear.Google Scholar
  7. [7]
    H. J. Keisler, ‘A survey of ultraproducts’, in Logic, Methodology and Philosophy of Science, Proceedings of the 1964 International Congress, ed. by Y. Bar-Hillel, North-Holland, Amsterdam, 1965, pp. 112–126.Google Scholar
  8. [8]
    H. J. Keisler and C. C. Chang, Model Theory, North-Holland, Amsterdam, 1973.Google Scholar
  9. [9]
    H. J. Keisler and A. Tarski, ‘From accessible to inaccessible cardinals’, Fund. Math. 53 (1969), 225–308.Google Scholar
  10. [10]
    J. Ketonen, ‘On nonregular ultrafilters’, J. of Symbolic Logic 37 (1972), 71–74.CrossRefGoogle Scholar
  11. [11]
    J. Ketonen, ‘Strong compactness and other cardinal sins’, Annals of Mathematical Logic 5 (1972), 47–76.Google Scholar
  12. [12]
    J. Ketonen, ‘Ultrafilters over measurable cardinals’, Fundamenta Mathematicae 77 (1970), 257–269.Google Scholar
  13. [13]
    J. Ketonen, ‘Some combinatorial principles’, Trans. Am. Math. Soc 188 (1974), 387–394.Google Scholar
  14. [14]
    J. Ketonen, en, ‘On the existOn the existence of P-points’, to appear in Fund. Math.Google Scholar
  15. [15]
    K. Kunen, ‘Some applications of iterated ultrapowers in set theory’, Annals of Mathematical Logic 1 (1970), 179–227.Google Scholar
  16. [16]
    K. Kunen, ‘Ultrafilters and independent sets’, Trans. Am. Math. Soc. 172 (1972), 299–306.Google Scholar
  17. [17]
    K. Kunen, ‘Saturated ideals’. To appear.Google Scholar
  18. [18]
    K. Kunen and J. Paris, ‘Boolean extensions and measurable cardinals’, Annals of Mathematical Logic 2 (1971), 359–377.Google Scholar
  19. [19]
    M. Magidor, ‘The first strongly compact can be the first measurable’. To appear.Google Scholar
  20. [20]
    A. Mathias, ‘How large is the first strongly compact cardinal? Or: A study in identity crisis’, Annals of Mathematical Logic 10 (1976), 33–58.Google Scholar
  21. [21]
    W. Mitchell, ‘Sets constructible from sequences of ultrafilters’, J. of Symbolic Logic 39 (1974), 57–66.Google Scholar
  22. [22]
    K. Prikry, ‘Changing measurable to accessible cardinals’, Rozprawy Matematyczne 68 (1970), 1–52.Google Scholar
  23. [23]
    K. Prikry, ‘On a problem of Gillman and Keisler’, Annals of Mathematical Logic 2 (1970), 179–187.Google Scholar
  24. [24]
    K. Prikry, ‘On descendingly complete ultrafilters’. Proceedings of the Cambridge Summer School in Mathematical Logic, Springer Lecture Notes 337 (1973), 459–488.Google Scholar
  25. [25]
    F. Rowbottom, ‘Some strong axioms of infinity incompatible with the axiom of constructibility’, Annals of Mathematical Logic 3 (1971).Google Scholar
  26. [26]
    M. E. Rudin, ‘Types of ultrafilters’, Topology seminar, Wisconsin, ed. by R. H. Bing and Ralph J. Bean, Princeton University Press, Princeton, 1966.Google Scholar
  27. [27]
    M. E. Rudin, ‘Partial orders on types in βN’, Trans. Am. Math. Soc. 155 (1971), 353–362.Google Scholar
  28. [28]
    W. Rudin, ‘Homogeneity problems in the theory of Čech compactifications’, Duke Math. J. 23 (1956).Google Scholar
  29. [29]
    W. Sierpinski, Hypothèse du continu, second edition, Chelsea, New York, 1956.Google Scholar
  30. [30]
    J. Silver, ‘Indecomposable ultrafilters and 0#’, in Proceedings of the Tar ski Symposium, ed. by D. Scott, AMS Minographe, Berkeley, 1972.Google Scholar
  31. [31]
    R. Solovay, W. Reinhardt and A. Kanamori, ‘Strong axioms of infinity and elementary embeddings’, Annals of Mathematical Logic 13 (1978), 73–116.CrossRefGoogle Scholar

Copyright information

© D. Reidel Publishing Company, Dordrecht, Holland 1979

Authors and Affiliations

  • Jussi Ketonen
    • 1
    • 2
  1. 1.Department of MathematicsUniversity of HawaiiUSA
  2. 2.Department of MathematicsStanford UniversityUSA

Personalised recommendations