Notes on Singular Cardinal Combinatorics
James Cummings
Source: Notre Dame J. Formal Logic Volume 46, Number 3 (2005), 251-282.
Abstract
We present a survey of combinatorial set theory relevant to the study of singular cardinals and their successors. The topics covered include diamonds, squares, club guessing, forcing axioms, and PCF theory.
Primary Subjects: 03E
Keywords: diamond; square; club guessing; forcing axioms; PCF
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
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1125409326
Digital Object Identifier: doi:10.1305/ndjfl/1125409326
Mathematical Reviews number (MathSciNet):
MR2160657
Zentralblatt MATH identifier:
05011391
References
[1] Abraham, U. , and M. Magidor, "Cardinal arithmetic", forthcoming in the Handbook of Set Theory.
[2] Baumgartner, J. E., "A new class of order types", Annals of Mathematical Logic, vol. 9 (1976), pp. 187--222.
Mathematical Reviews (MathSciNet):
MR54:4988
Zentralblatt MATH:
0339.04002
[3] Baumgartner, J. E., "Iterated forcing", pp. 1--59 in Surveys in Set Theory, vol. 87, Cambridge University Press, Cambridge, 1983.
Mathematical Reviews (MathSciNet):
MR87c:03099
Zentralblatt MATH:
0524.03040
[4] Cummings, J., M. Foreman , and M. Magidor, "Canonical invariants for models of ZFC": Part Two, forthcoming in Annals of Pure and Applied Logic.
[5] Cummings, J., M. Foreman , and M. Magidor, "Squares, scales and stationary reflection", Journal of Mathematical Logic, vol. 1 (2001), pp. 35--98.
Mathematical Reviews (MathSciNet):
MR2003a:03068
Zentralblatt MATH:
0988.03075
Digital Object Identifier: doi:10.1142/S021906130100003X
[6] Foreman, M. , and M. Magidor, "A very weak square principle", The Journal of Symbolic Logic, vol. 62 (1997), pp. 175--96.
[7] Gregory, J., "Higher Souslin trees and the generalized continuum hypothesis", The Journal of Symbolic Logic, vol. 41 (1976), pp. 663--71.
[8] Harrington, L. , and S. Shelah, "Some exact equiconsistency results in set theory", Notre Dame Journal of Formal Logic, vol. 26 (1985), pp. 178--88.
Mathematical Reviews (MathSciNet):
MR86g:03079
Zentralblatt MATH:
0579.03039
Project Euclid: euclid.ndjfl/1093870823
[9] Ishiu, T., "Club guessing sequences and filters", forthcoming in The Journal of Symbolic Logic.
[10] Jensen, R. B., "The fine structure of the constructible hierarchy", Annals of Mathematical Logic, vol. 4 (1972), pp. 229--308; erratum, ibid. p. 443.
Mathematical Reviews (MathSciNet):
MR309729
[11] Magidor, M., "Lectures on weak square principles and forcing axioms", given in the Jerusalem Logic Seminar, 1995.
[12] Magidor, M. , and S. Shelah, "When does almost free imply free? (For groups, transversals, etc.)", Journal of the American Mathematical Society, vol. 7 (1994), pp. 769--830.
[13] Milner, E. C. , and S. Shelah, "Some t"heorems on transversals, pp. 1115--26 in Infinite and Finite Sets (Colloq., Keszthely, 1973; dedicated to P. Erdős on his 60th birthday), Vol III, North Holland, Amsterdam, 1975.
Mathematical Reviews (MathSciNet):
MR51:12534
Zentralblatt MATH:
0322.05004
[14] Mitchell, W., "Aronszajn trees and the independence of the transfer property", Annals of Mathematical Logic, vol. 5 (1972/73), pp. 21--46. špace-1pt
Mathematical Reviews (MathSciNet):
MR47:1612
Zentralblatt MATH:
0255.02069
[15] Shelah, S., "A compactness theorem for singular cardinals, free algebras, Whitehead problem and transversals", Israel Journal of Mathematics, vol. 21 (1975), pp. 319--49. špace-1pt
Mathematical Reviews (MathSciNet):
MR52:10410
Zentralblatt MATH:
0369.02034
[16] Shelah, S., "On successors of singular cardinals", pp. 357--80 in Logic Colloquium '78 (Mons, 1978), vol. 97 of Studies in the Logic and Foundations of Mathematics, North-Holland, Amsterdam, 1979. špace-1pt
Mathematical Reviews (MathSciNet):
MR82d:03079
Zentralblatt MATH:
0449.03045
[17] Shelah, S., Cardinal Arithmetic, vol. 29 of Oxford Logic Guides, The Clarendon Press, New York, 1994. špace-1pt
Mathematical Reviews (MathSciNet):
MR1318912(96e:03001)
Zentralblatt MATH:
0848.03025
[18] Solovay, R. M., W. N. Reinhardt , and A. Kanamori, "Strong axioms of infinity and elementary embeddings", Annals of Mathematical Logic, vol. 13 (1978), pp. 73--116. špace-1pt
Mathematical Reviews (MathSciNet):
MR80h:03072
Zentralblatt MATH:
0376.02055
Digital Object Identifier: doi:10.1016/0003-4843(78)90031-1
[19] Todorčević, S., "A note on the proper forcing axiom", pp. 209--218 in Axiomatic Set Theory, edited by erseeditorsnames J. E. Baumgartner and D. A. Martin and S. Shelah, American Mathematical Society, Providence, 1983. špace-1pt
Mathematical Reviews (MathSciNet):
MR86f:03089
Zentralblatt MATH:
0564.03038
[20] Todorčević, S., "Partitioning pairs of countable ordinals", Acta Mathematica, vol. 159 (1987), pp. 261--94.
Mathematical Reviews (MathSciNet):
MR88i:04002
Zentralblatt MATH:
0658.03028
Notre Dame Journal of Formal Logic
