Book contents
- Frontmatter
- Contents
- Introduction
- Colloquium Program
- TUTORIAL
- RESEARCH ARTICLES
- Indestructibility and strong compactness
- Some applications of regularmarkers
- Has the continuumhypothesis been settled?
- Geometry of interaction IV: the feedback equation
- On local modularity in homogeneous structures
- Descriptive set theory and uncountable model theory
- Decidable properties of logical calculi and of varieties of algebras
- Stabilization — an alternative to double-negation translation for classical natural deduction
- Definability and reducibility in higher types over the reals
- Predicativity problems in point-free topology
- Rank inequalities in the theory of differentially closed fields
- Consistency and games— in search of new combinatorial principles
- Realizability for constructive Zermelo-Fraenkel set theory
- On long EF-equivalence in non-isomorphic models
- The theory of is undecidable
- Cocovering and set forcing
- References
Has the continuumhypothesis been settled?
from RESEARCH ARTICLES
Published online by Cambridge University Press: 30 March 2017
Book contents
- Frontmatter
- Contents
- Introduction
- Colloquium Program
- TUTORIAL
- RESEARCH ARTICLES
- Indestructibility and strong compactness
- Some applications of regularmarkers
- Has the continuumhypothesis been settled?
- Geometry of interaction IV: the feedback equation
- On local modularity in homogeneous structures
- Descriptive set theory and uncountable model theory
- Decidable properties of logical calculi and of varieties of algebras
- Stabilization — an alternative to double-negation translation for classical natural deduction
- Definability and reducibility in higher types over the reals
- Predicativity problems in point-free topology
- Rank inequalities in the theory of differentially closed fields
- Consistency and games— in search of new combinatorial principles
- Realizability for constructive Zermelo-Fraenkel set theory
- On long EF-equivalence in non-isomorphic models
- The theory of is undecidable
- Cocovering and set forcing
- References
- Type
- Chapter
- Information
- Logic Colloquium '03 , pp. 56 - 75Publisher: Cambridge University PressPrint publication year: 2006
References
[1] , Bounded forcing axioms as principles of generic absoluteness, Archive for Mathematical Logic, vol. 39 (2000), no. 6, pp. 393–401.Google Scholar
[2] (editor),Mathematical developments arising fromHilbert problems, American Mathematical Society, Providence, R.I., 1976.
[3] , The independence of the continuum hypothesis, Proceedings of the National Academy of Sciences of the United States of America, vol. 50 (1963), pp. 1143–1148.Google Scholar
[4] , Progres recents sur l'hypothese du continu (d'apresWoodin), Seminaire Bourbaki, expose 915, March 2003.
[5] , Ideals and generic embeddings, To appear in the Handbook of Set Theory.
[6] , The consistency of the continuum hypothesis, Annals ofMathematics Studies, vol. 3, Princeton University Press, Princeton, N.J., 1940.
[7] , Seminar talk, 2004.
[8] , An (N2, N2, N0)-saturated ideal on 1, Logic colloquium '80 (Prague, 1980), Stud. Logic Foundations Math., vol. 108, North-Holland, Amsterdam, 1982, pp. 173–180.
[9] , Zermelo's axiom of choice, Studies in the History of Mathematics and Physical Sciences, vol. 8, Springer-Verlag,New York, 1982.
[10] , Cardinal arithmetic, Oxford Logic Guides, vol. 29, The Clarendon Press, Oxford University Press, New York, 1994.
[11] , The continuum hypothesis. I, Notices of the American Mathematical Society, vol. 48 (2001), no. 6, pp. 567–576.Google Scholar
[12] , The continuum hypothesis. II, Notices of the American Mathematical Society, vol. 48 (2001), no. 7, pp. 681–690.Google Scholar
- 1
- Cited by