Skip to main content

Universal classes

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.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   44.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   59.00
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Classification theory and the number of non-isomorphic models, North Holland Publ. Co., 1978 542 + xvi

    Google Scholar 

  2. Classification theory: completed for countable theories, North Holland Publ. Co, in press.

    Google Scholar 

  3. Proper forcing, Springer Lecture Notes, 940 (1982) 496 + xxix.

    Google Scholar 

  4. Stable theories, Israel J. of Math. 7 (1969), 187–202.

    Google Scholar 

  5. Note on a Mini-Max problem of Leo Moser, J. of Comb. Theory Series A,6 (1969), 298–300.

    Google Scholar 

  6. Finite diagrams stable in power, Annals of Math. Logic. 2(1970), 69–118.

    Google Scholar 

  7. On theories T categorical in |T|, J. of Symb. Logic 35 (1970), 73–82.

    Google Scholar 

  8. On language with non-homogeneous strings of quantifiers, Israel J. of Math. 8, (1970), 75–79.

    Google Scholar 

  9. A note on Hanf numbers, Pacific J. of Math 34 (1970), 539–543.

    Google Scholar 

  10. On the cardinality of ultraproducts of finite sets, J. of Symb. Logic 35 (1970), 83–84.

    Google Scholar 

  11. Two cardinal compactness, Israel J. of Math. 9 (1971), 193–198.

    Google Scholar 

  12. Remark to — "local definability theory" of Reyes, Annals of Math. Logic 2 (1971), 441–448.

    Google Scholar 

  13. 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. The number of non-almost isomorphic models of T in a power, Pacific J. of Math. 36 (1971), 811–818.

    Google Scholar 

  15. The number of non-isomorphic models of an unstable first-order theory, Israel J. of Math. 10 (1971), 473–487.

    Google Scholar 

  16. Every two elementarily equivalent models have isomorphic ultrapowers, Israel J. of Math. 10 (1971), 224–233.

    Google Scholar 

  17. Saturation of ultrapowers and Keisler's order, Annals of Math. Logic 4 (1972), 75–114.

    Google Scholar 

  18. 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. A combinatorial problem; stability and order for models and theories in infinitary languages, Pacific J. of Math. 41 (1972), 247–261.

    Google Scholar 

  20. For what filters every reduced product is saturated, Israel J. of Math. 12 (1972), 23–31.

    Google Scholar 

  21. On models with power-like orderings, J. of Symb. Logic 37 (1972), 247–267.

    Google Scholar 

  22. P. Erdos and S. Shelah, Separability propertes of almost disjoint families of sets, Israel J. of Math. 12 (1972), 207–214.

    CrossRef  MathSciNet  MATH  Google Scholar 

  23. J. Schmerl and S. Shelah, On power-like models of hyperinaccessible cardinals, J. of Symb. Logic 37 (1972), 531–537.

    CrossRef  MathSciNet  MATH  Google Scholar 

  24. 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. A note on model complete models and generic models, Proc. of A.M.S. 34 (1972), 509–514.

    Google Scholar 

  26. F. Galvin and S. Shelah, Some counterexamples in Partition Calculus, J. of Comb. Theory, Series A, 15 (1973), 167–174.

    CrossRef  MathSciNet  MATH  Google Scholar 

  27. First-order theory of the permutation groups, Israel J. of Math. 14 (1973), 149–162.

    Google Scholar 

  28. Errata to: First order theory of permutation groups, Israel J. of Math. 15 (1973), 437–441.

    Google Scholar 

  29. Notes in combinatorial set theory, Israel J. of Math. 14 (1973), 262–277.

    Google Scholar 

  30. G. Moran and S. Shelah, Size direction games over the real line III, Israel J. of Math. 14 (1973), 442–449.

    CrossRef  MathSciNet  MATH  Google Scholar 

  31. There are just four second-order quantifiers, Israel J. of Math. 15 (1973), 282–300.

    Google Scholar 

  32. A substitute for Hall theorem for families with infinite sets, J. of Comb. Theory. A 16 (1974), 199–208.

    Google Scholar 

  33. 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. 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. 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. The Hanf number of omitting complete tyes, Pacific J. of Math. 50 (1974), 163–168.

    Google Scholar 

  37. Weak definability in infinitary languages, J. of Symb. Logic 38 (1973), 339–404.

    Google Scholar 

  38. E. C. Milner and S. Shelah, Sufficiency conditions for the existence of transversals, Canadian J. of Math. 26 (1974), 948–961.

    CrossRef  MathSciNet  MATH  Google Scholar 

  39. On cardinal invariants in topology, General topology and its applications, 7 (1977), 251–259.

    Google Scholar 

  40. A two cardinal theorem, Proc. of the A.M.S. 48, (1975), 207–213.

    Google Scholar 

  41. 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. Differentially closed fields, Israel J. of Math. 16 (1973), 314–328.

    Google Scholar 

  43. 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. 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. The monadic theory of order, Annals of Math. 102 (1975), 379–419.

    Google Scholar 

  46. Generalized quantifiers and compact logic, Trans. of A.M.S. 204 (1975), 342–364.

    Google Scholar 

  47. Infinite abelian groups, Whitehead problem and some constructions, Israel J. of Math. 18 (1974), 243–256.

    Google Scholar 

  48. 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. Coloring without triangles and partition relations, Israel J. of Math. 20 (1975), 1–12.

    Google Scholar 

  50. J. A. Makowsky, S. Shelah and J. Stavi, Δ-logics and generalized quantifiers, Annals of Math. Logic 10 (1976), 155–192.

    CrossRef  MathSciNet  MATH  Google Scholar 

  51. Categorcity in N 1 of sentences of L w1, w(Q), Israel J. of Math. 20 (1975), 127–148.

    Google Scholar 

  52. A two cardinal theorem and a combinatorial theorem, Proc. of A.M.S. 62 (1977), 134–136.

    Google Scholar 

  53. Decomposing uncountable squares to countably many chains, J. of Comb. Theory, Series A, 21 (1976), 110–114.

    Google Scholar 

  54. Why there are many non-isomorphic models for unsuperstable theories, Proc. of the International Congress of Math. Vancouver, (1974), 553–557.

    Google Scholar 

  55. A compactness theorem in singular cardinals, free algebras, Whitehead problem, and transversals, Israel J. of Math. 21 (1975), 319–349.

    Google Scholar 

  56. A. Litman and S. Shelah, Models with few non-isomorphic expansions, Israel J. of Math. 28 (1977), 331–338.

    CrossRef  MathSciNet  MATH  Google Scholar 

  57. 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. A Macintyre and S. Shelah, Universal locally finite groups, J. of Algebra, 43 (1976), 168–175.

    CrossRef  MathSciNet  MATH  Google Scholar 

  59. 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. A. Amit and S. Shelah, The complete finitely axiomatized theories of order are dense, Israel J. of Math. 23 (1976), 200–208.

    CrossRef  MathSciNet  MATH  Google Scholar 

  61. Decidability of a portion of the predicate calculus, Israel J. of Math. 28 (1977), 32–44.

    Google Scholar 

  62. H. L. Hiller and S. Shelah, Singular Cohomology in L, Israel J. of Math. 26 (1977), 313–319.

    CrossRef  MathSciNet  MATH  Google Scholar 

  63. W. Hodges, A. Lachlan and S. Shelah, Possible orderings of an indiscernible sequence, Bull. of London Math. Soc. 9 (1977), 212–215.

    CrossRef  MathSciNet  MATH  Google Scholar 

  64. 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. J. A. Makowsky and S. Shelah, The theorems of Beth and Craig in abstract logic I, Trans. A.M.S. 256 (1979), 215–239.

    MathSciNet  MATH  Google Scholar 

  66. S. Shelah and J. Stern, The Hanf number of the first-order theory of Banach spaces, Trans. A.M.S. 244 (1978), 147–171.

    CrossRef  MathSciNet  MATH  Google Scholar 

  67. Whitehead groups may not be free even assuming CH, I, Israel J. of Math. 28 (1977), 193–203.

    Google Scholar 

  68. K. Devlin and S. Shelah, A weak form of the diamond which follows from 2N0<2N1, Israel J. of Math. 29 (1978), 239–247.

    CrossRef  MathSciNet  Google Scholar 

  69. End extensions and number of non-isomorphic models, J. of Symb. Logic, 43 (1978), 556–562.

    Google Scholar 

  70. On the number of minimal models, J. of Symb. Logic, 43 (1978), 475–480.

    Google Scholar 

  71. Jonsson algebras in successor cardinals, Israel J. of Math., 30 (1978), 57–64.

    Google Scholar 

  72. 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. Y. Gurevich and S. Shelah, Modest theory of short chains II, J. of Symb. Logic, 44 (1979), 491–502.

    CrossRef  MathSciNet  MATH  Google Scholar 

  74. A note on cardinal exponeniation, J. of Symb. Logic, 45 (1980), 56–66.

    Google Scholar 

  75. Models with second order properties I, Boolean Algebras with no undefinable automorphisms, Annals of Math. Logic 14 (1978), 57–72.

    Google Scholar 

  76. Models with second order properties II, On trees with no undefinable branches, Annals of Math. Logic, 14 (1978), 73–87.

    Google Scholar 

  77. Appendix, Models with second order properties II: Vaught two-cardinal theorem revisited. Annals of Math. Logic, 14 (1978), 223–226.

    Google Scholar 

  78. A Banach Space with few operators, Israel J. of Math. 30 (1978), 181–191.

    Google Scholar 

  79. Independence of strong partition relations for small cardinals, and the free subset problem, J. of Symb. Logic, 45 (1980), 505–509.

    Google Scholar 

  80. 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. Hanf number of omitting types for simple first-order theories, J. of Symb. Logic, 44 (1979), 319–324.

    Google Scholar 

  82. On uniqueness of prime models, J. of Symb. Logic, 44 (1979), 215–220.

    Google Scholar 

  83. A weak generalization of MA to higher cardinals, Israel J. of Math. 30 (1978), 297–306.

    Google Scholar 

  84. 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.

    CrossRef  MathSciNet  MATH  Google Scholar 

  85. 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. 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.

    MathSciNet  MATH  Google Scholar 

  87. 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.

    CrossRef  MathSciNet  MATH  Google Scholar 

  88. K. Devlin and S. Shelah, A note on the normal Moore space conjecture, Canad. J. of Math., vol. XXXI (1979), 241–251.

    CrossRef  MathSciNet  MATH  Google Scholar 

  89. K. Devlin and S. Shelah, Souslin properties and tree topologies, Bull. of London Math. Soc., (3) 39(1979), 537–552.

    MathSciNet  MATH  Google Scholar 

  90. 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–273

    Google Scholar 

  91. 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. Boolean Algebras with few endomorphisms, Proc. of A.M.S., 14 (1979), 135–142.

    Google Scholar 

  93. Remarks on λ-collectionwise Hausdorf spaces, Topology Proceedings, 2 (1977), 583–592.

    Google Scholar 

  94. H. Hiller, M. Huber, and S. Shelah, The Structure of Ext(A, Z) and V=L, Math. Zeitschrift, 162 (1978), 39–50.

    CrossRef  MathSciNet  MATH  Google Scholar 

  95. Remarks on Boolean algebras, Algebra Universalis, 11 (1980), 77–89.

    Google Scholar 

  96. Simple Unstable Theories, Annals of Math. Logic. 19 (1980), 177–204.

    Google Scholar 

  97. Weakly compact cardinals, a combinatorial proof, J. of Symb. Logic, 44 (1979), 559–562.

    Google Scholar 

  98. Canonization theorems and applications, J. of Symb. Logic, 46 (1981), 345–353.

    Google Scholar 

  99. S. Shelah and M. Ziegler, Algebraically closed groups of large cardinality, J. of Symb. Logic, 44 (1979), 522–532.

    CrossRef  MathSciNet  MATH  Google Scholar 

  100. 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.

    MathSciNet  Google Scholar 

  101. Whitehead groups may not be free even assuming CH, II, Israel J. of Math. 35 (1980), 257–285.

    Google Scholar 

  102. 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–188

    CrossRef  MathSciNet  MATH  Google Scholar 

  103. Independence results, J. of Symb. Logic, 45 (1980), 563–573.

    Google Scholar 

  104. 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.

    CrossRef  MathSciNet  MATH  Google Scholar 

  105. U. Avraham and S. Shelah, Forcing with stable posets, J. of Symb. Logic, 47 (1982), 37–42.

    CrossRef  MathSciNet  MATH  Google Scholar 

  106. D. Fremlin and S. Shelah, On partitions of the real line, Israel J. of Math. 32 (1979), 299–304.

    CrossRef  MathSciNet  MATH  Google Scholar 

  107. R. Laver and S. Shelah, The ℵ2-Souslin hypothesis, Trans. of A.M.S. 264 (1981), 411–417.

    MathSciNet  MATH  Google Scholar 

  108. On uncountable abelian groups, Israel J. of Math. 32 (1979), 311–330.

    Google Scholar 

  109. 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.

    CrossRef  MathSciNet  MATH  Google Scholar 

  110. Models with second order properties IV, A general method and eliminating diamonds, Annals. of Math. Logic. 25 (1983) 183–212.

    Google Scholar 

  111. 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. W. Hodges and S. Shelah, Infinite reduced products, Annals of Math. Logic 20 (1981), 77–108.

    CrossRef  MathSciNet  MATH  Google Scholar 

  113. Better quasi order for uncountable cardinals, Israel J.of Math. 42 (1982), 177–226

    Google Scholar 

  114. On powers of singular cardinals, Notre Dame J. of Formal Logic 27, (1986) 263–299

    Google Scholar 

  115. 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.

    CrossRef  MathSciNet  MATH  Google Scholar 

  116. J.A. Makowsky and S. Shelah, The theorems of Beth and Craig in abstract model theory III, in preparation.

    Google Scholar 

  117. U. Abraham and S. Shelah, Isomorphism of Aronszajn trees, independence results, Israel J. Math. 50 (1985) 75–113

    CrossRef  MathSciNet  MATH  Google Scholar 

  118. G. Cherlin and S. Shelah, Superstable fields and groups, Annals of Math Logic. [BSF] 18 (1980), 227–280.

    CrossRef  MathSciNet  MATH  Google Scholar 

  119. 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.

    CrossRef  MathSciNet  MATH  Google Scholar 

  120. 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.

    CrossRef  MathSciNet  MATH  Google Scholar 

  121. M. Rubin and S. Shelah, On the expressibility hierarchy of Magidor-Malitz quantifiers, J. of Symb. Logic. 48 (1983), 542–559.

    CrossRef  MathSciNet  MATH  Google Scholar 

  122. Iterated forcing and changing cofinalities I, Israel J. of Math. 40 (1981), 1–32.

    Google Scholar 

  123. Free limits and Aronszajn trees, Israel J. of Math. 38 (1981), 315–334.

    Google Scholar 

  124. 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.

    CrossRef  MathSciNet  MATH  Google Scholar 

  125. On Fleissner diamond, Notre Dame J. of Formal Logic, 22 (1981), 29–35.

    Google Scholar 

  126. Y. Gurevich and S. Shelah, Monadic theory of order and topology in Z.F.C. Annals of Math Logic, 23, (1982), 179–198.

    CrossRef  MathSciNet  MATH  Google Scholar 

  127. ω may have a strong partition relation. Israel J. of Math. 38 (1981), 283–288.

    Google Scholar 

  128. Consistency of Ext(G, Z)=Q, Israel J. of Math. 39 (1981), 74–82.

    Google Scholar 

  129. On saturation for a predicate, Notre Dame J. of Formal Logic, 22 (1981), 239–248.

    Google Scholar 

  130. 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. Uncountable constructions, Israel J. of Math. 51(1985) 273–297

    Google Scholar 

  132. 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. A. Pillay and S. Shelah, Classification over a predicate I Notre Dame. J. of Formal Logic. 26(1985) 361–376

    CrossRef  MathSciNet  MATH  Google Scholar 

  134. The spectrum problem I, ℵ-saturated models the main gap, Israel J. of Math. 43 (1982), 324–356.

    Google Scholar 

  135. The spectrum problem II, Totally transcendetal theories and the infinite depth case. Israel J. of Math. 43 (1982), 357–364.

    Google Scholar 

  136. 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. 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. A. Glass, Y. Gurevich, C. Holland and S. Shelah, Rigid homogeneous chains, Math. Proc. of the Cambridge Philo. Soc. 89 (1981), 7–17.

    CrossRef  MathSciNet  MATH  Google Scholar 

  139. Constructions of many complicated uncountable structures and Boolean algebras, Israel J. of Math. 45 (1983), 100–146.

    Google Scholar 

  140. 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. G. Sageev and S. Shelah, On the structure of Ext(A, Z) in ZFC +, J. of Symb. Logic, 50(1985) 302–315

    CrossRef  MathSciNet  MATH  Google Scholar 

  142. On the number of non-conjugate subgroups, Algebra Universalis, 16 (1983), 131–146.

    Google Scholar 

  143. On endo-rigid strongly ℵ1-free abelian groups in ℵ1, Israel J. of Math. 40 (1981) 291–295.

    Google Scholar 

  144. Y. Gurevich, M. Magidor and S. Shelah, The monadic theory of ω2, J. of Symb. Logic, 48 (1983), 387–398.

    CrossRef  MathSciNet  MATH  Google Scholar 

  145. J. Baldwin and S. Shelah, The structure of saturated free algebras, Algebra Universalis, A volume in honour of Tarski 17,(1983),191–199.

    CrossRef  MathSciNet  MATH  Google Scholar 

  146. 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.

    MathSciNet  MATH  Google Scholar 

  147. 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.

    MathSciNet  MATH  Google Scholar 

  148. 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.

    MathSciNet  MATH  Google Scholar 

  149. U. Avraham and S. Shelah, Forcing closed unbounded sets, J. of Symb. Logic, 48 (1983), 643–657.

    CrossRef  MathSciNet  MATH  Google Scholar 

  150. L. Harrington and S. Shelah, On the undecidability of the lattice of r.e. degrees, Bull. A.M.S., 6(1982), 79–80.

    CrossRef  MathSciNet  MATH  Google Scholar 

  151. 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. S. D. Friedman and S. Shelah, Tall α-Recursive structure, Proc. A.M.S., 88(1983), 672–678.

    MathSciNet  MATH  Google Scholar 

  153. M. Kaufman and S. Shelah, The Hanf number of stationary logic, Notre Dame J. of Formal Logic, 27(1986) 111–123.

    CrossRef  MathSciNet  MATH  Google Scholar 

  154. Y. Gurevich and S. Shelah, Interpretating the second order logic in the monadic theory of order, J. Symb. Logic, 48, (1983), 816–828.

    CrossRef  MathSciNet  MATH  Google Scholar 

  155. 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. 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–206

    CrossRef  MathSciNet  Google Scholar 

  157. S. Shelah and L. Stanley, Generalized Martin Axion and the Souslin Hypothesis for higher cardinality. Israel J. of Math. 43(1982), 225–236.

    CrossRef  MathSciNet  Google Scholar 

  158. 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.

    CrossRef  MathSciNet  Google Scholar 

  159. The spectrum problem III, Universal theorem, Israel J. of Math. 55 (1986) 229–256.

    Google Scholar 

  160. 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.

    CrossRef  MathSciNet  Google Scholar 

  161. 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.

    MathSciNet  MATH  Google Scholar 

  162. 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.

    MathSciNet  MATH  Google Scholar 

  163. S. Shelah and H. Woodin, Forcing the failure of CH. Journal Symb. Logic. 49, (1984), 1185–1189.

    CrossRef  MathSciNet  MATH  Google Scholar 

  164. W. Hodges and S. Shelah, Naturality and definability. J. London Math. Soc. 23 (1986) 1–12

    CrossRef  MathSciNet  MATH  Google Scholar 

  165. Incompactness in regular cardinals. Notre Dame J. of Formal Logic, 26(1985) 195–228.

    Google Scholar 

  166. Models with second order properties V: A General principle. Annals of Pure and Applied Logic,

    Google Scholar 

  167. 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. M. Jarden and S. Shelah, Pseudo-algebraically closed fields over rational function fields, Proc. of A.M.S., 87 (1983), 223–228.

    MathSciNet  MATH  Google Scholar 

  169. S. Shelah and B. Weiss, Measurable recurrence and quasi-invariant measures, Israel J. of Math. 43 (1982), 154–160.

    CrossRef  MathSciNet  MATH  Google Scholar 

  170. 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.

    CrossRef  MathSciNet  Google Scholar 

  171. S. Shelah and L. Stanley, S. forcing IIa: Adding diamonds and more applications, Archangelsci's problem and h(Q <11 ,Q 12 ), 56 (1986) 1–65.

    MathSciNet  MATH  Google Scholar 

  172. Y. Gurevich and S. Shelah, On the strength of the interpretation method J. of Symb. Logic,

    Google Scholar 

  173. P.E. Eklof, A.H. Mekler and S. Shelah, On strongly non reflexive groups Israel J. Math.

    Google Scholar 

  174. 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. 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. 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. 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. R. Grossberg and S. Shelah, On universal locally finite groups, Israel J. of Math. 44, (1983), 289–302.

    CrossRef  MathSciNet  MATH  Google Scholar 

  179. On Universal graphs without instances of CH. Annals of Pure and Applied Logic, 26, (1984), 75–87.

    Google Scholar 

  180. Universal graphs without instances of CH.

    Google Scholar 

  181. Can you take Solovay inaccessible away? Israel J. of Math. 48, (1984), 1–47.

    Google Scholar 

  182. More on proper forcing, J. of Symb. Logic. 49, (1984), 1035–1038.

    Google Scholar 

  183. Y. Gurevich and S. Shelah, Random models and the Godel case of the decision problem. J.of Symb. Logic, 43 (1983), 1120–1124

    CrossRef  MathSciNet  MATH  Google Scholar 

  184. S. Shelah and C. Steinhorn, On the axiomatizability by finitely many schemes, Notre Dame J. of Formal Logic, 27 (1986) 1–11.

    CrossRef  MathSciNet  MATH  Google Scholar 

  185. S. Shelah and C. Steinhorn, The non-axiomatizability of L(Q M2 ), in Notre Dame J. of Formal Logic,

    Google Scholar 

  186. M. Kaufman and S. Shelah, A non conservativity result on global choice, Annals of Pure and Applied Logic, 27, (1984), 209–214.

    CrossRef  MathSciNet  Google Scholar 

  187. U. Abraham and S. Shelah, On the intersection of closed unbounded sets, J. of Symb. Logic, 51(1986) 180–189.

    CrossRef  MathSciNet  MATH  Google Scholar 

  188. Y. Gurevich and S. Shelah, Rabin's uniformization problem, J. of Symb. Logic, 48 (1983), 1105–1119

    CrossRef  MathSciNet  MATH  Google Scholar 

  189. 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.

    CrossRef  MathSciNet  MATH  Google Scholar 

  190. Lifting problem of the measure algebra, Israel J. of Math. 45 (1983), 90–96.

    Google Scholar 

  191. Diamonds and Uniformization, J. of Symb. Logic, 49(1984) 1022–1033.

    Google Scholar 

  192. A.H. Mekler and S. Shelah, Stationary Logic and its friends II. Notre Dame J. of Formal Logic, 27(1986) 39–50.

    CrossRef  MathSciNet  MATH  Google Scholar 

  193. A pair of non-isomorphic models of power λ for λ singular with λω=λ. Notre Dame J. of Formal Logic, 25(1984) 97–104.

    Google Scholar 

  194. 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. R. Gobel and S. Shelah, Semi-rigid classes of co-torsion free abelian groups, J. of Algebra. 93(1985)136–150.

    CrossRef  MathSciNet  MATH  Google Scholar 

  196. M. Gitik and S. Shelah, On the Ī condition. Israel J. of Math. 48, (1984), 148–157.

    CrossRef  MathSciNet  MATH  Google Scholar 

  197. On the number of non conjugate subgroups. Annals of Pure and Applied Logic,

    Google Scholar 

  198. D. Lehmann and S. Shelah, Reasoning with time and chance, Information and Control. 53 (1982) 165–198.

    CrossRef  MathSciNet  MATH  Google Scholar 

  199. 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.

    CrossRef  MathSciNet  MATH  Google Scholar 

  200. 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.

    CrossRef  MathSciNet  MATH  Google Scholar 

  201. 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.

    CrossRef  MathSciNet  MATH  Google Scholar 

  202. Monadic Logic: Hanf numbers, Springer Verlag Lecture Notes, 1182(1986) 203–223.

    Google Scholar 

  203. J. Makowsky and S. Shelah, Categority in ℵ1 for L (P.) in preparation.

    Google Scholar 

  204. Remarks in abstract model theory, Annals of Pure and Applied Logic. 29(1985) 255–288.

    Google Scholar 

  205. Classification of first order theories which have a structure theory, Bulletin of A.M.S. 12(1985)227–232.

    Google Scholar 

  206. M. Kaufman and S. Shelah, On random models of finite power and monadic logic, J. Symb. Logic. 54(1985)285–293.

    MathSciNet  MATH  Google Scholar 

  207. On co κ-Souslin relations, Israel J. of Math. 47 (1984), 139–153

    Google Scholar 

  208. S.Ben-David and S. Shelah, Trees on successor of singular cardinals, Annals of Pure and Applied Logic,

    Google Scholar 

  209. M. Magidor, and S.Shelah, Compactness in successor of regular, in preparation

    Google Scholar 

  210. Monadic Logic: Lowenheim Numbers, Annals of Pure and Applied Logic, 28(1985)203–216.

    Google Scholar 

  211. Partition of a topological space to two homomorphic rigid spaces, Israel J. of Math.

    Google Scholar 

  212. 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. On Weak Diamond, Annals of Pure and Applied Logic, 28 (1985) 315–318.

    Google Scholar 

  214. S. Shelah and S. Todorcervic, A note on small Baire spaces, Canadian J. Math, 38 (1986) 659–665.

    CrossRef  MathSciNet  MATH  Google Scholar 

  215. R. Bonnet and S. Shelah, Narrow Boolean Algebras, Annals of Pure and Applied Logic. 28, (1985),1–12.

    CrossRef  MathSciNet  MATH  Google Scholar 

  216. Stationary logic II: Comparison with other logics, Notre Dame J. of Formal Logic,

    Google Scholar 

  217. The existence of coding sets, Springer-Verlag Lecture Notes Volume, 1182(1986) 188–202.

    Google Scholar 

  218. L. Deneberg, Y. Gurevich and S. Shelah, Cardinals defined by constant depth polynomial size circuits, Information and Control 70(1986) 216–240.

    CrossRef  MathSciNet  Google Scholar 

  219. A. H. Mekler and S. Shelah, On ω-elongations and Crawly's problem, Pacific J. of Math,

    Google Scholar 

  220. A. H. Mekler and S. Shelah, The solution to Crawly's problem, Pacific J. Math 121(1986) 133–134.

    CrossRef  MathSciNet  MATH  Google Scholar 

  221. D. Marker, L. Harrington and S. Shelah, Dilworth theorem for Borel orderings, Trans A.M.S.

    Google Scholar 

  222. C. Holland, A Mekler and S. Shelah, lawless orders, Order 1(1985)383–397.

    CrossRef  MathSciNet  MATH  Google Scholar 

  223. 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. G. Sageev and S. Shelah, Notherian ring with free additive groups, Abstract A.M.S. (1986).

    Google Scholar 

  225. On Measure and Category, Israel J. of Math. 52(1985)110–114.

    Google Scholar 

  226. R. Gobel and S. Shelah, Modules over arbitrary domains, I Math-Zeitscift, 188, (1985), 325–337.

    CrossRef  MathSciNet  MATH  Google Scholar 

  227. 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. 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. 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.

    CrossRef  MathSciNet  MATH  Google Scholar 

  230. M. Droste and S. Shelah, On the universality of systems of words in permutation groups, Pacific J. Math.

    Google Scholar 

  231. R. Gobel and S. Shelah, Modules over arbitrary domains II

    Google Scholar 

  232. On the numbers of strongly ℵ-saturated models of power λ. Annals of Pure and Applied Logic,.

    Google Scholar 

  233. M. Foreman, M. Magidor and S. Shelah, On 0# and some forcing principles, J. of Symb. Logic 51(1986) 39–46.

    CrossRef  MathSciNet  MATH  Google Scholar 

  234. 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. On the no (M) for M of singular power. A Springer-Verlag Lecture Notes Volume, vol.1182 (1986) 120–134.

    Google Scholar 

  236. Existence of endo rigid Boolean algebras. A Springer-Verlag Lecture Notes Volume, 1182 (1986) 91–119.

    Google Scholar 

  237. Y. Gurevich and S. Shelah, The decision problem for branching time logic, J. Symb. Logic, 50 (1985), 181–198.

    CrossRef  MathSciNet  MATH  Google Scholar 

  238. I. Juhasz and S. Shelah, How large can a hereditary separable or hereditary Lindelof space be. Israel J. of Math. 53(1986)355–364.

    CrossRef  MathSciNet  MATH  Google Scholar 

  239. Non standard uniserial module over a uniserial domain exists, Springer-Verlag Lecture Notes Volume, vol 1182(1986)135–150.

    Google Scholar 

  240. 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. Classification over a predicate II, A Springer-Verlag Lecture Notes Volume, vol 1182(1986) 1–46.

    Google Scholar 

  242. S. Shelah and A Soife, Two problems on ℵ0-indecomposable abelian groups, J. of Algebra, 99 (1986), 359–369.

    CrossRef  MathSciNet  Google Scholar 

  243. S. Ben David and S. Shelah, Non special Aronszajn trees on ℵω+1 Israel J. of Math., 53(1986)93–96.

    CrossRef  MATH  Google Scholar 

  244. 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. 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.

    MathSciNet  MATH  Google Scholar 

  246. S. Shelah and A. Soife, Countable ℵ0-indecomposable mix abelian groups of finite torsion free rank, J. of Algebra 100 (1986), 421–429.

    CrossRef  Google Scholar 

  247. M. Foreman, M. Magidor, and S. Shelah, Martin Maximum, saturated ideals and non-regular ultrafilters, Part I. Annals of Math.

    Google Scholar 

  248. S. Shelah and H. Woodin, Large cardinals implies every reasonably definable set is measurable, Israel J. Math.

    Google Scholar 

  249. 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.

    CrossRef  MathSciNet  MATH  Google Scholar 

  250. Y. Gurevich and S. Shelah, Expected computation time for Hamiltonean paths. SIAM J. on Computing.

    Google Scholar 

  251. 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. Y. Gurevich and S. Shelah, The fix point extensions of first order logic Annals of Pure and Applied Logic 32 (1986) 265–280.

    CrossRef  MathSciNet  MATH  Google Scholar 

  253. 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. K. Compton and S. Shelah, A convergence theorem for random unary function, in preparation.

    Google Scholar 

  255. More on stationary coding [dn fl 84, tp wt 85] Springer Verlag Lecture Notes, vol 1182(1986)224–246.

    Google Scholar 

  256. S.Ben David and S. Shelah, The two-cardinals transfer property and resurrection of supercompactness

    Google Scholar 

  257. A. Hajnal, I. Juhasz and S. Shelah, Splitting strongly almost disjoint families, Trans. of A.M.S. 295(1986) 369–387.

    CrossRef  MathSciNet  MATH  Google Scholar 

  258. Notes on Iterated Forcing Notre Dame J. of Formal Logic.

    Google Scholar 

  259. A.H. Mekler and S. Shelah, Does κ-free implies strongly κ-free? Proc. of the conference on Abelian Groups, Oberwolfach.

    Google Scholar 

  260. M. Foreman, M. Magidor and S. Shelah, Martin Maximum saturated ideal and non regular ultrafilters, Part II Annals of Math

    Google Scholar 

  261. Iterated Forcing and normal ideals on ω1 Israel J. Math.

    Google Scholar 

  262. J. E. Baumgartner and S. Shelah, Remarks on superatomic Boolean Algebra, Annal of Pure and Applied logic 33(1987) 109–130.

    CrossRef  MathSciNet  MATH  Google Scholar 

  263. P. Eklof and S.Shelah, On groups A such that AZ nA, Proc. of the symp. on Abelian Groups in Oberwolfach.

    Google Scholar 

  264. More on power of singular cardinals Israel J. Math, to appear.

    Google Scholar 

  265. A. Blass and S. Shelah, Ultrafilter with small generating sets. Israel J. Math

    Google Scholar 

  266. S. Shelah and L. Stanley, A theorem and some consistency results in partition calculus, Annal of Pure and Applied Logic

    Google Scholar 

  267. 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. S. Shelah and Y. Steprans, Extraspecial p-group Annals of Pure and Applied Logic

    Google Scholar 

  269. A graph which embedds all small graphs on any large set of vertices, Annals of Pure and Applied Logic.

    Google Scholar 

  270. Number of pairwise non-elementarily embeddable models. J. of Symb logic.

    Google Scholar 

  271. Semi proper forcing axiom implies Martin Maximum but not PFA + J. of Symb. Logic.

    Google Scholar 

  272. S. Shelah and Y. Steprans, A. Banach space with few endomorphism Proc. A.M.S.

    Google Scholar 

  273. M. Dugas, T. H. Fay and S. Shelah, Singley cogenerated annihilator classes J. of Algebra.

    Google Scholar 

  274. R. Grossberg and S. Shelah, Categoricity in λ(+n) and modules in preparation.

    Google Scholar 

  275. Collectionwise Hausdorff — Incompactness in singular Topology and its Application.

    Google Scholar 

  276. A. Hajnal, A. Kanamori and S. Shelah, Regressive partition relations for infinite cardinals, Trans. A.M.S. 299(1987) 145–154.

    CrossRef  MathSciNet  MATH  Google Scholar 

  277. Gap 1 two cardinal principles and omitting type theorem for L(Q) Israel J. Math

    Google Scholar 

  278. Baire Irresolvable spaces and lifting for layered ideals, Topology and its Application.

    Google Scholar 

  279. W. Hodges and S. Shelah, There are reasonable nice logics, J. of Symb. Logic.

    Google Scholar 

  280. 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. Can the fundamental group of a space be the rationals? Proceedings of the American Mathematical Soceity

    Google Scholar 

  282. A. Mekler and S. Shelah, Uniformization principles J. of Symb. Logic.

    Google Scholar 

  283. A. Mekler and S. Shelah, Excellency and L ∞,ω-freeness of varieties, in preparation.

    Google Scholar 

  284. Was Seirpinski right I? Israel J. Math.

    Google Scholar 

  285. Y. Gurevich and Shelah, Almost linearity and Polinomialness in output, in preparation.

    Google Scholar 

  286. 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. Shelah and L. Stanley, Weakly compact cardinals and non special Aroszajn trees Proc. A.M.S.

    Google Scholar 

  288. Strong negative partition above the continuum. J. of Symbolic Logic

    Google Scholar 

  289. 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. Successor of singulars, productivity of chain conditions and cofinalities of reduced products of cardinals, in typing.

    Google Scholar 

  291. On reconstructing separable reduced p-groups with a given socle Israel J. of Math

    Google Scholar 

  292. Monadic logic of order revisited, in typing.

    Google Scholar 

  293. Categoricity for \(T \subseteq L_{\kappa _1 ,\omega }\), κ compact. in typing.

    Google Scholar 

  294. J. Ihoda and S. Shelah, Q set do not necessarily have strong measure zero Proc. A.M.S.

    Google Scholar 

  295. A. Blass and S. Shelah, Near coherence of filters III. A simplified consistency proof, Notre Dame J. of Formal Logic

    Google Scholar 

  296. Was Sierpenski right II, in typing.

    Google Scholar 

  297. Consisting of partitions partition theorem for graphs and models, in typing.

    Google Scholar 

  298. B. Biro and S. Shelah, Isomorphic but not low base-isomorphic cylindric set algebras. J. of Symb Logic

    Google Scholar 

  299. 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. J. Ihoda and S. Shelah, Souslin-forcing, in typing.

    Google Scholar 

  301. S. Shelah and L. Stanley, Partitions relations II, in preparation.

    Google Scholar 

  302. S. Shelah and L. Stanley, Consistency of partition relation for cardinal in (λ,2λ) in preparation.

    Google Scholar 

  303. J. Ihoda and S. Shelah, Projective measurability does not imply projective Baire, in preparation.

    Google Scholar 

  304. S. Shelah and Y. Steprans. Non trivial automorphisms of βMN without the Continuum Hypothesis; Fund. Math.

    Google Scholar 

  305. I. Hodkinson and S. Shelah, Building many weakly rigid pseudo-Aronszajn trees London J. of Math.

    Google Scholar 

  306. P. Eklof and S. Shelah, A. calculation of injective dimension over valuation domains, Rendiconti del Seminario Matematica della Universita Padova.

    Google Scholar 

  307. Taxonomoy of Universal and other classes, Proc. of International Congress of Math, Berkeley 1986

    Google Scholar 

  308. Universal classes, Proc. of the Chicago Sym. ed Baldwin.

    Google Scholar 

  309. I. Hodkinson, W. Hodges and S. Shelah, Naturality and Definability

    Google Scholar 

  310. R. Grossberg and S. Shelah, On the structure of Extp(G,Z) J. of Algebra

    Google Scholar 

  311. P. Komjath and S. Shelah, Forcing construction for uncountable cromatic graphs. J. Symb. Logic

    Google Scholar 

  312. S. Shelah and Joel Spencer. On zero-one laws for random graph. J. of A.M.S.

    Google Scholar 

  313. S. Shelah and Simon Thomas. in preparation.

    Google Scholar 

  314. A. H. Mekler and S. Shelah. 2-socle does not determine G. [dn 9/86].

    Google Scholar 

  315. S. Beuchler and S. Shelah. Notes on regular types and weak decomposition for uncountable theories, in preparation.

    Google Scholar 

  316. J. Ihoda and S. Shelah. Preservation theorems for forcing and completing a chart of Kunen-Miller, in typing.

    Google Scholar 

  317. R. Grossberg and S. Shelah. L ∞,G characterization for strongly ℵ1-free groups.

    Google Scholar 

  318. M. Gitik and S. Shelah, Cardinal preserving ideals, J. Symb. Logic

    Google Scholar 

  319. UP1 (I) large ideals of ω1 general preservation, in preparation.

    Google Scholar 

  320. R. Grossberg and S. Shelah, Universal locally finite groups with no non inner automorphism in ZFC, in preparation.

    Google Scholar 

  321. A. H. Mekler and S. Shelah, Diamonds and λ-systems, Fund Math.

    Google Scholar 

  322. A. H. Mekler and S. Shelah, There are λ-free abelian groups of power λ with the dimensions of Ext p (G) arbitrary.

    Google Scholar 

  323. S. Shelah and Y. Steprans, The Toronto problem, in preparation.?

    Google Scholar 

  324. L. Fuchs and S. Shelah, Kaplanski problem on valuation rings, Proc. A.M.S.

    Google Scholar 

  325. Becker, L. Fuchs and S. Shelah, compactness for modules.

    Google Scholar 

  326. A. H. Mekler, D. Macpherson, and S. Shelah, Number of non isomorphic submodels.

    Google Scholar 

  327. J. Ihoda and S. Shelah, Martin's Axioms Measurability and equiconsistency results, J. of Symb Logic

    Google Scholar 

  328. J. Juhasz, L. Soukup and S. Shelah, More on countable compact locally countable spaces.

    Google Scholar 

  329. J. Ihoda and S. Shelah, On Δ 21 -sets of reals, in typing.

    Google Scholar 

  330. Classification over a predicate [Acad:]

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 1987 Springer-Verlag

About this paper

Cite this paper

Shelah, S. (1987). Universal classes. In: Baldwin, J.T. (eds) Classification Theory. Lecture Notes in Mathematics, vol 1292. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0082242

Download citation

  • DOI: https://doi.org/10.1007/BFb0082242

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18674-8

  • Online ISBN: 978-3-540-48049-5

  • eBook Packages: Springer Book Archive