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
Generic absoluteness for Σ1 formulas and the continuum problem
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. 1 - 27Publisher: Cambridge University PressPrint publication year: 2006
References
[1] , Bounded Forcing Axioms and the Continuum, Ph.D. thesis, U. Barcelona, Barcelona, 2000.
[2] , A maximal bounded forcing axiom, The Journal of Symbolic Logic, vol. 67 (2002), no. 1, pp. 130–142.Google Scholar
[3] , Bounded forcing axioms and the size of the continuum, Logic Colloquium 2000, Lecture Notes in Logic, vol. 19, ASL, Urbana, IL, 2005, pp. 211–227.
[4] , On a convenient property for [γ] ℵ0, Submitted.
[5] , and , Bounded forcing axioms and the continuum, Annals of Pure and Applied Logic, vol. 109 (2001), no. 3, pp. 179–203.
[6] and , Bounded Martin's maximum, weak Erdʺos cardinals, and ψAC, The Journal of Symbolic Logic, vol. 67 (2002), no. 3, pp. 1141–1152.Google Scholar
[7] , Bounded forcing axioms as principles of generic absoluteness, Archive for Mathematical Logic, vol. 39 (2000), no. 6, pp. 393–401.Google Scholar
[8] and , Saturation properties of ideals in generic extensions. I, Transactions of the American Mathematical Society, vol. 270 (1982), no. 2, pp. 557–574.Google Scholar
[9] , Topics in Set Theory, Lecture Notes in Mathematics, vol. 1476, Springer-Verlag, Berlin, 1991.
[10] and , Canonical functions, non-regular ultrafilters and Ulam's problem on ω1,The Journal of Symbolic Logic, vol. 68 (2003), no. 3, pp. 713–739.Google Scholar
[11] and , A weak version of ♣ which follows from 2ℵ0 2 ℵ1, Israel Journal of Mathematics, vol. 29 (1978), no. 2-3, pp. 239–247.Google Scholar
[12] and , Projective stationary sets and a strong reflection principle Journal of the London Mathematical Society. Second Series, vol. 58 (1998), no. 2, pp. 271–283.
[13] , , and , Martin's maximum, saturated ideals, and nonregular ultrafilters. I Annals of Mathematics. Second Series, vol. 127 (1988), no. 1, pp. 1–47.Google Scholar
[14] , On potential embedding and versions of Martin's axiom Notre Dame Journal of Formal Logic, vol. 33 (1992), no. 4, pp. 481–492.
[15] , , and , An ideal game The Journal of Symbolic Logic, vol. 43 (1978), no. 2, pp. 284–292.
[16] , Nonsplitting subset of Pκ (κ+), The Journal of Symbolic Logic, vol. 50 (1985), no. 4, pp. 881–894.Google Scholar
[17] and , The bounded proper forcing axiom The Journal of Symbolic Logic, vol. 60 (1995), no. 1, pp. 58–73.
[18] , A simple maximality principle The Journal of Symbolic Logic, vol. 68 (2003), no. 2, pp. 527–550.
[19] , Set Theory, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1997.
[20] and , A note on canonical functions Israel Journal of Mathematics, vol. 68 (1989), no. 3, pp. 376–380.
[21] , Countable approximations and Löwenheim-Skolem theorems Annals of Pure and Applied Logic, vol. 11 (1977), no. 1, pp. 57–103.
[22] , Set Theory: An Introduction to Independence Proofs, Studies in Logic and the Foundations of Mathematics, vol. 102, North-Holland Publishing Co., Amsterdam, 1980.
[23] , The size of T Archive for Mathematical Logic, vol. 39 (2000), no. 7, pp. 541–568.
[24] and , Internal Cohen extensions Annals of Pure and Applied Logic, vol. 2 (1970), no. 2, pp. 143–178.
[25] , A note on weak segments of PFA Proceedings of the Sixth Asian Logic Conference (Beijing, 1996), World Sci. Publishing, River Edge, NJ, 1998, pp. 175–197.
[26] , Coding into K by reasonable forcing Transactions of the American Mathematical Society, vol. 353 (2001), no. 2, pp. 479–489.
[27] , Semiproper forcing axiom implies Martin maximum but not PFA+, The Journal of Symbolic Logic, vol. 52 (1987), no. 2, pp. 360–367.
[28] Forcing axiom failure for ƛ ℵ1, [Sh 784], Available at http://arxiv.org/abs/math.LO/0112286.
[29] and , Reflection principles for the continuum Logic and Algebra, Contemporary Mathematics, vol. 302, AMS, Providence, RI, 2002, pp. 59–84.Google Scholar
[30] , Oscillations of real numbers Logic Colloquium '86 (Hull, 1986), Studies in Logic and the Foundations of Mathematics, vol. 124, North-Holland, Amsterdam, 1988, pp. 325–331.
[31] , Partition Problems in Topology, Contemporary Mathematics, vol. 84, American Mathematical Society, Providence, RI, 1989.Google Scholar
[32] , Generic absoluteness and the continuum Mathematical Research Letters, vol. 9 (2002), no. 4, pp. 465–471.
[33] , Localized reflection and fragments of PFA Set Theory (Piscataway, NJ, 1999), Dimacs Series, vol. 58, AMS, Providence, RI, 2002, pp. 135–148.
[34] , Forcing axioms and stationary sets Advances in Mathematics, vol. 94 (1992), no. 2, pp. 256–284.
[35] , On unfoldable cardinals, ω-closed cardinals, and the beginning of the inner model hierarchy Archive for Mathematical Logic, vol. 43 (2004), no. 4, pp. 443–458.
[36] , The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal, de Gruyter Series in Logic and its Applications, vol. 1, Walter de Gruyter & Co., Berlin, 1999.
- 2
- Cited by