Advertisement

Universal classes

  • Saharon Shelah
Conference paper
Part of the Lecture Notes in Mathematics book series (LNM, volume 1292)

Keywords

Boolean Algebra Linear Order Prime Model Order Theory Index Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Sh]=[Sh A1]
    Classification theory and the number of non-isomorphic models, North Holland Publ. Co., 1978 542 + xviGoogle Scholar
  2. [Sh A1a]
    Classification theory: completed for countable theories, North Holland Publ. Co, in press.Google Scholar
  3. [ShA 2]
    Proper forcing, Springer Lecture Notes, 940 (1982) 496 + xxix.Google Scholar
  4. [Sh 1]
    Stable theories, Israel J. of Math. 7 (1969), 187–202.Google Scholar
  5. [Sh 2]
    Note on a Mini-Max problem of Leo Moser, J. of Comb. Theory Series A,6 (1969), 298–300.Google Scholar
  6. [Sh 3]
    Finite diagrams stable in power, Annals of Math. Logic. 2(1970), 69–118.Google Scholar
  7. [Sh 4]
    On theories T categorical in |T|, J. of Symb. Logic 35 (1970), 73–82.Google Scholar
  8. [Sh 5]
    On language with non-homogeneous strings of quantifiers, Israel J. of Math. 8, (1970), 75–79.Google Scholar
  9. [Sh 6]
    A note on Hanf numbers, Pacific J. of Math 34 (1970), 539–543.Google Scholar
  10. [Sh 7]
    On the cardinality of ultraproducts of finite sets, J. of Symb. Logic 35 (1970), 83–84.Google Scholar
  11. [Sh 8]
    Two cardinal compactness, Israel J. of Math. 9 (1971), 193–198.Google Scholar
  12. [Sh 9]
    Remark to — "local definability theory" of Reyes, Annals of Math. Logic 2 (1971), 441–448.Google Scholar
  13. [Sh 10].
    Stability, the f.c.p., and superstability: model theoretic properties of formulas in the first order theory, Annals of Math. Logic 3 (1971), 271–362.Google Scholar
  14. [Sh 11]
    The number of non-almost isomorphic models of T in a power, Pacific J. of Math. 36 (1971), 811–818.Google Scholar
  15. [Sh 12]
    The number of non-isomorphic models of an unstable first-order theory, Israel J. of Math. 10 (1971), 473–487.Google Scholar
  16. [Sh 13]
    Every two elementarily equivalent models have isomorphic ultrapowers, Israel J. of Math. 10 (1971), 224–233.Google Scholar
  17. [Sh 14]
    Saturation of ultrapowers and Keisler's order, Annals of Math. Logic 4 (1972), 75–114.Google Scholar
  18. [Sh 15]
    Uniqueness and characterization of prime models over sets for totally transcendental first-order theories, J. of Symb. Logic 37 (1972), 107–113.Google Scholar
  19. [Sh 16]
    A combinatorial problem; stability and order for models and theories in infinitary languages, Pacific J. of Math. 41 (1972), 247–261.Google Scholar
  20. [Sh 17]
    For what filters every reduced product is saturated, Israel J. of Math. 12 (1972), 23–31.Google Scholar
  21. [Sh 18]
    On models with power-like orderings, J. of Symb. Logic 37 (1972), 247–267.Google Scholar
  22. [ErSh 19]
    P. Erdos and S. Shelah, Separability propertes of almost disjoint families of sets, Israel J. of Math. 12 (1972), 207–214.MathSciNetCrossRefzbMATHGoogle Scholar
  23. [ScSh 20]
    J. Schmerl and S. Shelah, On power-like models of hyperinaccessible cardinals, J. of Symb. Logic 37 (1972), 531–537.MathSciNetCrossRefzbMATHGoogle Scholar
  24. [ErSh 21]
    P. Erdos and S. Shelah, On problems of Moser and Hanson, Proc. of Symp. in Graph Theory. Kalamazoo, editors Y. Alvani, D.R. Lick and A. T. White; 1972 Lecture notes in Math. Springer Verlag, No. 303, 75–80.Google Scholar
  25. [Sh 22]
    A note on model complete models and generic models, Proc. of A.M.S. 34 (1972), 509–514.Google Scholar
  26. [GlSh 23]
    F. Galvin and S. Shelah, Some counterexamples in Partition Calculus, J. of Comb. Theory, Series A, 15 (1973), 167–174.MathSciNetCrossRefzbMATHGoogle Scholar
  27. [Sh 24]
    First-order theory of the permutation groups, Israel J. of Math. 14 (1973), 149–162.Google Scholar
  28. [Sh 25]
    Errata to: First order theory of permutation groups, Israel J. of Math. 15 (1973), 437–441.Google Scholar
  29. [Sh 26]
    Notes in combinatorial set theory, Israel J. of Math. 14 (1973), 262–277.Google Scholar
  30. [MrSh 27]
    G. Moran and S. Shelah, Size direction games over the real line III, Israel J. of Math. 14 (1973), 442–449.MathSciNetCrossRefzbMATHGoogle Scholar
  31. [Sh 28]
    There are just four second-order quantifiers, Israel J. of Math. 15 (1973), 282–300.Google Scholar
  32. [Sh 29]
    A substitute for Hall theorem for families with infinite sets, J. of Comb. Theory. A 16 (1974), 199–208.Google Scholar
  33. [McSh 30]
    R. McKenzie and S. Shelah, The cardinals of simple models for universal theories, Proc. of the Symp. in honor of Tarski's seventieth birthday, in Berkeley, 1971; ed. Henkin; Proc. Symp. in Pure Math. vol. XXV (1974), 53–74.Google Scholar
  34. [Sh 31]
    Categoricity of uncountable theories, Proc. of the Symp. in honor of Tarski's seventieth birthday in Berkeley, 1971; ed. Henkin; Proc. Symp. in Pure Math. vol. XXV (1974), 187–204.Google Scholar
  35. [EHSh 32]
    P. Erdos, A. Hajnal and S. Shelah, On general properties of cromatic numbers, Proc. of a Colloquium on Topology in Keszthely, Hungary 1972, Colloq in Math. Soc. Janos Bolayi 8, Topics in Topology, North Holland (1974), 234–255.Google Scholar
  36. [Sh 33]
    The Hanf number of omitting complete tyes, Pacific J. of Math. 50 (1974), 163–168.Google Scholar
  37. [Sh 34]
    Weak definability in infinitary languages, J. of Symb. Logic 38 (1973), 339–404.Google Scholar
  38. [Sh 35]
    E. C. Milner and S. Shelah, Sufficiency conditions for the existence of transversals, Canadian J. of Math. 26 (1974), 948–961.MathSciNetCrossRefzbMATHGoogle Scholar
  39. [Sh 36]
    On cardinal invariants in topology, General topology and its applications, 7 (1977), 251–259.Google Scholar
  40. [Sh 37]
    A two cardinal theorem, Proc. of the A.M.S. 48, (1975), 207–213.Google Scholar
  41. [Sh 38]
    Graphs with prescribed asymmetry and minimal number of edges, Infinite and finite sets, Proc. of a Symposium in honour of P. Erdos' 60th birthday, held in Hungary, 1973; Colloquia Mathematica Societatis Janos Bolayi 10 ed. A. Hajnal, R. Rado and V. T. Sos, North Holland Publ. Co., Vol. III (1975), 1241–1256.Google Scholar
  42. [Sh 39]
    Differentially closed fields, Israel J. of Math. 16 (1973), 314–328.Google Scholar
  43. [Sh 40]
    Notes in partition calculus, Infinite and finite sets, Proc. of a Symposium in honour of P. Erdos' 60th birthday, held in Hungary, 1973; Colloquia Mathematica Societatis Janos Bolayi 10. ed. A. Hajnal, R. Rado and V. T. Sos, North Holland Publ. Co., vol. III (1975), 1257–1276.Google Scholar
  44. [MlSh 41]
    E. C. Milner and S. Shelah, Some theorems on transversals, Infinite and finite sets, Proc. of a Symposium in honour of P. Erdos 60th birthday, held in Hungary, 1973; Colloquia Mathematica Societatis Janos Bolayi 10, ed. A. Hajnal, R. Rado and V. T. Sos, North Holland Publ. Co. Vol. III (1975), 1115–112.Google Scholar
  45. [Sh 42]
    The monadic theory of order, Annals of Math. 102 (1975), 379–419.Google Scholar
  46. [Sh 43]
    Generalized quantifiers and compact logic, Trans. of A.M.S. 204 (1975), 342–364.Google Scholar
  47. [Sh 44]
    Infinite abelian groups, Whitehead problem and some constructions, Israel J. of Math. 18 (1974), 243–256.Google Scholar
  48. [Sh 45]
    Existence of rigid-like families of abelian p-groups; Model theory and Algebra: A memorial tribute to A. Robinson, ed. Saracino and Weispfenning, Lecture notes in Math. 498, Springer-Verlag 1975, 385–402.Google Scholar
  49. [Sh 46]
    Coloring without triangles and partition relations, Israel J. of Math. 20 (1975), 1–12.Google Scholar
  50. [MShS 47]
    J. A. Makowsky, S. Shelah and J. Stavi, Δ-logics and generalized quantifiers, Annals of Math. Logic 10 (1976), 155–192.MathSciNetCrossRefzbMATHGoogle Scholar
  51. [Sh 48]
    Categorcity in N 1 of sentences of L w1, w(Q), Israel J. of Math. 20 (1975), 127–148.Google Scholar
  52. [Sh 49]
    A two cardinal theorem and a combinatorial theorem, Proc. of A.M.S. 62 (1977), 134–136.Google Scholar
  53. [Sh 50]
    Decomposing uncountable squares to countably many chains, J. of Comb. Theory, Series A, 21 (1976), 110–114.Google Scholar
  54. [Sh 51]
    Why there are many non-isomorphic models for unsuperstable theories, Proc. of the International Congress of Math. Vancouver, (1974), 553–557.Google Scholar
  55. [Sh 52]
    A compactness theorem in singular cardinals, free algebras, Whitehead problem, and transversals, Israel J. of Math. 21 (1975), 319–349.Google Scholar
  56. [LtSh 53]
    A. Litman and S. Shelah, Models with few non-isomorphic expansions, Israel J. of Math. 28 (1977), 331–338.MathSciNetCrossRefzbMATHGoogle Scholar
  57. [Sh 54]
    The lazy model theorist's guide to stability, Logique et Analyse, 18 Anne, vol 71–72 (1975), 241–308. Reappeared in: Six days of model theory, Proceedings of a conference in Louvain-le-Neuve, March 1975, ed. P. Henrard, Paul Castella, Switzerland 1661 Albeuve (1978), 9–76.Google Scholar
  58. [McSh 55]
    A Macintyre and S. Shelah, Universal locally finite groups, J. of Algebra, 43 (1976), 168–175.MathSciNetCrossRefzbMATHGoogle Scholar
  59. [Sh 56]
    Refuting Ehrenfeucht Conjecture on rigid models, Proc. of the Symp. in memory of A. Robinson, Yale, 1975, A special volume in the Israel J. of Math. 25 (1976), 273–286.Google Scholar
  60. [AmSh 57]
    A. Amit and S. Shelah, The complete finitely axiomatized theories of order are dense, Israel J. of Math. 23 (1976), 200–208.MathSciNetCrossRefzbMATHGoogle Scholar
  61. [Sh 58]
    Decidability of a portion of the predicate calculus, Israel J. of Math. 28 (1977), 32–44.Google Scholar
  62. [HlSh 59]
    H. L. Hiller and S. Shelah, Singular Cohomology in L, Israel J. of Math. 26 (1977), 313–319.MathSciNetCrossRefzbMATHGoogle Scholar
  63. [HLSh 60]
    W. Hodges, A. Lachlan and S. Shelah, Possible orderings of an indiscernible sequence, Bull. of London Math. Soc. 9 (1977), 212–215.MathSciNetCrossRefzbMATHGoogle Scholar
  64. [Sh 61]
    Interpreting set theory in the endomorphism semi-group of a free algebra in a category, Proc. of a Symp. in Clermont-Ferand, July 1975, Ann. Sci. Univ. Clermont Sec. Math. fase 13 (1976), 1–29.Google Scholar
  65. [MaSh 62]
    J. A. Makowsky and S. Shelah, The theorems of Beth and Craig in abstract logic I, Trans. A.M.S. 256 (1979), 215–239.MathSciNetzbMATHGoogle Scholar
  66. [ShSr 63]
    S. Shelah and J. Stern, The Hanf number of the first-order theory of Banach spaces, Trans. A.M.S. 244 (1978), 147–171.MathSciNetCrossRefzbMATHGoogle Scholar
  67. [Sh 64]
    Whitehead groups may not be free even assuming CH, I, Israel J. of Math. 28 (1977), 193–203.Google Scholar
  68. [DvSh 65]
    K. Devlin and S. Shelah, A weak form of the diamond which follows from 2N0<2N1, Israel J. of Math. 29 (1978), 239–247.MathSciNetCrossRefGoogle Scholar
  69. [Sh 66]
    End extensions and number of non-isomorphic models, J. of Symb. Logic, 43 (1978), 556–562.Google Scholar
  70. [Sh 67]
    On the number of minimal models, J. of Symb. Logic, 43 (1978), 475–480.Google Scholar
  71. [Sh 68]
    Jonsson algebras in successor cardinals, Israel J. of Math., 30 (1978), 57–64.Google Scholar
  72. [Sh 69]
    A problem of Kurosh, Jonsson groups and applications, Proc. of a Symp. in Oxford, July 1976, Word Problems II, The Oxford Book, ed. S.I. Adjan, W. W. Boone and G. Higman, North Holland Publ. Co. Studies in Logic and the foundation of Math, vol. 95 (1980), 373–394.Google Scholar
  73. [GuSh 70]
    Y. Gurevich and S. Shelah, Modest theory of short chains II, J. of Symb. Logic, 44 (1979), 491–502.MathSciNetCrossRefzbMATHGoogle Scholar
  74. [Sh 71]
    A note on cardinal exponeniation, J. of Symb. Logic, 45 (1980), 56–66.Google Scholar
  75. [Sh 72]
    Models with second order properties I, Boolean Algebras with no undefinable automorphisms, Annals of Math. Logic 14 (1978), 57–72.Google Scholar
  76. [Sh 73]
    Models with second order properties II, On trees with no undefinable branches, Annals of Math. Logic, 14 (1978), 73–87.Google Scholar
  77. [Sh 74]
    Appendix, Models with second order properties II: Vaught two-cardinal theorem revisited. Annals of Math. Logic, 14 (1978), 223–226.Google Scholar
  78. [Sh 75]
    A Banach Space with few operators, Israel J. of Math. 30 (1978), 181–191.Google Scholar
  79. [Sh 76]
    Independence of strong partition relations for small cardinals, and the free subset problem, J. of Symb. Logic, 45 (1980), 505–509.Google Scholar
  80. [Sh 77]
    Existentially closed groups in N 1 with special properties, Bulletin of the Greek Math. Soc., a special volume dedicated to the memory of Papakyriakopoulos 18 (1977), 17–27.Google Scholar
  81. [Sh 78]
    Hanf number of omitting types for simple first-order theories, J. of Symb. Logic, 44 (1979), 319–324.Google Scholar
  82. [Sh 79]
    On uniqueness of prime models, J. of Symb. Logic, 44 (1979), 215–220.Google Scholar
  83. [Sh 80]
    A weak generalization of MA to higher cardinals, Israel J. of Math. 30 (1978), 297–306.Google Scholar
  84. [ADSh 81]
    U. Avraham, K. Devlin, and S. Shelah, The consistency with CH of some consequences of Martin Axiom plus 2N0 > N 1, Israel J. of Math. 31 (1978), 19–33.MathSciNetCrossRefzbMATHGoogle Scholar
  85. [Sh 82]
    Models with second order properties III, omitting types in λ+ for L(Q), Proc. of a workshop in Berlin, July 1977, Archive fur Math. Logik, 21 (1981), 1–11.Google Scholar
  86. [GiSh 83]
    D. Giorgetta and S. Shelah, Existentially closed structures in the power of the continuum, Proc. of the 1980/1 Jerusalem Model Theory year, Annals of Math Logic, 26(1984) 123–148.MathSciNetzbMATHGoogle Scholar
  87. [RuSh 84]
    M. Rubin and S. Shelah, On the elementary equivalence of automorphism groups of Boolean algebras, Downward Skolem-Lowenheim theorems and compactness of related quantifiers, J. of Symb. Logic, 45 (1980), 265–283.MathSciNetCrossRefzbMATHGoogle Scholar
  88. [DvSh 85]
    K. Devlin and S. Shelah, A note on the normal Moore space conjecture, Canad. J. of Math., vol. XXXI (1979), 241–251.MathSciNetCrossRefzbMATHGoogle Scholar
  89. [DvSh 86]
    K. Devlin and S. Shelah, Souslin properties and tree topologies, Bull. of London Math. Soc., (3) 39(1979), 537–552.MathSciNetzbMATHGoogle Scholar
  90. [Sh 87]
    Classification theory for non-elementary classes I, the number of uncountable models Ψ ε \(L_{\omega _1 ,\omega }\) Part A. Israel J. Math. 46 (1983), 212–240. Part B, Israel J. Math. 46 (1983), 241–273Google Scholar
  91. [Sh 88]
    Classification theory for non-elementary classes II, Abstract elementary classes, Proc. of the U.S.A. — Israel Conference on Classification Th., Chicago 12/85 ed. Baldwin, Springer Lecture Notes 1987.Google Scholar
  92. [Sh 89]
    Boolean Algebras with few endomorphisms, Proc. of A.M.S., 14 (1979), 135–142.Google Scholar
  93. [Sh 90]
    Remarks on λ-collectionwise Hausdorf spaces, Topology Proceedings, 2 (1977), 583–592.Google Scholar
  94. [HHSh 91]
    H. Hiller, M. Huber, and S. Shelah, The Structure of Ext(A, Z) and V=L, Math. Zeitschrift, 162 (1978), 39–50.MathSciNetCrossRefzbMATHGoogle Scholar
  95. [Sh 92]
    Remarks on Boolean algebras, Algebra Universalis, 11 (1980), 77–89.Google Scholar
  96. [Sh 93]
    Simple Unstable Theories, Annals of Math. Logic. 19 (1980), 177–204.Google Scholar
  97. [Sh 94]
    Weakly compact cardinals, a combinatorial proof, J. of Symb. Logic, 44 (1979), 559–562.Google Scholar
  98. [Sh 95]
    Canonization theorems and applications, J. of Symb. Logic, 46 (1981), 345–353.Google Scholar
  99. [ShZi 96]
    S. Shelah and M. Ziegler, Algebraically closed groups of large cardinality, J. of Symb. Logic, 44 (1979), 522–532.MathSciNetCrossRefzbMATHGoogle Scholar
  100. [ShRd 97]
    S. Shelah and M. E. Rudin, Unordered types of ultrafilters, Proc. of a Symp. in Oklahoma, March 1978, Topology Proceedings, 3 no. 2 (1979), 199–204.MathSciNetGoogle Scholar
  101. [Sh 98]
    Whitehead groups may not be free even assuming CH, II, Israel J. of Math. 35 (1980), 257–285.Google Scholar
  102. [HrSh 99]
    L. Harrington and S. Shelah, Equi-consistency results, Proc. of the Jerusalem 1980/1 Model Theory year, Notre Dame J. of Formal Logic 26(1985) 178–188MathSciNetCrossRefzbMATHGoogle Scholar
  103. [Sh 100]
    Independence results, J. of Symb. Logic, 45 (1980), 563–573.Google Scholar
  104. [MaSh 101]
    J. A. Makowsky and S. Shelah, The theorems of Beth and Craig in abstract model theory, II, Compact logics, Proc. of a Workshop, Berlin, July 1977, Archive fur Math. Logik, 21 (1981), 13–36.MathSciNetCrossRefzbMATHGoogle Scholar
  105. [AbSh 102]
    U. Avraham and S. Shelah, Forcing with stable posets, J. of Symb. Logic, 47 (1982), 37–42.MathSciNetCrossRefzbMATHGoogle Scholar
  106. [FrSh 103]
    D. Fremlin and S. Shelah, On partitions of the real line, Israel J. of Math. 32 (1979), 299–304.MathSciNetCrossRefzbMATHGoogle Scholar
  107. [LvSh 104]
    R. Laver and S. Shelah, The ℵ2-Souslin hypothesis, Trans. of A.M.S. 264 (1981), 411–417.MathSciNetzbMATHGoogle Scholar
  108. [Sh 105]
    On uncountable abelian groups, Israel J. of Math. 32 (1979), 311–330.Google Scholar
  109. [AbSh 106]
    U. Avraham and S. Shelah, Martin Axiom does not imply that every two ℵ1-dense sets of reals are isomorphic, Israel J. of Math. 38 (1981), 161–176.MathSciNetCrossRefzbMATHGoogle Scholar
  110. [Sh 107]
    Models with second order properties IV, A general method and eliminating diamonds, Annals. of Math. Logic. 25 (1983) 183–212.Google Scholar
  111. [Sh 108]
    On successor of singular cardinals, Proc. of the ASL Meeting in Mons, Aug. 1978, Logic Colloquium 78” ed. M. Boffa, D. van Dalen and K. McAloon; Studies in logic and the Foundation of Math. Vol. 97, North Holland Publ. Co. Amsterdam (1979), 357–380.Google Scholar
  112. [HoSh 109]
    W. Hodges and S. Shelah, Infinite reduced products, Annals of Math. Logic 20 (1981), 77–108.MathSciNetCrossRefzbMATHGoogle Scholar
  113. [Sh 110]
    Better quasi order for uncountable cardinals, Israel J.of Math. 42 (1982), 177–226Google Scholar
  114. [Sh 111]
    On powers of singular cardinals, Notre Dame J. of Formal Logic 27, (1986) 263–299Google Scholar
  115. [ShSt 112]
    S. Shelah and L. Stanley,S. Forcing I, a black box theorem for morasses with applications: supersouslin trees, Israel J. of Math. 43 (1982), 185–224.MathSciNetCrossRefzbMATHGoogle Scholar
  116. [MaSh 113]
    J.A. Makowsky and S. Shelah, The theorems of Beth and Craig in abstract model theory III, in preparation.Google Scholar
  117. [AbSh 114]
    U. Abraham and S. Shelah, Isomorphism of Aronszajn trees, independence results, Israel J. Math. 50 (1985) 75–113MathSciNetCrossRefzbMATHGoogle Scholar
  118. [ChSh 115]
    G. Cherlin and S. Shelah, Superstable fields and groups, Annals of Math Logic. [BSF] 18 (1980), 227–280.MathSciNetCrossRefzbMATHGoogle Scholar
  119. [MkSh 116]
    J. A. Makowsky and S. Shelah, Positive results in abstract model theory; a theory of compact logics, Annals of Pure and Applied Logic, 25 (1983) 263–299.MathSciNetCrossRefzbMATHGoogle Scholar
  120. [RuSh 117]
    M. Rubin and S. Shelah, Combinatorial problems on Trees: Partitions, Δ-systems and large free subsets, Annals of Pure and Applied Logic, 33 (1987) 43–82.MathSciNetCrossRefzbMATHGoogle Scholar
  121. [RuSh 118]
    M. Rubin and S. Shelah, On the expressibility hierarchy of Magidor-Malitz quantifiers, J. of Symb. Logic. 48 (1983), 542–559.MathSciNetCrossRefzbMATHGoogle Scholar
  122. [Sh 119]
    Iterated forcing and changing cofinalities I, Israel J. of Math. 40 (1981), 1–32.Google Scholar
  123. [Sh 120]
    Free limits and Aronszajn trees, Israel J. of Math. 38 (1981), 315–334.Google Scholar
  124. [MShSt 121]
    M. Magidor, S. Shelah, and J. Stavi, On the standard part of non-standard models of set theory, J. of Symb. Logic, 48 (1983), 33–38.MathSciNetCrossRefzbMATHGoogle Scholar
  125. [Sh 122]
    On Fleissner diamond, Notre Dame J. of Formal Logic, 22 (1981), 29–35.Google Scholar
  126. [GuSh 123]
    Y. Gurevich and S. Shelah, Monadic theory of order and topology in Z.F.C. Annals of Math Logic, 23, (1982), 179–198.MathSciNetCrossRefzbMATHGoogle Scholar
  127. [Sh 124]
    ω may have a strong partition relation. Israel J. of Math. 38 (1981), 283–288.Google Scholar
  128. [Sh 125]
    Consistency of Ext(G, Z)=Q, Israel J. of Math. 39 (1981), 74–82.Google Scholar
  129. [Sh 126]
    On saturation for a predicate, Notre Dame J. of Formal Logic, 22 (1981), 239–248.Google Scholar
  130. [Sh 127]
    On Boolean algebras with no uncountably many pairwise comparable or incomparable elements, Notre Dame J. of Formal Logic, 22 (1981), 301–308.Google Scholar
  131. [Sh 128]
    Uncountable constructions, Israel J. of Math. 51(1985) 273–297Google Scholar
  132. [Sh 129]
    On the number of non isomorphic models of cardinality λ,L ∞,λ-equivalent to a fix model. Notre Dame J. of Formal Logic, 22 (1981), 5–10.Google Scholar
  133. [PiSh 130]
    A. Pillay and S. Shelah, Classification over a predicate I Notre Dame. J. of Formal Logic. 26(1985) 361–376MathSciNetCrossRefzbMATHGoogle Scholar
  134. [Sh 131]
    The spectrum problem I, ℵ-saturated models the main gap, Israel J. of Math. 43 (1982), 324–356.Google Scholar
  135. [Sh 132]
    The spectrum problem II, Totally transcendetal theories and the infinite depth case. Israel J. of Math. 43 (1982), 357–364.Google Scholar
  136. [Sh 133]
    On the number of non-isomorphic models in λ,L ∞,λ equivalent to a fix model when λ is weakly compact. Notre Dame J. of Formal Logic, 23 (1982), 21–26.Google Scholar
  137. [GPShS 134]
    D. Gabbai, A. Pnueli, S. Shelah and J. Stavi, On the temporal Analysis of fairness, Proceedings of the seventh Annual SIG ACT-SIG PLAN Symposium on Principles of Programming Languages. January 23–30, 1980, Association Comp. Machinery N.Y.Google Scholar
  138. [GGHSh 135]
    A. Glass, Y. Gurevich, C. Holland and S. Shelah, Rigid homogeneous chains, Math. Proc. of the Cambridge Philo. Soc. 89 (1981), 7–17.MathSciNetCrossRefzbMATHGoogle Scholar
  139. [Sh 136]
    Constructions of many complicated uncountable structures and Boolean algebras, Israel J. of Math. 45 (1983), 100–146.Google Scholar
  140. [Sh 137]
    The singular cardinal problem: independence results, Proc. of Symp. in set theory, Cambridge Aug. 1978, ed. A. Mathias, London Math. Soc. Lecture Note Series. 87, Cambridge University Press, (1983), 116–134.Google Scholar
  141. [SgSh 138]
    G. Sageev and S. Shelah, On the structure of Ext(A, Z) in ZFC +, J. of Symb. Logic, 50(1985) 302–315MathSciNetCrossRefzbMATHGoogle Scholar
  142. [Sh 139]
    On the number of non-conjugate subgroups, Algebra Universalis, 16 (1983), 131–146.Google Scholar
  143. [Sh 140]
    On endo-rigid strongly ℵ1-free abelian groups in ℵ1, Israel J. of Math. 40 (1981) 291–295.Google Scholar
  144. [GMSh 141]
    Y. Gurevich, M. Magidor and S. Shelah, The monadic theory of ω2, J. of Symb. Logic, 48 (1983), 387–398.MathSciNetCrossRefzbMATHGoogle Scholar
  145. [BlSh 142]
    J. Baldwin and S. Shelah, The structure of saturated free algebras, Algebra Universalis, A volume in honour of Tarski 17,(1983),191–199.MathSciNetCrossRefzbMATHGoogle Scholar
  146. [GuSh 143]
    Y. Gurevich and S. Shelah, The monadic theory and the next world, Proc. of the 1980/1 Jerusalem Model Theory Year, Israel J. of Math. 49(1984) 55–68.MathSciNetzbMATHGoogle Scholar
  147. [MShS 144]
    M. Magidor, S. Shelah and J. Stavi, Countably decomposable admissible sets, Proc. of the 1980/1 Jerusalem Model Theory Year, Annals of Math. Logic. 26, (1984), 287–362.MathSciNetzbMATHGoogle Scholar
  148. [EMSh 145]
    P. C. Eklof, A. H. Mekler, and S. Shelah, Almost disjoint abelian groups. Proc. of the Jerusalem 1980/1 Model Theory Year, Israel J. of Math. 49 (1984) 34–54.MathSciNetzbMATHGoogle Scholar
  149. [AbSh 146]
    U. Avraham and S. Shelah, Forcing closed unbounded sets, J. of Symb. Logic, 48 (1983), 643–657.MathSciNetCrossRefzbMATHGoogle Scholar
  150. [HrSh 147]
    L. Harrington and S. Shelah, On the undecidability of the lattice of r.e. degrees, Bull. A.M.S., 6(1982), 79–80.MathSciNetCrossRefzbMATHGoogle Scholar
  151. [SgSh 148]
    G. Sageev and S. Shelah, Weak compactness and the structure of Ext(A, Z), Abelian group: Proc. of an Oberwolfach Conference ed. R. Gobel and A. E. Walker, Springer Verlag Lecture Notes in Math., 1981, no. 874; 87–92.Google Scholar
  152. [FrSh 149]
    S. D. Friedman and S. Shelah, Tall α-Recursive structure, Proc. A.M.S., 88(1983), 672–678.MathSciNetzbMATHGoogle Scholar
  153. [KfSh 150]
    M. Kaufman and S. Shelah, The Hanf number of stationary logic, Notre Dame J. of Formal Logic, 27(1986) 111–123.MathSciNetCrossRefzbMATHGoogle Scholar
  154. [GuSh 151]
    Y. Gurevich and S. Shelah, Interpretating the second order logic in the monadic theory of order, J. Symb. Logic, 48, (1983), 816–828.MathSciNetCrossRefzbMATHGoogle Scholar
  155. [HrSh 152]
    L. Harrington and S. Shelah, Counting equivalence of classes for co-κ-Souslin relation. Proc. of the non-conference of Prague, Aug. 1980, ed. van Dalen. D. Lascar and T. J. Smiley. North Holland, Logic Colloquia (1982). 147–152.Google Scholar
  156. [ARSh 153]
    U. Avraham, M. Rubin and S. Shelah, On the consistency of some partition theorems for continuous colorings and the structure of ℵ1-dense real order type Annals of Pure and Applied Logic, 29(1985) 123–206MathSciNetCrossRefGoogle Scholar
  157. [ShSt 154]
    S. Shelah and L. Stanley, Generalized Martin Axion and the Souslin Hypothesis for higher cardinality. Israel J. of Math. 43(1982), 225–236.MathSciNetCrossRefGoogle Scholar
  158. [ShSt 154a]
    S. Shelah and L. Stanley, Corrigendum to "Generalized Martin's Axiom and Souslin Hypothesis for Heigher cardinal Israel J. of Math, 53(1986) 309–314.MathSciNetCrossRefGoogle Scholar
  159. [Sh 155]
    The spectrum problem III, Universal theorem, Israel J. of Math. 55 (1986) 229–256.Google Scholar
  160. [BlSh 156]
    J. Baldwin and S. Shelah, Classification of theories by second order quantifiers, Proc. of the 1980/1 Jerusalem Model Theory Year. Notre Dame J. of Formal Logic 26(1985) 229–303.MathSciNetCrossRefGoogle Scholar
  161. [LaSh 156]
    A. Lachlan and S. Shelah, Stable structures homogeneous for a binary language. Proc. of the 1980/1 Jerusalem Model Theory, Israel J. of Math. 49(1984) 155–180.MathSciNetzbMATHGoogle Scholar
  162. [ShHM 157]
    S. Shelah, L. Harrington, and M. Makkai, A proof of Vaught conjecture for ω-stable theories, Proc. of the 1980/1 Jerusalem Model Theory Year, Israel J. of Math. 49(1984) 259–280.MathSciNetzbMATHGoogle Scholar
  163. [ShWd 158]
    S. Shelah and H. Woodin, Forcing the failure of CH. Journal Symb. Logic. 49, (1984), 1185–1189.MathSciNetCrossRefzbMATHGoogle Scholar
  164. [HoSh 160]
    W. Hodges and S. Shelah, Naturality and definability. J. London Math. Soc. 23 (1986) 1–12MathSciNetCrossRefzbMATHGoogle Scholar
  165. [Sh 161]
    Incompactness in regular cardinals. Notre Dame J. of Formal Logic, 26(1985) 195–228.Google Scholar
  166. [Sh 162]
    Models with second order properties V: A General principle. Annals of Pure and Applied Logic, Google Scholar
  167. [GuSh 163]
    Y. Gurevich and S. Shelah, To the decision problem for branching time logic, Foundation of Logic and Linguistics, Problems and their solutions, Proc. of the Zalzburg 7/83 meeting, Seventh International Congress for Logic Methology and Philosophy of Science, Plenum Pub. Corporation, ed. G. Dorn and p. Weingartner, (1985) p. 181–198.Google Scholar
  168. [JaSh 164]
    M. Jarden and S. Shelah, Pseudo-algebraically closed fields over rational function fields, Proc. of A.M.S., 87 (1983), 223–228.MathSciNetzbMATHGoogle Scholar
  169. [ShWe 165]
    S. Shelah and B. Weiss, Measurable recurrence and quasi-invariant measures, Israel J. of Math. 43 (1982), 154–160.MathSciNetCrossRefzbMATHGoogle Scholar
  170. [MaSh 166]
    A. H. Mekler and S. Shelah, Stationary logic and its friends, I, Proc. of the 1980/1 Jerusalem Model Theory year, Notre Dame J. of Formal Logic, 26(1985)-129–138.MathSciNetCrossRefGoogle Scholar
  171. [ShSt 167]
    S. Shelah and L. Stanley, S. forcing IIa: Adding diamonds and more applications, Archangelsci's problem and h(Q 1<1,Q21), 56 (1986) 1–65.MathSciNetzbMATHGoogle Scholar
  172. [GuSh 168]
    Y. Gurevich and S. Shelah, On the strength of the interpretation method J. of Symb. Logic, Google Scholar
  173. [EMSh 169]
    P.E. Eklof, A.H. Mekler and S. Shelah, On strongly non reflexive groups Israel J. Math. Google Scholar
  174. [Sh 170]
    Logical sentences in PA, Proc. of the A.S.L. meeting in Florence, Aug. 1982, Colloq. Math. Logic, ea. G. Lolli, G. Longo and A. Marcja North Holland. Co. (1984) 145–160 §3 incorrect.Google Scholar
  175. [Sh 171]
    A classification of generalized quantifiers, [dn fl. 81, lec win 82, tp fl 83, BSF], a Springer-Verlag Lecture Notes vol. 1182, (1986)1–46.Google Scholar
  176. [Sh 172]
    A combinatorial principle and endomorphism rings of p-groups. Proc. of the 1980/1 Jerusalem Model theory years, Israel J. of Math. 49 (1984) 239–257.Google Scholar
  177. [ANSh 173]
    R. Aharoni, C. St. J.A. Nash-Williams and S.Shelah, Marriage in infinite societies, Proc. of the Conference in Waterloo, July, 1982, Progress in Graph Theory Academic press.Google Scholar
  178. [GrSh 174]
    R. Grossberg and S. Shelah, On universal locally finite groups, Israel J. of Math. 44, (1983), 289–302.MathSciNetCrossRefzbMATHGoogle Scholar
  179. [Sh 175]
    On Universal graphs without instances of CH. Annals of Pure and Applied Logic, 26, (1984), 75–87.Google Scholar
  180. [Sh 175a]
    Universal graphs without instances of CH.Google Scholar
  181. [Sh 176a]
    Can you take Solovay inaccessible away? Israel J. of Math. 48, (1984), 1–47.Google Scholar
  182. [Sh 177]
    More on proper forcing, J. of Symb. Logic. 49, (1984), 1035–1038.Google Scholar
  183. [GuSh 178]
    Y. Gurevich and S. Shelah, Random models and the Godel case of the decision problem. J.of Symb. Logic, 43 (1983), 1120–1124MathSciNetCrossRefzbMATHGoogle Scholar
  184. [ShSn 179]
    S. Shelah and C. Steinhorn, On the axiomatizability by finitely many schemes, Notre Dame J. of Formal Logic, 27 (1986) 1–11.MathSciNetCrossRefzbMATHGoogle Scholar
  185. [ShSn 180]
    S. Shelah and C. Steinhorn, The non-axiomatizability of L(Q 2M), in Notre Dame J. of Formal Logic, Google Scholar
  186. [KfSh 181]
    M. Kaufman and S. Shelah, A non conservativity result on global choice, Annals of Pure and Applied Logic, 27, (1984), 209–214.MathSciNetCrossRefGoogle Scholar
  187. [AbSh 182]
    U. Abraham and S. Shelah, On the intersection of closed unbounded sets, J. of Symb. Logic, 51(1986) 180–189.MathSciNetCrossRefzbMATHGoogle Scholar
  188. [GuSh 183]
    Y. Gurevich and S. Shelah, Rabin's uniformization problem, J. of Symb. Logic, 48 (1983), 1105–1119MathSciNetCrossRefzbMATHGoogle Scholar
  189. [GGSh 184]
    W. D. Goldfarb, Y. Gurevich and S. Shelah, A decidable subclass of the minimal Godel class with identity, J. Symb. Logic, 44, (1984), 1253–1261.MathSciNetCrossRefzbMATHGoogle Scholar
  190. [Sh 185]
    Lifting problem of the measure algebra, Israel J. of Math. 45 (1983), 90–96.Google Scholar
  191. [Sh 186]
    Diamonds and Uniformization, J. of Symb. Logic, 49(1984) 1022–1033.Google Scholar
  192. [MkSh 187]
    A.H. Mekler and S. Shelah, Stationary Logic and its friends II. Notre Dame J. of Formal Logic, 27(1986) 39–50.MathSciNetCrossRefzbMATHGoogle Scholar
  193. [Sh 188]
    A pair of non-isomorphic models of power λ for λ singular with λω=λ. Notre Dame J. of Formal Logic, 25(1984) 97–104.Google Scholar
  194. [Sh 189]
    On the possible number of no (M) = the number of non-isomorphic models L ∞,λ-equivalent to M of power λ, for singular λ. Notre Dame J. of Formal Logic, 26 (1985) 36–50.Google Scholar
  195. [GbSh 190]
    R. Gobel and S. Shelah, Semi-rigid classes of co-torsion free abelian groups, J. of Algebra. 93(1985)136–150.MathSciNetCrossRefzbMATHGoogle Scholar
  196. [GiSh 191]
    M. Gitik and S. Shelah, On the Ī condition. Israel J. of Math. 48, (1984), 148–157.MathSciNetCrossRefzbMATHGoogle Scholar
  197. [Sh 192]
    On the number of non conjugate subgroups. Annals of Pure and Applied Logic, Google Scholar
  198. [LhSh 193]
    D. Lehmann and S. Shelah, Reasoning with time and chance, Information and Control. 53 (1982) 165–198.MathSciNetCrossRefzbMATHGoogle Scholar
  199. [ANSh 194]
    R. Aharoni, C. St. J.A. Nash-Williams and S. Shelah, A general criterion for the existence of transversals. Proc. of the London Math. Society. (3) 47 (1983), 43–68.MathSciNetCrossRefzbMATHGoogle Scholar
  200. [DrSh 195]
    M. Droste and S. Shelah, A construction of all Normal subgroup lattice 2-transitive automorphism groups of linearly ordered sets. Israel J. of Math. 51(1985)223–261.MathSciNetCrossRefzbMATHGoogle Scholar
  201. [ANSh 196]
    R. Aharoni, C. St. J. A. Nash-Williams and S. Shelah, Another form of a criterion for the existence of transversals. J. of the London Math. Soc. 29 (1984) 193–203.MathSciNetCrossRefzbMATHGoogle Scholar
  202. [Sh 197]
    Monadic Logic: Hanf numbers, Springer Verlag Lecture Notes, 1182(1986) 203–223.Google Scholar
  203. [MaSh 198]
    J. Makowsky and S. Shelah, Categority in ℵ1 for L (P.) in preparation.Google Scholar
  204. [Sh 199]
    Remarks in abstract model theory, Annals of Pure and Applied Logic. 29(1985) 255–288.Google Scholar
  205. [Sh 200]
    Classification of first order theories which have a structure theory, Bulletin of A.M.S. 12(1985)227–232.Google Scholar
  206. [KfSh 201]
    M. Kaufman and S. Shelah, On random models of finite power and monadic logic, J. Symb. Logic. 54(1985)285–293.MathSciNetzbMATHGoogle Scholar
  207. [Sh 202]
    On co κ-Souslin relations, Israel J. of Math. 47 (1984), 139–153Google Scholar
  208. [BdSh 203]
    S.Ben-David and S. Shelah, Trees on successor of singular cardinals, Annals of Pure and Applied Logic, Google Scholar
  209. [MgSh 204]
    M. Magidor, and S.Shelah, Compactness in successor of regular, in preparationGoogle Scholar
  210. [Sh 205]
    Monadic Logic: Lowenheim Numbers, Annals of Pure and Applied Logic, 28(1985)203–216.Google Scholar
  211. [Sh 206]
    Partition of a topological space to two homomorphic rigid spaces, Israel J. of Math. Google Scholar
  212. [Sh 207]
    On cardinal invariants of the continuum, Proc. of the 6/83 Boulder Conference in Set Theory. ed. J. Baumgartner, D. Martin and S. Shelah, Contempary mathematics 31 (1984) 183–207.Google Scholar
  213. [Sh 208]
    On Weak Diamond, Annals of Pure and Applied Logic, 28 (1985) 315–318.Google Scholar
  214. [ShTo209]
    S. Shelah and S. Todorcervic, A note on small Baire spaces, Canadian J. Math, 38 (1986) 659–665.MathSciNetCrossRefzbMATHGoogle Scholar
  215. [BoSh 210]
    R. Bonnet and S. Shelah, Narrow Boolean Algebras, Annals of Pure and Applied Logic. 28, (1985),1–12.MathSciNetCrossRefzbMATHGoogle Scholar
  216. [Sh 211]
    Stationary logic II: Comparison with other logics, Notre Dame J. of Formal Logic, Google Scholar
  217. [Sh 212]
    The existence of coding sets, Springer-Verlag Lecture Notes Volume, 1182(1986) 188–202.Google Scholar
  218. [DGSh 213]
    L. Deneberg, Y. Gurevich and S. Shelah, Cardinals defined by constant depth polynomial size circuits, Information and Control 70(1986) 216–240.MathSciNetCrossRefGoogle Scholar
  219. [MkSh 214]
    A. H. Mekler and S. Shelah, On ω-elongations and Crawly's problem, Pacific J. of Math, Google Scholar
  220. [MkSh 214a]
    A. H. Mekler and S. Shelah, The solution to Crawly's problem, Pacific J. Math 121(1986) 133–134.MathSciNetCrossRefzbMATHGoogle Scholar
  221. [MHSh 215]
    D. Marker, L. Harrington and S. Shelah, Dilworth theorem for Borel orderings, Trans A.M.S. Google Scholar
  222. [HMSh 216]
    C. Holland, A Mekler and S. Shelah, lawless orders, Order 1(1985)383–397.MathSciNetCrossRefzbMATHGoogle Scholar
  223. [HMSh 216a]
    C. Holland, A Mekler and S. Shelah, Total orders whose carrier groups satisfy no law, Proc. of the First International Symp. on Ordered Algebraic Structures, Lemeng, July 1984, Ordered algebraic structures, ed. S. Wolfenstein.Google Scholar
  224. [SgSh 217]
    G. Sageev and S. Shelah, Notherian ring with free additive groups, Abstract A.M.S. (1986).Google Scholar
  225. [Sh 218]
    On Measure and Category, Israel J. of Math. 52(1985)110–114.Google Scholar
  226. [GoSh 219]
    R. Gobel and S. Shelah, Modules over arbitrary domains, I Math-Zeitscift, 188, (1985), 325–337.MathSciNetCrossRefzbMATHGoogle Scholar
  227. [Sh 220]
    Existence of many L ∞,λ-equivalent non isomorphic models of T of power λ. Proc. of the Model Theory Conference Trento June 1986, ed G. Cherlin, A. Marcja, Annals of Pure and Applied Logic Google Scholar
  228. [AbSSh 221]
    U. Abraham S. Shelah, and R. Solovayy, Squares with diamonds and Souslin trees with special squares for successor of singulars, Fund Math. Google Scholar
  229. [GrSh 222]
    R. Grossberg and S. Shelah, On the number of non-isomorphic models for an infinitary logic which has the infintary order property, Part A, J. Symb. Logic, 51(1986) 302–322.MathSciNetCrossRefzbMATHGoogle Scholar
  230. [DrSh 223]
    M. Droste and S. Shelah, On the universality of systems of words in permutation groups, Pacific J. Math. Google Scholar
  231. [GbSh 224]
    R. Gobel and S. Shelah, Modules over arbitrary domains IIGoogle Scholar
  232. [Sh 225]
    On the numbers of strongly ℵ-saturated models of power λ. Annals of Pure and Applied Logic,.Google Scholar
  233. [FMSh 226]
    M. Foreman, M. Magidor and S. Shelah, On 0# and some forcing principles, J. of Symb. Logic 51(1986) 39–46.MathSciNetCrossRefzbMATHGoogle Scholar
  234. [Sh 227]
    A combinatorial principle and endomorophism rings of abelian groups II, Proc. of the Conference on Abelian Groups, Undine, April 9–14(1984), [BSF], CISM courses and Lecture No. 287, International centre for Mechanical Sciences Abelian Groups and Modules, ed. R. Godel, C. Metelli, A. Orsatti, and L. Solce 37–86.Google Scholar
  235. [Sh 228]
    On the no (M) for M of singular power. A Springer-Verlag Lecture Notes Volume, vol.1182 (1986) 120–134.Google Scholar
  236. [Sh 229]
    Existence of endo rigid Boolean algebras. A Springer-Verlag Lecture Notes Volume, 1182 (1986) 91–119.Google Scholar
  237. [GuSh 230]
    Y. Gurevich and S. Shelah, The decision problem for branching time logic, J. Symb. Logic, 50 (1985), 181–198.MathSciNetCrossRefzbMATHGoogle Scholar
  238. [JuSh 231]
    I. Juhasz and S. Shelah, How large can a hereditary separable or hereditary Lindelof space be. Israel J. of Math. 53(1986)355–364.MathSciNetCrossRefzbMATHGoogle Scholar
  239. [Sh 232]
    Non standard uniserial module over a uniserial domain exists, Springer-Verlag Lecture Notes Volume, vol 1182(1986)135–150.Google Scholar
  240. [Sh 233]
    Remarks on the number of ideals of Boolean algebras and open sets of a topology, Springer-Verlag Lecture Notes Volume, vol 1182(1982) 151–187.Google Scholar
  241. [Sh 234]
    Classification over a predicate II, A Springer-Verlag Lecture Notes Volume, vol 1182(1986) 1–46.Google Scholar
  242. [ShSo 235]
    S. Shelah and A Soife, Two problems on ℵ0-indecomposable abelian groups, J. of Algebra, 99 (1986), 359–369.MathSciNetCrossRefGoogle Scholar
  243. [BdSh 236]
    S. Ben David and S. Shelah, Non special Aronszajn trees on ℵω+1 Israel J. of Math., 53(1986)93–96.CrossRefzbMATHGoogle Scholar
  244. [Sh 237]
    Notes, in Springer-Verlag Lecture Notes Volume 1182(1986) a) On normal ideals and Boolean algebra, 247–259. b) A note on κ-freeness, 260–268 c) On countable theories with model-homogeneous models only 269–271 d) On decomposable sentences for finite models 272–5 e) Remarks on squares. 276–279.Google Scholar
  245. [GrSh 238]
    R. Grossberg and S. Shelah, A non-structure theorem for an infinitary theory which has the unsuperstability property, Illinois J. of Math., volume dedicated to the memory of W. W. Boone, ed. K. Appel, G. Higman, D. Robinson and C. Jockush 30(1986) 364–390.MathSciNetzbMATHGoogle Scholar
  246. [ShSo 239]
    S. Shelah and A. Soife, Countable ℵ0-indecomposable mix abelian groups of finite torsion free rank, J. of Algebra 100 (1986), 421–429.CrossRefGoogle Scholar
  247. [FMSh 240]
    M. Foreman, M. Magidor, and S. Shelah, Martin Maximum, saturated ideals and non-regular ultrafilters, Part I. Annals of Math. Google Scholar
  248. [ShWd 241]
    S. Shelah and H. Woodin, Large cardinals implies every reasonably definable set is measurable, Israel J. Math. Google Scholar
  249. [BsSh 242]
    A. Blass and S. Shelah, There may be simple P1 and P2 points and Rudin Keisler ordering may be downward directed, Annals of Pure and Applied Logic, 33 (1987), 213–243.MathSciNetCrossRefzbMATHGoogle Scholar
  250. [GuSh 243]
    Y. Gurevich and S. Shelah, Expected computation time for Hamiltonean paths. SIAM J. on Computing.Google Scholar
  251. [GuSh 244]
    Y. Gurevich and S. Shelah, The fix point extensions of first order logic. 26th Annual Symp. on Foundation of Computer Science, IEEE Computer Science Society Press, 1985, 346–353.Google Scholar
  252. [GuSh 244a]
    Y. Gurevich and S. Shelah, The fix point extensions of first order logic Annals of Pure and Applied Logic 32 (1986) 265–280.MathSciNetCrossRefzbMATHGoogle Scholar
  253. [CHSh 245]
    K. Compton, C.S. Henson and S. Shelah, Non convergence, Undecidability and Intractability in a symptotic problems Annals of Pure and Applied Logic.Google Scholar
  254. [CoSh 246]
    K. Compton and S. Shelah, A convergence theorem for random unary function, in preparation.Google Scholar
  255. [Sh 247]
    More on stationary coding [dn fl 84, tp wt 85] Springer Verlag Lecture Notes, vol 1182(1986)224–246.Google Scholar
  256. [BdSh 248]
    S.Ben David and S. Shelah, The two-cardinals transfer property and resurrection of supercompactnessGoogle Scholar
  257. [HJSh 249]
    A. Hajnal, I. Juhasz and S. Shelah, Splitting strongly almost disjoint families, Trans. of A.M.S. 295(1986) 369–387.MathSciNetCrossRefzbMATHGoogle Scholar
  258. [Sh 250]
    Notes on Iterated Forcing Notre Dame J. of Formal Logic.Google Scholar
  259. [MkSh 251]
    A.H. Mekler and S. Shelah, Does κ-free implies strongly κ-free? Proc. of the conference on Abelian Groups, Oberwolfach.Google Scholar
  260. [FMSh 252]
    M. Foreman, M. Magidor and S. Shelah, Martin Maximum saturated ideal and non regular ultrafilters, Part II Annals of Math Google Scholar
  261. [BaSh 253]
    Iterated Forcing and normal ideals on ω1 Israel J. Math. Google Scholar
  262. [BaSh 254]
    J. E. Baumgartner and S. Shelah, Remarks on superatomic Boolean Algebra, Annal of Pure and Applied logic 33(1987) 109–130.MathSciNetCrossRefzbMATHGoogle Scholar
  263. [EkSh 255]
    P. Eklof and S.Shelah, On groups A such that AZ nA, Proc. of the symp. on Abelian Groups in Oberwolfach.Google Scholar
  264. [Sh 256]
    More on power of singular cardinals Israel J. Math, to appear.Google Scholar
  265. [BsSh 257]
    A. Blass and S. Shelah, Ultrafilter with small generating sets. Israel J. Math Google Scholar
  266. [ShSt 258]
    S. Shelah and L. Stanley, A theorem and some consistency results in partition calculus, Annal of Pure and Applied Logic Google Scholar
  267. [GrSh 259]
    R. Grossberg and S. Shelah, On the number of non-isomorphic models for an infinitary logic which has the infinitary order property Part B, J. Symb Logic. Google Scholar
  268. [ShSp 260]
    S. Shelah and Y. Steprans, Extraspecial p-group Annals of Pure and Applied Logic Google Scholar
  269. [Sh 261]
    A graph which embedds all small graphs on any large set of vertices, Annals of Pure and Applied Logic.Google Scholar
  270. [Sh 262]
    Number of pairwise non-elementarily embeddable models. J. of Symb logic.Google Scholar
  271. [Sh 263]
    Semi proper forcing axiom implies Martin Maximum but not PFA + J. of Symb. Logic. Google Scholar
  272. [ShSp 264]
    S. Shelah and Y. Steprans, A. Banach space with few endomorphism Proc. A.M.S. Google Scholar
  273. [DFSh 265]
    M. Dugas, T. H. Fay and S. Shelah, Singley cogenerated annihilator classes J. of Algebra.Google Scholar
  274. [GrSh 266]
    R. Grossberg and S. Shelah, Categoricity in λ(+n) and modules in preparation.Google Scholar
  275. [Sh 267]
    Collectionwise Hausdorff — Incompactness in singular Topology and its Application.Google Scholar
  276. [HKSh 268]
    A. Hajnal, A. Kanamori and S. Shelah, Regressive partition relations for infinite cardinals, Trans. A.M.S. 299(1987) 145–154.MathSciNetCrossRefzbMATHGoogle Scholar
  277. [Sh 269]
    Gap 1 two cardinal principles and omitting type theorem for L(Q) Israel J. Math Google Scholar
  278. [Sh 270]
    Baire Irresolvable spaces and lifting for layered ideals, Topology and its Application.Google Scholar
  279. [HoSh 271]
    W. Hodges and S. Shelah, There are reasonable nice logics, J. of Symb. Logic. Google Scholar
  280. [Sh 272]
    Trivial types for undimensional superstable Proc. of the USA-Israel Symp. on Classification, Th. Chicago 12/85 ed Baldwin. Springer-Verlag lecture Notes 1987.Google Scholar
  281. [Sh 273]
    Can the fundamental group of a space be the rationals? Proceedings of the American Mathematical Soceity Google Scholar
  282. [MkSh 274]
    A. Mekler and S. Shelah, Uniformization principles J. of Symb. Logic.Google Scholar
  283. [MkSh 275]
    A. Mekler and S. Shelah, Excellency and L ∞,ω-freeness of varieties, in preparation.Google Scholar
  284. [Sh 276]
    Was Seirpinski right I? Israel J. Math. Google Scholar
  285. [GuSh 277]
    Y. Gurevich and Shelah, Almost linearity and Polinomialness in output, in preparation.Google Scholar
  286. [CCShSW 278]
    Z. Chatzidakis, G. Cherlin, S. Shelah, G. Srur and C. Wood, Nondop for differentially closed fields. Proc. of the USA-Israel Symp. in Classification Th. Chicago. ed. Baldwin, Springer-Verlag lecture notes 1987.Google Scholar
  287. [ShSt 279]
    Shelah and L. Stanley, Weakly compact cardinals and non special Aroszajn trees Proc. A.M.S. Google Scholar
  288. [Sh 280]
    Strong negative partition above the continuum. J. of Symbolic Logic Google Scholar
  289. [DrSh 281]
    Z. Drezner and S. Shelah, On the complexity of the Elzinya-Hearn Algorithm for the 1-center problem Mathematics of Operation Research.Google Scholar
  290. [Sh 282]
    Successor of singulars, productivity of chain conditions and cofinalities of reduced products of cardinals, in typing.Google Scholar
  291. [Sh 283]
    On reconstructing separable reduced p-groups with a given socle Israel J. of Math Google Scholar
  292. [Sh 284]
    Monadic logic of order revisited, in typing.Google Scholar
  293. [Sh 285]
    Categoricity for \(T \subseteq L_{\kappa _1 ,\omega }\), κ compact. in typing.Google Scholar
  294. [IhSh 286]
    J. Ihoda and S. Shelah, Q set do not necessarily have strong measure zero Proc. A.M.S. Google Scholar
  295. [BsSh 287]
    A. Blass and S. Shelah, Near coherence of filters III. A simplified consistency proof, Notre Dame J. of Formal Logic Google Scholar
  296. [Sh 288]
    Was Sierpenski right II, in typing.Google Scholar
  297. [Sh 289]
    Consisting of partitions partition theorem for graphs and models, in typing.Google Scholar
  298. [BiSh 290]
    B. Biro and S. Shelah, Isomorphic but not low base-isomorphic cylindric set algebras. J. of Symb Logic Google Scholar
  299. [MNSh 291]
    A.H. Mekler, B. Nelson and S. Shelah. A variety with solvable not uniformly solvable word problem, [ex 1/87]. J. London Math Soc. Google Scholar
  300. [IhSh 292]
    J. Ihoda and S. Shelah, Souslin-forcing, in typing.Google Scholar
  301. [ShSt 293]
    S. Shelah and L. Stanley, Partitions relations II, in preparation.Google Scholar
  302. [ShSt 294]
    S. Shelah and L. Stanley, Consistency of partition relation for cardinal in (λ,2λ) in preparation.Google Scholar
  303. [IhSh 295]
    J. Ihoda and S. Shelah, Projective measurability does not imply projective Baire, in preparation.Google Scholar
  304. [ShSp 296]
    S. Shelah and Y. Steprans. Non trivial automorphisms of βMN without the Continuum Hypothesis; Fund. Math. Google Scholar
  305. [HdSh 297]
    I. Hodkinson and S. Shelah, Building many weakly rigid pseudo-Aronszajn trees London J. of Math. Google Scholar
  306. [EkSh 298]
    P. Eklof and S. Shelah, A. calculation of injective dimension over valuation domains, Rendiconti del Seminario Matematica della Universita Padova.Google Scholar
  307. [Sh 299]
    Taxonomoy of Universal and other classes, Proc. of International Congress of Math, Berkeley 1986Google Scholar
  308. [Sh 300]
    Universal classes, Proc. of the Chicago Sym. ed Baldwin.Google Scholar
  309. [HHSh 301]
    I. Hodkinson, W. Hodges and S. Shelah, Naturality and DefinabilityGoogle Scholar
  310. [GrSh 302]
    R. Grossberg and S. Shelah, On the structure of Extp(G,Z) J. of Algebra Google Scholar
  311. [KoSh 303]
    P. Komjath and S. Shelah, Forcing construction for uncountable cromatic graphs. J. Symb. Logic Google Scholar
  312. [ShSp 304]
    S. Shelah and Joel Spencer. On zero-one laws for random graph. J. of A.M.S. Google Scholar
  313. [ShTh 305]
    S. Shelah and Simon Thomas. in preparation.Google Scholar
  314. [MkSh 306]
    A. H. Mekler and S. Shelah. 2-socle does not determine G. [dn 9/86].Google Scholar
  315. [BeSh 307]
    S. Beuchler and S. Shelah. Notes on regular types and weak decomposition for uncountable theories, in preparation.Google Scholar
  316. [IhSh 308]
    J. Ihoda and S. Shelah. Preservation theorems for forcing and completing a chart of Kunen-Miller, in typing.Google Scholar
  317. [GrSh 309]
    R. Grossberg and S. Shelah. L ∞,G characterization for strongly ℵ1-free groups.Google Scholar
  318. [GiSh 310]
    M. Gitik and S. Shelah, Cardinal preserving ideals, J. Symb. Logic Google Scholar
  319. [Sh 311]
    UP1 (I) large ideals of ω1 general preservation, in preparation.Google Scholar
  320. [GrSh 312]
    R. Grossberg and S. Shelah, Universal locally finite groups with no non inner automorphism in ZFC, in preparation.Google Scholar
  321. [MkSh 313]
    A. H. Mekler and S. Shelah, Diamonds and λ-systems, Fund Math. Google Scholar
  322. [MkSh 314]
    A. H. Mekler and S. Shelah, There are λ-free abelian groups of power λ with the dimensions of Ext p(G) arbitrary.Google Scholar
  323. [ShSp 315]
    S. Shelah and Y. Steprans, The Toronto problem, in preparation.?Google Scholar
  324. [FuSh 316]
    L. Fuchs and S. Shelah, Kaplanski problem on valuation rings, Proc. A.M.S. Google Scholar
  325. [BFSh 317]
    Becker, L. Fuchs and S. Shelah, compactness for modules.Google Scholar
  326. [MMSh 318]
    A. H. Mekler, D. Macpherson, and S. Shelah, Number of non isomorphic submodels.Google Scholar
  327. [IhSh 319]
    J. Ihoda and S. Shelah, Martin's Axioms Measurability and equiconsistency results, J. of Symb Logic Google Scholar
  328. [JSSh 320]
    J. Juhasz, L. Soukup and S. Shelah, More on countable compact locally countable spaces.Google Scholar
  329. [IhSh 321]
    J. Ihoda and S. Shelah, On Δ12-sets of reals, in typing.Google Scholar
  330. [Sh 322]
    Classification over a predicate [Acad:]Google Scholar

Copyright information

© Springer-Verlag 1987

Authors and Affiliations

  • Saharon Shelah
    • 1
    • 2
    • 3
  1. 1.Institute of MathematicsThe Hebrew UniversityJerusalemIsrael
  2. 2.Simon Fraser UniversityBritish ColumbiaCanada
  3. 3.Department of MathematicsRutgers UniversityNew BrunswickUSA

Personalised recommendations