Available in electronic format
Available in print format		 Bulletin of the American Mathematical Society
Bulletin of the American Mathematical Society
ISSN 1088-9485(e) ISSN 0273-0979(p)
Previous issue | Table of contents | Next issue
Articles in press | Recently posted articles | Most recent issue | All issues: 1891 - Present
Previous Article | Next Article
     

Logical dreams

Author(s): Saharon Shelah
Journal: Bull. Amer. Math. Soc. 40 (2003), 203-228.
MSC (2000): Primary 03-02, 03Bxx, 03Exx; Secondary 03Cxx, 03C45
Posted: February 12, 2003
Retrieve article in: PDF DVI PostScript

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:

[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.
http://www.math.psu.edu/simpson/fom/.

[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 [].
math.LO/9906022.

[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.
math.LO/9809199.

[Sh 724]
Saharon Shelah.
On nice equivalence relations on ${}^\lambda 2$.
Archive for Mathematical Logic, accepted.
math.LO/0009064.

[Sh 702]
Saharon Shelah.
On what I do not understand (and have something to say), model theory.
Mathematica Japonica, 51:329-377, 2002.
math.LO/9910158.

[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.
math.LO/9906113.

[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.
math.LO/0102056.

[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
Email: shelah@math.huji.ac.il

DOI: 10.1090/S0273-0979-03-00981-9
PII: S 0273-0979(03)00981-9
Keywords: Mathematical logic, set theory, independence, incompleteness, forcing, large cardinals
Posted: 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 \textbf{Mathematical Challenges of the 21st Century} and is publication E23
Copyright of article: Copyright 2003, American Mathematical Society

  AMS Website Logo Small Comments: webmaster@ams.org
© Copyright 2008, American Mathematical Society
Privacy Statement 		Search the AMSPowered by Google