Remote Access Bulletin of the American Mathematical Society

Bulletin of the American Mathematical Society

ISSN 1088-9485(online) ISSN 0273-0979(print)



Logical dreams

Author: Saharon Shelah
Journal: Bull. Amer. Math. Soc. 40 (2003), 203-228
MSC (2000): Primary 03-02, 03Bxx, 03Exx; Secondary 03Cxx, 03C45
Published electronically: February 12, 2003
MathSciNet review: 1962296
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We discuss the past and future of set theory, axiom systems and independence results. We deal in particular with cardinal arithmetic.

References [Enhancements On Off] (What's this?)

  • [Baxx] Tomek Bartoszynski.
    Invariants of Measure and Category.
    In M. Foreman, A. Kanamori, and M. Magidor, editors, Handbook of Set Theory. Kluwer, to appear.
  • [BF] Jon Barwise and Solomon Feferman (editors).
    Model-theoretic logics.
    Springer Verlag, Heidelberg-New York, 1985. MR 87g:03033
  • [Bsxx] Andreas Blass.
    Combinatorial Cardinal Characteristics of the Continuum.
    In M. Foreman, A. Kanamori, and M. Magidor, editors, Handbook of Set Theory. Kluwer, to appear.
  • [DeJ] Keith J. Devlin and Ronald B. Jensen.
    Marginalia to a theorem of Silver.
    In G. H. Müller, A. Oberschelp, and K. Potthoff, editors, Proceedings of the Logic Colloquium Kiel 1974, volume 499 of Lecture Notes in Mathematicas, pages 115-142, Berlin, 1975. Springer. MR 58:235
  • [DJ1] A. Dodd and Ronald B. Jensen.
    The Core model.
    Annals of Math Logic, 20:43-75, 1981. MR 82i:03063
  • [DjSh:659] M. Dzamonja and S. Shelah.
    Universal graphs at the successor of singular cardinal.
    J. of Symbolic Logic, to appear in 2003.
  • [EM] Paul C. Eklof and Alan Mekler.
    Almost free modules: Set theoretic methods, volume 46 of North Holland Mathematical Library.
    North-Holland Publishing Co., Amsterdam, 1990. MR 92e:20001
  • [EM02] Paul C. Eklof and Alan Mekler.
    Almost free modules: Set theoretic methods, volume 65 of North Holland Mathematical Library.
    North-Holland Publishing Co., Amsterdam, 2002.
    Revised Edition.
  • [EHR] Paul Erdos, Andras Hajnal, and Richard Rado.
    Partition relations for cardinal numbers.
    Acta Math. Acad. Sci. Hung., 16:93-196, 1965. MR 34:2475
  • [GH] Fred Galvin and Andras Hajnal.
    Inequalities for cardinal powers.
    Annals Math., 101:491-498, 1975. MR 51:12535
  • [GiSh 582] Moti Gitik and Saharon Shelah.
    More on real-valued measurable cardinals and forcing with ideals.
    Israel Journal of Mathematics, 124:221-242, 2001.
    math.LO/9507208. MR 2002g:03110
  • [GoSh 448] Martin Goldstern and Saharon Shelah.
    Many simple cardinal invariants.
    Archive for Mathematical Logic, 32:203-221, 1993.
    math.LO/9205208. MR 94c:03064
  • [J] Thomas Jech.
    Set theory.
    Academic Press, New York, 1978. MR 80a:03062
  • [KS81] Jussi Ketonen and Robert Solovay.
    Rapidly growing Ramsey functions.
    Ann. Math., II. Ser., 113:267-314, 1981. MR 84c:03100
  • [KP82] Laurie Kirby and Jeff Paris.
    Accessible independence results for Peano arithmetic.
    Bull. Lond. Math. Soc., 14:285-293, 1982. MR 83j:03096
  • [Mg2] Menachem Magidor.
    Chang's conjecture and powers of singular cardinals.
    J. Symbolic Logic, 42:272-276, 1977. MR 58:5221
  • [Mg1] Menachem Magidor.
    On the singular cardinals problem II.
    Annals Math., 106:517-547, 1977.
  • [FOM] Stephen G. Simpson (moderator).
    E-mail list for discussing Foundations of Mathematics.
  • [PH77] Jeff Paris and Leo Harrington.
    A mathematical incompleteness in Peano Arithmetic.
    In Jon Barwise, editor, Handbook of Mathematical Logic, pages 1133-1142. North-Holland Publishing Co., Amsterdam-New York-Oxford, 1977. MR 56:15351
  • [Sh:E12] Saharon Shelah.
    Analytical Guide and Corrections to [].
  • [Sh:E16] Saharon Shelah.
    The future of set theory.
    In Haim Judah, editor, Set Theory of the Reals, volume 6 of Israel Mathematical Conference Proceedings.
    Proceedings of the Winter Institute held at Bar-Ilan University, Ramat Gan, January 1991. MR 94i:03002
  • [Sh 413] Saharon Shelah.
    More Jonsson Algebras.
    Archive for Mathematical Logic, accepted.
  • [Sh 724] Saharon Shelah.
    On nice equivalence relations on ${}^\lambda 2$.
    Archive for Mathematical Logic, accepted.
  • [Sh 702] Saharon Shelah.
    On what I do not understand (and have something to say), model theory.
    Mathematica Japonica, 51:329-377, 2002.
  • [Sh 771] Saharon Shelah.
    Polish Algebras shy from freedom.
    Israel Journal of Mathematics, submitted.
  • [Sh 705] Saharon Shelah.
    Toward classification theory of good $\lambda$ frames and abstract elementary classes, preprint.
  • [Sh:b] Saharon Shelah.
    Proper forcing, volume 940 of Lecture Notes in Mathematics.
    Springer-Verlag, Berlin-New York, xxix+496 pp, 1982. MR 84h:03002
  • [Sh 170] Saharon Shelah.
    On logical sentences in PA.
    In Logic colloquium '82 (Florence, 1982), volume 112 of Stud. Logic Found. Math, pages 145-160. North-Holland, Amsterdam-New York, 1984. MR 86g:03097
  • [Sh 111] Saharon Shelah.
    On power of singular cardinals.
    Notre Dame Journal of Formal Logic, 27:263-299, 1986. MR 87j:04006
  • [Sh 300] Saharon Shelah.
    Universal classes.
    In Classification theory (Chicago, IL, 1985), volume 1292 of Lecture Notes in Mathematics, pages 264-418. Springer, Berlin, 1987.
    Proceedings of the USA-Israel Conference on Classification Theory, Chicago, December 1985; ed. Baldwin, J.T. MR 91k:03088
  • [Sh:g] Saharon Shelah.
    Cardinal Arithmetic, volume 29 of Oxford Logic Guides.
    Oxford University Press, 1994. MR 96e:03001
  • [Sh:f] Saharon Shelah.
    Proper and improper forcing.
    Perspectives in Mathematical Logic. Springer, 1998. MR 98m:03002
  • [Sh 666] Saharon Shelah.
    On what I do not understand (and have something to say).
    Fundamenta Mathematicae, 166:1-82, 2000.
  • [Sh 460] Saharon Shelah.
    The Generalized Continuum Hypothesis revisited.
    Israel Journal of Mathematics, 116:285-321, 2000.
    math.LO/9809200. MR 2001g:03095
  • [ShSt 419] Saharon Shelah and Lee Stanley.
    Filters, Cohen Sets and Consistent Extensions of the Erdos-Dushnik-Miller Theorem.
    Journal of Symbolic Logic, 65:259-271, 2000.
    math.LO/9709228. MR 2001j:03085
  • [Sh:E25] Shelah, Saharon.
    You Can Enter Cantor's Paradise!
    In Proceedings of the Erdos Conference. Budapest'99.
  • [Si] Jack Silver.
    On the singular cardinal problem.
    In Proceedings of the International Congress of Mathematicians, volume I, pages 265-268, Vancouver, 1974. MR 55:2576
  • [Wd00] Hugh Woodin.
    The Continuum Hypothesis, Part I.
    Notices of the American Mathematical Society, 48:567-576, 2001.
  • [Woxx] Hugh Woodin.
    The Axiom of Determinacy, Forcing Axioms and the Nonstationary Ideal, volume 1 of de Gruyter Series in Logic and its Applications.
    De Gruyter, in press.

Similar Articles

Retrieve articles in Bulletin of the American Mathematical Society with MSC (2000): 03-02, 03Bxx, 03Exx, 03Cxx, 03C45

Retrieve articles in all journals with MSC (2000): 03-02, 03Bxx, 03Exx, 03Cxx, 03C45

Additional Information

Saharon Shelah
Affiliation: Institute of Mathematics, The Hebrew University, Jerusalem, Israel; Mathematics Department, Rutgers University-New Brunswick, Piscataway, New Jersey 08854-8019

Keywords: Mathematical logic, set theory, independence, incompleteness, forcing, large cardinals
Published electronically: February 12, 2003
Additional Notes: I would like to thank Alice Leonhardt for the beautiful typing. This paper is based on my lecture (and the preparations to the lecture) during the conference Mathematical Challenges of the 21st Century and is publication E23
Article copyright: © Copyright 2003 American Mathematical Society

American Mathematical Society