Book contents
- Frontmatter
- Contents
- Preface
- Participants Photograph
- Generic absoluteness for Σ1 formulas and the continuum problem
- Axioms of generic absoluteness
- Generalised dynamic ordinals — universal measures for implicit computational complexity
- The Worm principle
- “One is a lonely number”: logic and communication
- Computable versions of the uniform boundedness theorem
- Symmetry of the universal computable function: A study of its automorphisms, homomorphisms and isomorphic embeddings
- PCF theory and Woodin cardinals
- Embedding finite lattices into the computably enumerable degrees — a status survey
- Dimension theory inside a homogeneous model
- Reals which compute little
- Bisimulation invariance and finite models
- Choice principles in constructive and classical set theories
- Ash's theorem for abstract structures
- Martin-Löf random and PA-complete sets
- Learning and computing in the limit
- References
Axioms of generic absoluteness
Published online by Cambridge University Press: 31 March 2017
By
Book contents
- Frontmatter
- Contents
- Preface
- Participants Photograph
- Generic absoluteness for Σ1 formulas and the continuum problem
- Axioms of generic absoluteness
- Generalised dynamic ordinals — universal measures for implicit computational complexity
- The Worm principle
- “One is a lonely number”: logic and communication
- Computable versions of the uniform boundedness theorem
- Symmetry of the universal computable function: A study of its automorphisms, homomorphisms and isomorphic embeddings
- PCF theory and Woodin cardinals
- Embedding finite lattices into the computably enumerable degrees — a status survey
- Dimension theory inside a homogeneous model
- Reals which compute little
- Bisimulation invariance and finite models
- Choice principles in constructive and classical set theories
- Ash's theorem for abstract structures
- Martin-Löf random and PA-complete sets
- Learning and computing in the limit
- References
- Type
- Chapter
- Information
- Logic Colloquium '02 , pp. 28 - 47Publisher: Cambridge University PressPrint publication year: 2006
References
[1] , Bounded Forcing Axioms and The Continuum, Ph.D. thesis, Universitat de Barcelona, 2002.
[2] , A maximal bounded forcing axiom The Journal of Symbolic Logic, vol. 67 (2002), no. 1, pp. 130–142.
[3] , Generic absoluteness for Σ1 formulas and the continuum problem, Submitted, 2002.
[4] , On a convenient property about [γ]ℵ0, Submitted, 2002.
[5] , and , Bounded forcing axioms and the continuum Annals of Pure and Applied Logic, vol. 109 (2001), pp. 179–203.
[6] , and , Bounded Martin's Maximum, weak Erdös cardinals, and AC The Journal of Symbolic Logic, vol. 67 (2002), no. 3, pp. 1141–1152.
[7] , Definable Forcing and Regularity Properties of Projective Sets of Reals, Ph.D. thesis, University of California, Berkeley, 1991.
[8] , A characterization of Martin's axiom in terms of absoluteness The Journal of Symbolic Logic, vol. 62 (1997), pp. 366–372.
[9] , Bounded forcing axioms as principles of generic absoluteness Archive for Mathematical Logic, vol. 39 (2000), pp. 393–401.
[10] and , Generic absoluteness under projective forcing, to appear.
[11] and , Proper forcing extensions and Solovay models Archive for Mathematical Logic, vol. 43 (2004), no. 6, pp. 739–750.
[12] and , Solovay models and forcing extensions The Journal of Symbolic Logic, vol. 69 (2004), no. 3, pp. 742–766.
[13] and Sy , Generic absoluteness Annals of Pure and Applied Logic, vol. 108 (2001), no. 1-3, pp. 3–13.
[14] and , Set Theory, On The Structure of The Real Line, A. K. Peters, 1995.
[15] , Combinatorial properties of classical forcing notions Annals of Pure and Applied Logic, vol. 73 (1995), pp. 143–170.
[16] , , and , Combinatorial properties of Hechler forcing Annals of Pure and Applied Logic, vol. 59 (1992), pp. 185–199.
[17] , , and , Universally Baire sets of reals Set Theory of The Continuum (, , and , editors), MSRI, Springer, 1992, pp. 203–242.
[18] , Generic Σ1/3 absoluteness The Journal of Symbolic Logic, vol. 69 (2004), no. 1, pp. 73–80.Google Scholar
[19] and , The bounded proper forcing axiom The Journal of Symbolic Logic, vol. 60 (1995), no. 1, pp. 58–73.
[20] and , Mathias absoluteness and the Ramsey property The Journal of Symbolic Logic, vol. 61 (1996), no. 1, pp. 177–194.
[21] and , Some exact equiconsistency results in set theory Notre Dame Journal of Formal Logic, vol. 26 (1985), pp. 178–187.
[22] , , and , Adding a closed unbounded set The Journal of Symbolic Logic, vol. 41 (1976), no. 2, pp. 481–482.
[23] , The Consistency Strenght of Projective Absoluteness, Habilitationschrift, Heidelberg, 1993.
[24] , The Influence of u2, Ph.D. thesis, University of California, Berkeley, 1993.
[25] , Set Theory. The ThirdMillenium Edition, Revised and Expanded, Springer-Verlag, 2002.
[26] and , Some applications of almost disjoint sets Mathematical Logic and Foundations of Set Theory (Y. Bar-Hillel, editor), North-Holland, 1970, pp. 84–104.
[27] , Absoluteness for projective sets Logic Colloquium '90 (J. Oikkonen and Väänänen, editors), Logic Colloquium '90, Lecture Notes in Logic, vol. 2, Springer, 1993, pp. 145–154.
[28] , On the consistency of the definable tree property on ℵ1, The Journal of Symbolic Logic, vol. 65 (2000), pp. 1204–1214.
[29] and , A basis theorem for Σ1/3 sets of reals Annals of Mathematics, vol. 89 (1969), pp. 138–160.
[30] , Proper forcing, the continuum, and set mapping reflection, Preprint.
[31] and , Proper forcings and absoluteness in lR, Commentationes Mathematicae Universitatis Carolinae, vol. 39 (1998), no. 2, pp. 281–301.
[32] and , Simple forcing notions and forcing axioms The Journal of Symbolic Logic, vol. 62 (1997), no. 4, pp. 1297–1314.
[33] , Coding into K by reasonable forcing Transactions of the American Mathematical Society, vol. 353 (2000), pp. 479–489.
[34] , Proper forcing and remarkable cardinals The Bulletin of Symbolic Logic, vol. 6 (2000), pp. 176–184.
[35] , Proper forcing and remarkable cardinals II The Journal of Symbolic Logic, vol. 66 (2001), pp. 1481–1492.
[36] , Iterated forcing and normal ideals onω1, Israel Journal of Mathematics, vol. 60 (1987), pp. 345–380.
[37] and , Reflection principles for the continuum Logic and Algebra (Providence, RI), Contemporary Mathematics, vol. 302, AMS, 2002, pp. 59–84.Google Scholar
[38] , Core models with more Woodin cardinals The Journal of Symbolic Logic, vol. 67 (2002), no. 3, pp. 1197–1226.
[39] , Generic absoluteness and the continuum Mathematical Research Letters, vol. 9 (2002), pp. 1–7.
[40] , Localized reflection and fragments of PFA DIMACS Series, vol. 58 (2002), pp. 135–148.
[41] , On the consistency strength of projective uniformization Proc. of the Herbrand Symposium, Logic Colloquium '81 (J. Stern, editor), Logic Colloquium '81, North- Holland, 1982, pp. 365–384.
[42] , 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.
[43] , The Axiom of Determinacy, Forcing Axioms and the Nonstationary Ideal, de Gruyter Series in Logic and Its Applications, vol. 1, Walter de Gruyter, 1999.
- 4
- Cited by