Book contents
- Frontmatter
- Introduction
- Contents
- K. Jon Barwise (1942-2000)
- TUTORIALS
- PHOTOGRAPHS
- ARTICLES
- Bounded forcing axioms and the size of the continuum
- Hilbert's wide program
- Rigidity conjectures
- Metapredicative and explicit Mahlo: a proof-theoretic perspective
- A two-dimensional tree ideal
- Psychology looks hopefully to logic
- Russell's logics
- Partitioning pairs of uncountable sets
- Aspects of the Turing jump
- Liouville functions
- References
Bounded forcing axioms and the size of the continuum
from ARTICLES
Published online by Cambridge University Press: 27 June 2017
By
Book contents
- Frontmatter
- Introduction
- Contents
- K. Jon Barwise (1942-2000)
- TUTORIALS
- PHOTOGRAPHS
- ARTICLES
- Bounded forcing axioms and the size of the continuum
- Hilbert's wide program
- Rigidity conjectures
- Metapredicative and explicit Mahlo: a proof-theoretic perspective
- A two-dimensional tree ideal
- Psychology looks hopefully to logic
- Russell's logics
- Partitioning pairs of uncountable sets
- Aspects of the Turing jump
- Liouville functions
- References
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Logic Colloquium 2000 , pp. 211 - 227Publisher: Cambridge University PressPrint publication year: 2005
References
[1] , Bounded forcing axioms and the continuum, Ph., U., Barcelona, 2000.
[2] , Bounded forcing axioms as principles of generic absoluteness, Archive for Mathematical Logic, vol. 39 (2000), pp. 393–401.Google Scholar
[3] , Topics in set theory, Lecture Notes in Mathematics, vol. 1476, Springer-Verlag, Berlin, 1991.
[4] and , Canonical functions, non-regular ultrafilters and Ulam's problem on 1ω, The Journal of Symbolic Logic, vol. 68 (2003), pp. 713–739.Google Scholar
[5] , Constructibility, Springer-Verlag, Berlin, 1984.
[6] and , On the consistency strength of ‘accessible’ Jonsson cardinals and the weak Chang's Conjecture, Annals of Pure and Applied Logic, vol. 25 (1983), pp. 233–261.Google Scholar
[7] and , Projective stationary sets and strong reflection principle, Journal of the London Mathematical Society, vol. 58 (1998), pp. 271–283.Google Scholar
[8] , , and , Martin's Maximum, saturated ideals, and non-regular ultrafilters. Part I, Annals of Mathematics, vol. 127 (1988), pp. 1–47.Google Scholar
[9] , Nonsplitting subsets of Pκ(κ+), The Journal of Symbolic Logic, vol. 50 (1985), pp. 881–894.Google Scholar
[10] and , The Bounded Proper Forcing Axiom, The Journal of Symbolic Logic, vol. 60 (1995), pp. 58–73.
[11], The higher infinite, Springer-Verlag, Berlin, 1994.
[12] , Countable approximations and Löwenheim–Skolem theorems, Annals ofMathematical Logic, vol. 11 (1977), pp. 57–103.
[13] and , Internal Cohen extensions, Annals of Mathematical Logic, vol. 2 (1970), pp. 143–178.
[14] and , Reflection principles for the continuum, preprint.
[15], Partitions problems in topology, Contemporary Mathematics, vol. 84, American Mathematical Society, Providence, Rhode Island, 1989.
[16] , Localized reflection and fragments of PFA, to appear in DIMACS Series in DiscreteMathematics and Theoretical Computer Science.
[17], Forcing axioms and stationary sets, Advances in Mathematics, vol. 94 (1992), pp. 256–284.
[18], The axiom of determinacy, forcing axioms, and the nonstationary ideal, Series in Logic and its Applications, no. 1, De Gruyter, Berlin, New York, 1999.
- 1
- Cited by