Book contents
- Frontmatter
- Preface
- Contents
- TUTORIALS
- ARTICLES
- Modified bar recursion and classical dependent choice
- Choice and uniformity in weak applicative theories
- Compactness and incompactness phenomena in set theory
- Selection for Borel relations
- Interpolation in goal-directed proof systems 1
- Sequences of degrees associated with models of arithmetic
- The limit theory of generic polynomials
- Moschovakis's notion of meaning as applied to linguistics
- Tameness in expansions of the real field
- The model theory of compact complex spaces
- “Natural” representations and extensions of Gödel's second theorem 350
- Effective Hausdorff dimension
- Mutual stationarity in the coremodel
- The pair (Nn, N0) may fail N0-compactness
- Incompleteness theoremand its frontier
- Groups in Simple Theories
- References
The pair (Nn, N0) may fail N0-compactness
from ARTICLES
Published online by Cambridge University Press: 31 March 2017
Book contents
- Frontmatter
- Preface
- Contents
- TUTORIALS
- ARTICLES
- Modified bar recursion and classical dependent choice
- Choice and uniformity in weak applicative theories
- Compactness and incompactness phenomena in set theory
- Selection for Borel relations
- Interpolation in goal-directed proof systems 1
- Sequences of degrees associated with models of arithmetic
- The limit theory of generic polynomials
- Moschovakis's notion of meaning as applied to linguistics
- Tameness in expansions of the real field
- The model theory of compact complex spaces
- “Natural” representations and extensions of Gödel's second theorem 350
- Effective Hausdorff dimension
- Mutual stationarity in the coremodel
- The pair (Nn, N0) may fail N0-compactness
- Incompleteness theoremand its frontier
- Groups in Simple Theories
- References
- Type
- Chapter
- Information
- Logic Colloquium '01 , pp. 402 - 433Publisher: Cambridge University PressPrint publication year: 2005
References
[Ch] , A note on the two cardinal problem,Proceedings of the AmericanMathematical Society, vol. 16 (1965), pp. 1148–1155.
[CK] and , Model Theory, Studies in Logic and the Foundation of Mathematics, vol. 73, North Holland Publishing Co., Amsterdam, 1973.
[CFM] , , and , Squares, scales and stationary reflection,Journal of Mathematical Logic, vol. 1 (2001), pp. 35–98.
[De73] , Aspects of constructibility, Lecture Notes in Mathematics, vol. 354, Springer-Verlag, 1973.
[Fu65] , Languages with added quantifier “there exist at least ℵα,The Theory of Models (, , and , editors), North-Holland Publishing Company, 1965, pp. 121–131.
[GcSh:491] and , Identities on cardinals less than ℵω,The Journal of Symbolic Logic, vol. 61 (1996), pp. 780–787, math.LO/95052155.
[GcSh:583] and , The Consistency of ZFC + 2ℵ0 > ℵω + I(ℵ2) = I(ℵω), The Journal of Symbolic Logic, vol. 62 (1997), pp. 1151–1160, math.LO/9603219.
[Jn] , The fine structure of the constructible hierarchy,Annals ofMathematical Logic, vol. 4 (1972), pp. 229–308.
[Ke66] , First order properties of pairs of cardinals,Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 141–144.
[Ke66a] , Some model theoretic results for ω-logic,Israel Journal ofMathematics, vol. 4 (1966), pp. 249–261.
[Mi72] , Aronszajn trees and the independence of the transfer property,Annals of Mathematical Logic, vol. 5 (1972), no. 3, pp. 21–46.
[Mo68] , Partitions and models,Proceedings of the Summer School in Logic, Leeds, 1967, Lecture Notes in Mathematics, vol. 70, Springer-Verlag, 1968, pp. 109–158.
[Mo57] , On a generalization of quantifiers,Fundamenta Mathematicae, vol. 44 (1957), pp. 12–36.
[MV62] and , Homogeneous and universal models,Mathematica Scandinavica, vol. 11 (1962), pp. 37–57.
[RoSh:733] and , Historic forcing for Depth,Colloquium Mathematicum, vol. 89 (2001), pp. 99–115, math.LO/0006219.
[Sc74] , Generalizing special Aronszajn trees,The Journal of Symbolic Logic, vol. 39 (1974), pp. 732–740.
[Sc85] , Transfer theorems and their application to logics,Model Theoretic Logics ( and , editors), Springer-Verlag, 1985, pp. 177–209.
[ScSh:20] and , On power-like models for hyperinaccessible cardinals,The Journal of Symbolic Logic, vol. 37 (1972), pp. 531–537.
[Sh:8] , Two cardinal compactness,Israel Journal of Mathematics, vol. 9 (1971), pp. 193–198.
[Sh:18] , On models with power-like orderings,The Journal of Symbolic Logic, vol. 37 (1972), pp. 247–267.
[Sh:37] , A two-cardinal theorem,Proceedings of the American Mathematical Society, vol. 48 (1975), pp. 207–213.
[Sh:49] , A two-cardinal theorem and a combinatorial theorem,Proceedings of the American Mathematical Society, vol. 62 (1976), pp. 134–136.
[Sh:74] , Appendix to: “Models with second-order properties. II. Trees with no undefined branches” (Annals ofMathematical Logic vol. 14 (1978), no. 1, pp. 73–87), Annals of Mathematical Logic, vol. 14 (1978), pp. 223–226.
[Sh:289] , Consistency of positive partition theorems for graphs and models,Set theory and its applications (Toronto, ON, 1987) ( and , editors), Lecture Notes in Mathematics, vol. 1401, Springer, Berlin-New York, 1989, pp. 167–193.
[Sh:269] , “Gap 1” two-cardinal principles and the omitting types theorem for L(Q), Israel Journal of Mathematics, vol. 65 (1989), pp. 133–152.
[Sh:288] , Strong partition relations below the power set: Consistency, Was Sierpínski right, II?,Proceedings of the Conference on Set Theory and its Applications in honor of A. Hajnal and V. T. Sos, Budapest, 1/91, ColloquiaMathematica Societatis Janos Bolyai. Sets, Graphs, and Numbers, vol. 60, 1991, math.LO/9201244, pp. 637–638.Google Scholar
[Sh:424] , On CH + 2ℵ1 (a)2/2 for a < ω2, Logic Colloquium –90. ASL Summer Meeting in Helsinki, Lecture Notes in Logic, vol. 2, Springer Verlag, 1993, math.LO/9308212, pp. 281–289.
[Sh:522] , Borel sets with large squares,Fundamenta Mathematicae, vol. 159 (1999), pp. 1–50, math.LO/9802134.
[Sh:546] , Was Sierpinski right? IV,The Journal of Symbolic Logic, vol. 65 (2000), pp. 1031–1054, math.LO/9712282.
[Sh:824] , Two cardinals models with gap one revisited,Mathematical Logic Quarterly, to appear.
[Sh:E17] , Two cardinal and power like models: compactness and large group of automorphisms,Notices of the AmericanMathematical Society, vol. 18 (1968), p. 425.
[Sh:E28] , Details on [Sh:74].
[ShVa:790] and , Recursive logic frames, Preprint.
[Si71] , Some applications of model theory in set theory,Annals of Mathematical Logic, vol. 3 (1971), pp. 45–110.
[Va65] , A Löwenheim-Skolem theorem for cardinals far apart,The Theory of Models (, , and , editors), North-Holland Publishing Company, 1965, pp. 81–89.