Book contents
- Frontmatter
- Contents
- Introduction
- Speakers and Titles
- Decorated linear order types and the theory of concatenation
- Cardinal preserving elementary embeddings
- Proof interpretations and majorizability
- Proof mining in practice
- Cardinal structure under AD
- Three lectures on automatic structures
- Pillay's conjecture and its solution—a survey
- Proof theory and meaning: On the context of deducibility
- Bounded super real closed rings
- Analytic combinatorics of the transfinite: A unifying Tauberian perspective
- References
Cardinal structure under AD
Published online by Cambridge University Press: 01 March 2011
Book contents
- Frontmatter
- Contents
- Introduction
- Speakers and Titles
- Decorated linear order types and the theory of concatenation
- Cardinal preserving elementary embeddings
- Proof interpretations and majorizability
- Proof mining in practice
- Cardinal structure under AD
- Three lectures on automatic structures
- Pillay's conjecture and its solution—a survey
- Proof theory and meaning: On the context of deducibility
- Bounded super real closed rings
- Analytic combinatorics of the transfinite: A unifying Tauberian perspective
- References
- Type
- Chapter
- Information
- Logic Colloquium 2007 , pp. 92 - 131Publisher: Cambridge University PressPrint publication year: 2010
References
[1] , , and , The calculus of partition sequences, changing cofinalities, and a question of Woodin, Transactions of the American Mathematical Society, vol. 352 (2000), no. 3, pp. 969–1003.Google Scholar
[2] and , Shelah's pcf theory and its applications, Annals of Pure and Applied Logic, vol. 50 (1990), no. 3, pp. 207–254.Google Scholar
[3] , Structural consequences of AD, Handbook of Set Theory (Foreman and Kanamori, editors), to appear.
[4] , AD and the projective ordinals, Cabal Seminar 81–85, Lecture Notes in Mathematics, vol. 1333, Springer, Berlin, 1988, pp. 117–220.Google Scholar
[5] , A computation of δ15, Memoirs of the American Mathematical Society, vol. 140 (1999), no. 670, pp. 1–94.Google Scholar
[6] and , Descriptions and cardinals below δ15, preprint.
[7] and , Canonical measure assignments, to appear.
[8] , AD and projective ordinals, Cabal Seminar 76–77, Lecture Notes in Mathematics, vol. 689, Springer, Berlin, 1978, pp. 91–132.Google Scholar
[9] , Souslin cardinals, κ-Souslin sets and the scale property in the hyperprojective hierarchy, Cabal Seminar 77–79, Lecture Notes in Mathematics, vol. 839, Springer, Berlin, 1981, pp. 127–146.Google Scholar
[10] , Classical Descriptive Set Theory, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, New York, 1995.Google Scholar
[11] , , and , The axiom of determinacy and the prewellordering property, Cabal Seminar 77–79, Lecture Notes in Mathematics, vol. 839, Springer, Berlin, 1981, pp. 101–125.Google Scholar
[12] and , A proof of projective determinacy, Journal of the American Mathematical Society, vol. 2 (1989), no. 1, pp. 71–125.Google Scholar
[13] , Descriptive Set Theory, Studies in Logic and the Foundations of Mathematics, vol. 100, North-Holland, Amsterdam, 1980.Google Scholar
[14] , A Δ13 coding of the subsets of ωω, Cabal Seminar 76–77, Lecture Notes in Mathematics, vol. 689, Springer, Berlin, 1978, pp. 133–150.Google Scholar
[15] , The independence of DC from AD, Cabal Seminar 76–77, Lecture Notes in Mathematics, vol. 689, Springer, Berlin, 1978, pp. 171–183.Google Scholar
[16] , Closure properties of pointclasses, Cabal Seminar 77–79, Lecture Notes in Mathematics, vol. 839, Springer, Berlin, 1981, pp. 147–163.Google Scholar
[17] , Determinateness and the separation property, The Journal of Symbolic Logic, vol. 46 (1981), no. 1, pp. 41–44.Google Scholar
[18] , Scales in L(R), Cabal Seminar 79–81, Lecture Notes in Mathematics, vol. 1019, Springer, Berlin, 1983, pp. 107–156.Google Scholar
[19] , Wadge degrees and descriptive set theory, Cabal Seminar 76–77, Lecture Notes in Mathematics, vol. 689, Springer, Berlin, 1978, pp. 151–170.Google Scholar
[20] , Supercompact cardinals, sets of reals, and weakly homogeneous trees, Proceedings of the National Academy of Sciences of the United States of America, vol. 85 (1988), no. 18, pp. 6587–6591.Google Scholar
[21] , The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal, de Gruyter Series in Logic and its Applications, vol. 1, Walter de Gruyter, Berlin, 1999.Google Scholar