Classification Theory pp 264-418 | Cite as

# Universal classes

Conference paper

First Online:

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

## References

- [Sh]=[Sh A1]Classification theory and the number of non-isomorphic models, North Holland Publ. Co., 1978 542 + xviGoogle Scholar
- [Sh A1a]Classification theory: completed for countable theories, North Holland Publ. Co, in press.Google Scholar
- [ShA 2]Proper forcing, Springer Lecture Notes, 940 (1982) 496 + xxix.Google Scholar
- [Sh 1]Stable theories,
*Israel J. of Math.*7 (1969), 187–202.Google Scholar - [Sh 2]Note on a Mini-Max problem of Leo Moser,
*J. of Comb. Theory*Series A,6 (1969), 298–300.Google Scholar - [Sh 3]Finite diagrams stable in power,
*Annals of Math. Logic.*2(1970), 69–118.Google Scholar - [Sh 4]
- [Sh 5]On language with non-homogeneous strings of quantifiers,
*Israel J. of Math.*8, (1970), 75–79.Google Scholar - [Sh 6]A note on Hanf numbers,
*Pacific J. of Math*34 (1970), 539–543.Google Scholar - [Sh 7]On the cardinality of ultraproducts of finite sets,
*J. of Symb. Logic*35 (1970), 83–84.Google Scholar - [Sh 8]Two cardinal compactness,
*Israel J. of Math.*9 (1971), 193–198.Google Scholar - [Sh 9]Remark to — "local definability theory" of Reyes,
*Annals of Math. Logic*2 (1971), 441–448.Google Scholar - [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 - [Sh 11]The number of non-almost isomorphic models of
*T*in a power,*Pacific J. of Math.*36 (1971), 811–818.Google Scholar - [Sh 12]The number of non-isomorphic models of an unstable first-order theory,
*Israel J. of Math. 10 (1971), 473–487*.Google Scholar - [Sh 13]Every two elementarily equivalent models have isomorphic ultrapowers,
*Israel J. of Math.*10 (1971), 224–233.Google Scholar - [Sh 14]Saturation of ultrapowers and Keisler's order,
*Annals of Math. Logic*4 (1972), 75–114.Google Scholar - [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 - [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 - [Sh 17]For what filters every reduced product is saturated,
*Israel J. of Math.*12 (1972), 23–31.Google Scholar - [Sh 18]On models with power-like orderings,
*J. of Symb. Logic*37 (1972), 247–267.Google Scholar - [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 - [ScSh 20]J. Schmerl and S. Shelah, On power-like models of hyperinaccessible cardinals,
*J. of Symb. Logic*37 (1972), 531–537.MathSciNetCrossRefzbMATHGoogle Scholar - [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 - [Sh 22]A note on model complete models and generic models,
*Proc. of A.M.S.*34 (1972), 509–514.Google Scholar - [GlSh 23]F. Galvin and S. Shelah, Some counterexamples in Partition Calculus,
*J. of Comb. Theory*, Series A, 15 (1973), 167–174.MathSciNetCrossRefzbMATHGoogle Scholar - [Sh 24]First-order theory of the permutation groups,
*Israel J. of Math.*14 (1973), 149–162.Google Scholar - [Sh 25]Errata to: First order theory of permutation groups,
*Israel J. of Math.*15 (1973), 437–441.Google Scholar - [Sh 26]Notes in combinatorial set theory,
*Israel J. of Math.*14 (1973), 262–277.Google Scholar - [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 - [Sh 28]There are just four second-order quantifiers,
*Israel J. of Math.*15 (1973), 282–300.Google Scholar - [Sh 29]A substitute for Hall theorem for families with infinite sets,
*J. of Comb. Theory*. A 16 (1974), 199–208.Google Scholar - [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 - [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 - [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 - [Sh 33]The Hanf number of omitting complete tyes,
*Pacific J. of Math.*50 (1974), 163–168.Google Scholar - [Sh 34]Weak definability in infinitary languages,
*J. of Symb. Logic*38 (1973), 339–404.Google Scholar - [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 - [Sh 36]On cardinal invariants in topology,
*General topology and its applications*, 7 (1977), 251–259.Google Scholar - [Sh 37]A two cardinal theorem,
*Proc. of the A.M.S.*48, (1975), 207–213.Google Scholar - [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 - [Sh 39]Differentially closed fields,
*Israel J. of Math.*16 (1973), 314–328.Google Scholar - [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 - [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 - [Sh 42]The monadic theory of order,
*Annals of Math.*102 (1975), 379–419.Google Scholar - [Sh 43]Generalized quantifiers and compact logic,
*Trans. of A.M.S.*204 (1975), 342–364.Google Scholar - [Sh 44]Infinite abelian groups, Whitehead problem and some constructions,
*Israel J. of Math.*18 (1974), 243–256.Google Scholar - [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 - [Sh 46]Coloring without triangles and partition relations,
*Israel J. of Math.*20 (1975), 1–12.Google Scholar - [MShS 47]J. A. Makowsky, S. Shelah and J. Stavi, Δ-logics and generalized quantifiers,
*Annals of Math. Logic*10 (1976), 155–192.MathSciNetCrossRefzbMATHGoogle Scholar - [Sh 48]Categorcity in
*N*_{1}of sentences of*L*_{w1},_{w}(*Q*),*Israel J. of Math.*20 (1975), 127–148.Google Scholar - [Sh 49]A two cardinal theorem and a combinatorial theorem,
*Proc. of A.M.S.*62 (1977), 134–136.Google Scholar - [Sh 50]Decomposing uncountable squares to countably many chains,
*J. of Comb. Theory*, Series A, 21 (1976), 110–114.Google Scholar - [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 - [Sh 52]A compactness theorem in singular cardinals, free algebras, Whitehead problem, and transversals,
*Israel J. of Math.*21 (1975), 319–349.Google Scholar - [LtSh 53]A. Litman and S. Shelah, Models with few non-isomorphic expansions,
*Israel J. of Math.*28 (1977), 331–338.MathSciNetCrossRefzbMATHGoogle Scholar - [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 - [McSh 55]A Macintyre and S. Shelah, Universal locally finite groups,
*J. of Algebra*, 43 (1976), 168–175.MathSciNetCrossRefzbMATHGoogle Scholar - [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 - [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 - [Sh 58]Decidability of a portion of the predicate calculus,
*Israel J. of Math.*28 (1977), 32–44.Google Scholar - [HlSh 59]H. L. Hiller and S. Shelah, Singular Cohomology in L,
*Israel J. of Math.*26 (1977), 313–319.MathSciNetCrossRefzbMATHGoogle Scholar - [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 - [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 - [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 - [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 - [Sh 64]Whitehead groups may not be free even assuming CH, I,
*Israel J. of Math.*28 (1977), 193–203.Google Scholar - [DvSh 65]K. Devlin and S. Shelah, A weak form of the diamond which follows from 2
^{N0}<2^{N1},*Israel J. of Math.*29 (1978), 239–247.MathSciNetCrossRefGoogle Scholar - [Sh 66]End extensions and number of non-isomorphic models,
*J. of Symb. Logic*, 43 (1978), 556–562.Google Scholar - [Sh 67]On the number of minimal models, J. of Symb. Logic, 43 (1978), 475–480.Google Scholar
- [Sh 68]Jonsson algebras in successor cardinals,
*Israel J. of Math.*, 30 (1978), 57–64.Google Scholar - [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 - [GuSh 70]Y. Gurevich and S. Shelah, Modest theory of short chains II,
*J. of Symb. Logic*, 44 (1979), 491–502.MathSciNetCrossRefzbMATHGoogle Scholar - [Sh 71]A note on cardinal exponeniation,
*J. of Symb. Logic*, 45 (1980), 56–66.Google Scholar - [Sh 72]Models with second order properties I, Boolean Algebras with no undefinable automorphisms,
*Annals of Math. Logic*14 (1978), 57–72.Google Scholar - [Sh 73]Models with second order properties II, On trees with no undefinable branches,
*Annals of Math. Logic*, 14 (1978), 73–87.Google Scholar - [Sh 74]Appendix, Models with second order properties II: Vaught two-cardinal theorem revisited.
*Annals of Math. Logic*, 14 (1978), 223–226.Google Scholar - [Sh 75]A Banach Space with few operators,
*Israel J. of Math.*30 (1978), 181–191.Google Scholar - [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 - [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 - [Sh 78]Hanf number of omitting types for simple first-order theories,
*J. of Symb. Logic*, 44 (1979), 319–324.Google Scholar - [Sh 79]On uniqueness of prime models,
*J. of Symb. Logic*, 44 (1979), 215–220.Google Scholar - [Sh 80]A weak generalization of MA to higher cardinals,
*Israel J. of Math.*30 (1978), 297–306.Google Scholar - [ADSh 81]U. Avraham, K. Devlin, and S. Shelah, The consistency with CH of some consequences of Martin Axiom plus 2
^{N0}>*N*_{1},*Israel J. of Math.*31 (1978), 19–33.MathSciNetCrossRefzbMATHGoogle Scholar - [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 - [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 - [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 - [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 - [DvSh 86]K. Devlin and S. Shelah, Souslin properties and tree topologies,
*Bull. of London Math. Soc.*, (3) 39(1979), 537–552.MathSciNetzbMATHGoogle Scholar - [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 - [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 - [Sh 89]Boolean Algebras with few endomorphisms, Proc. of A.M.S., 14 (1979), 135–142.Google Scholar
- [Sh 90]Remarks on λ-collectionwise Hausdorf spaces,
*Topology Proceedings*, 2 (1977), 583–592.Google Scholar - [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 - [Sh 92]Remarks on Boolean algebras,
*Algebra Universalis*, 11 (1980), 77–89.Google Scholar - [Sh 93]Simple Unstable Theories,
*Annals of Math. Logic.*19 (1980), 177–204.Google Scholar - [Sh 94]Weakly compact cardinals, a combinatorial proof,
*J. of Symb. Logic*, 44 (1979), 559–562.Google Scholar - [Sh 95]Canonization theorems and applications,
*J. of Symb. Logic*, 46 (1981), 345–353.Google Scholar - [ShZi 96]S. Shelah and M. Ziegler, Algebraically closed groups of large cardinality,
*J. of Symb. Logic*, 44 (1979), 522–532.MathSciNetCrossRefzbMATHGoogle Scholar - [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 - [Sh 98]Whitehead groups may not be free even assuming CH, II,
*Israel J. of Math.*35 (1980), 257–285.Google Scholar - [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 - [Sh 100]Independence results,
*J. of Symb. Logic, 45 (1980), 563–573*.Google Scholar - [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 - [AbSh 102]U. Avraham and S. Shelah, Forcing with stable posets,
*J. of Symb. Logic*, 47 (1982), 37–42.MathSciNetCrossRefzbMATHGoogle Scholar - [FrSh 103]D. Fremlin and S. Shelah, On partitions of the real line,
*Israel J. of Math.*32 (1979), 299–304.MathSciNetCrossRefzbMATHGoogle Scholar - [LvSh 104]R. Laver and S. Shelah, The ℵ
_{2}-Souslin hypothesis,*Trans. of A.M.S.*264 (1981), 411–417.MathSciNetzbMATHGoogle Scholar - [Sh 105]On uncountable abelian groups,
*Israel J. of Math.*32 (1979), 311–330.Google Scholar - [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 - [Sh 107]Models with second order properties IV, A general method and eliminating diamonds,
*Annals. of Math. Logic.*25 (1983) 183–212.Google Scholar - [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 - [HoSh 109]W. Hodges and S. Shelah, Infinite reduced products,
*Annals of Math. Logic*20 (1981), 77–108.MathSciNetCrossRefzbMATHGoogle Scholar - [Sh 110]Better quasi order for uncountable cardinals,
*Israel J.of Math.*42 (1982), 177–226Google Scholar - [Sh 111]On powers of singular cardinals,
*Notre Dame J. of Formal Logic*27, (1986) 263–299Google Scholar - [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 - [MaSh 113]J.A. Makowsky and S. Shelah, The theorems of Beth and Craig in abstract model theory III, in preparation.Google Scholar
- [AbSh 114]U. Abraham and S. Shelah, Isomorphism of Aronszajn trees, independence results,
*Israel J. Math.*50 (1985) 75–113MathSciNetCrossRefzbMATHGoogle Scholar - [ChSh 115]G. Cherlin and S. Shelah, Superstable fields and groups,
*Annals of Math Logic.*[BSF] 18 (1980), 227–280.MathSciNetCrossRefzbMATHGoogle Scholar - [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 - [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 - [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 - [Sh 119]Iterated forcing and changing cofinalities I,
*Israel J. of Math.*40 (1981), 1–32.Google Scholar - [Sh 120]Free limits and Aronszajn trees,
*Israel J. of Math.*38 (1981), 315–334.Google Scholar - [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 - [Sh 122]On Fleissner diamond,
*Notre Dame J. of Formal Logic*, 22 (1981), 29–35.Google Scholar - [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 - [Sh 124]
- [Sh 125]
- [Sh 126]On saturation for a predicate,
*Notre Dame J. of Formal Logic*, 22 (1981), 239–248.Google Scholar - [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 - [Sh 128]Uncountable constructions,
*Israel J. of Math.*51(1985) 273–297Google Scholar - [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 - [PiSh 130]A. Pillay and S. Shelah, Classification over a predicate I
*Notre Dame*.*J. of Formal Logic.*26(1985) 361–376MathSciNetCrossRefzbMATHGoogle Scholar - [Sh 131]The spectrum problem I, ℵ
_{∈}-saturated models the main gap,*Israel J. of Math.*43 (1982), 324–356.Google Scholar - [Sh 132]The spectrum problem II, Totally transcendetal theories and the infinite depth case.
*Israel J. of Math.*43 (1982), 357–364.Google Scholar - [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 - [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 - [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 - [Sh 136]Constructions of many complicated uncountable structures and Boolean algebras,
*Israel J. of Math.*45 (1983), 100–146.Google Scholar - [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 - [SgSh 138]G. Sageev and S. Shelah, On the structure of
*Ext(A*,**Z**) in ZF*C*^{+},*J. of Symb. Logic*, 50(1985) 302–315MathSciNetCrossRefzbMATHGoogle Scholar - [Sh 139]On the number of non-conjugate subgroups,
*Algebra Universalis*, 16 (1983), 131–146.Google Scholar - [Sh 140]On endo-rigid strongly ℵ
_{1}-free abelian groups in ℵ_{1},*Israel J. of Math.*40 (1981) 291–295.Google Scholar - [GMSh 141]Y. Gurevich, M. Magidor and S. Shelah, The monadic theory of ω
_{2},*J. of Symb. Logic*, 48 (1983), 387–398.MathSciNetCrossRefzbMATHGoogle Scholar - [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 - [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 - [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 - [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 - [AbSh 146]U. Avraham and S. Shelah, Forcing closed unbounded sets,
*J. of Symb. Logic*, 48 (1983), 643–657.MathSciNetCrossRefzbMATHGoogle Scholar - [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 - [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 - [FrSh 149]S. D. Friedman and S. Shelah, Tall α-Recursive structure,
*Proc. A.M.S.*, 88(1983), 672–678.MathSciNetzbMATHGoogle Scholar - [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 - [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 - [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 - [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 - [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 - [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 - [Sh 155]The spectrum problem III, Universal theorem,
*Israel J. of Math.*55 (1986) 229–256.Google Scholar - [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 - [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 - [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 - [ShWd 158]S. Shelah and H. Woodin, Forcing the failure of CH.
*Journal Symb. Logic.*49, (1984), 1185–1189.MathSciNetCrossRefzbMATHGoogle Scholar - [HoSh 160]W. Hodges and S. Shelah, Naturality and definability.
*J. London Math. Soc.*23 (1986) 1–12MathSciNetCrossRefzbMATHGoogle Scholar - [Sh 161]Incompactness in regular cardinals.
*Notre Dame J. of Formal Logic,*26(1985) 195–228.Google Scholar - [Sh 162]Models with second order properties V: A General principle.
*Annals of Pure and Applied Logic,*Google Scholar - [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 - [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 - [ShWe 165]S. Shelah and B. Weiss, Measurable recurrence and quasi-invariant measures,
*Israel J. of Math.*43 (1982), 154–160.MathSciNetCrossRefzbMATHGoogle Scholar - [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 - [ShSt 167]S. Shelah and L. Stanley, S. forcing IIa: Adding diamonds and more applications, Archangelsci's problem and
*h*(*Q*_{1}^{<1},Q_{2}^{1}), 56 (1986) 1–65.MathSciNetzbMATHGoogle Scholar - [GuSh 168]Y. Gurevich and S. Shelah, On the strength of the interpretation method
*J. of Symb. Logic,*Google Scholar - [EMSh 169]P.E. Eklof, A.H. Mekler and S. Shelah, On strongly non reflexive groups
*Israel J. Math.*Google Scholar - [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 - [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
- [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 - [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
- [GrSh 174]R. Grossberg and S. Shelah, On universal locally finite groups,
*Israel J. of Math.*44, (1983), 289–302.MathSciNetCrossRefzbMATHGoogle Scholar - [Sh 175]On Universal graphs without instances of CH.
*Annals of Pure and Applied Logic,*26, (1984), 75–87.Google Scholar - [Sh 175a]Universal graphs without instances of CH.Google Scholar
- [Sh 176a]Can you take Solovay inaccessible away?
*Israel J. of Math.*48, (1984), 1–47.Google Scholar - [Sh 177]More on proper forcing,
*J. of Symb. Logic.*49, (1984), 1035–1038.Google Scholar - [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 - [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 - [ShSn 180]S. Shelah and C. Steinhorn, The non-axiomatizability of
*L*(*Q*_{2}^{M}), in*Notre Dame J. of Formal Logic,*Google Scholar - [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 - [AbSh 182]U. Abraham and S. Shelah, On the intersection of closed unbounded sets,
*J. of Symb. Logic,*51(1986) 180–189.MathSciNetCrossRefzbMATHGoogle Scholar - [GuSh 183]Y. Gurevich and S. Shelah, Rabin's uniformization problem,
*J. of Symb. Logic,*48 (1983), 1105–1119MathSciNetCrossRefzbMATHGoogle Scholar - [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 - [Sh 185]Lifting problem of the measure algebra,
*Israel J. of Math.*45 (1983), 90–96.Google Scholar - [Sh 186]Diamonds and Uniformization,
*J. of Symb. Logic,*49(1984) 1022–1033.Google Scholar - [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 - [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 - [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 - [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 - [GiSh 191]M. Gitik and S. Shelah, On the
*Ī*condition.*Israel J. of Math.*48, (1984), 148–157.MathSciNetCrossRefzbMATHGoogle Scholar - [Sh 192]On the number of non conjugate subgroups.
*Annals of Pure and Applied Logic,*Google Scholar - [LhSh 193]D. Lehmann and S. Shelah, Reasoning with time and chance,
*Information and Control.*53 (1982) 165–198.MathSciNetCrossRefzbMATHGoogle Scholar - [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 - [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 - [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 - [Sh 197]Monadic Logic: Hanf numbers, Springer Verlag Lecture Notes, 1182(1986) 203–223.Google Scholar
- [MaSh 198]J. Makowsky and S. Shelah, Categority in ℵ
_{1}for L (P.) in preparation.Google Scholar - [Sh 199]Remarks in abstract model theory,
*Annals of Pure and Applied Logic*. 29(1985) 255–288.Google Scholar - [Sh 200]Classification of first order theories which have a structure theory,
*Bulletin of A.M.S.*12(1985)227–232.Google Scholar - [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 - [Sh 202]On co κ-Souslin relations,
*Israel J. of Math.*47 (1984), 139–153Google Scholar - [BdSh 203]S.Ben-David and S. Shelah, Trees on successor of singular cardinals,
*Annals of Pure and Applied Logic,*Google Scholar - [MgSh 204]M. Magidor, and S.Shelah, Compactness in successor of regular, in preparationGoogle Scholar
- [Sh 205]Monadic Logic: Lowenheim Numbers,
*Annals of Pure and Applied Logic,*28(1985)203–216.Google Scholar - [Sh 206]Partition of a topological space to two homomorphic rigid spaces,
*Israel J. of Math.*Google Scholar - [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 - [Sh 208]On Weak Diamond,
*Annals of Pure and Applied Logic,*28 (1985) 315–318.Google Scholar - [ShTo209]S. Shelah and S. Todorcervic, A note on small Baire spaces,
*Canadian J. Math,*38 (1986) 659–665.MathSciNetCrossRefzbMATHGoogle Scholar - [BoSh 210]R. Bonnet and S. Shelah, Narrow Boolean Algebras,
*Annals of Pure and Applied Logic.*28, (1985),1–12.MathSciNetCrossRefzbMATHGoogle Scholar - [Sh 211]Stationary logic II: Comparison with other logics,
*Notre Dame J. of Formal Logic,*Google Scholar - [Sh 212]The existence of coding sets, Springer-Verlag Lecture Notes Volume, 1182(1986) 188–202.Google Scholar
- [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 - [MkSh 214]A. H. Mekler and S. Shelah, On ω-elongations and Crawly's problem,
*Pacific J. of Math,*Google Scholar - [MkSh 214a]A. H. Mekler and S. Shelah, The solution to Crawly's problem,
*Pacific J. Math*121(1986) 133–134.MathSciNetCrossRefzbMATHGoogle Scholar - [MHSh 215]D. Marker, L. Harrington and S. Shelah, Dilworth theorem for Borel orderings,
*Trans A.M.S.*Google Scholar - [HMSh 216]C. Holland, A Mekler and S. Shelah, lawless orders,
*Order*1(1985)383–397.MathSciNetCrossRefzbMATHGoogle Scholar - [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 - [SgSh 217]G. Sageev and S. Shelah, Notherian ring with free additive groups, Abstract A.M.S. (1986).Google Scholar
- [Sh 218]On Measure and Category,
*Israel J. of Math.*52(1985)110–114.Google Scholar - [GoSh 219]R. Gobel and S. Shelah, Modules over arbitrary domains, I
*Math-Zeitscift*, 188, (1985), 325–337.MathSciNetCrossRefzbMATHGoogle Scholar - [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 - [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 - [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 - [DrSh 223]M. Droste and S. Shelah, On the universality of systems of words in permutation groups,
*Pacific J. Math.*Google Scholar - [GbSh 224]R. Gobel and S. Shelah, Modules over arbitrary domains IIGoogle Scholar
- [Sh 225]On the numbers of strongly ℵ
_{∈}-saturated models of power λ.*Annals of Pure and Applied Logic*,.Google Scholar - [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 - [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 - [Sh 228]On the no (M) for M of singular power. A Springer-Verlag Lecture Notes Volume, vol.1182 (1986) 120–134.Google Scholar
- [Sh 229]Existence of endo rigid Boolean algebras. A Springer-Verlag Lecture Notes Volume, 1182 (1986) 91–119.Google Scholar
- [GuSh 230]Y. Gurevich and S. Shelah, The decision problem for branching time logic,
*J. Symb. Logic*, 50 (1985), 181–198.MathSciNetCrossRefzbMATHGoogle Scholar - [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 - [Sh 232]Non standard uniserial module over a uniserial domain exists, Springer-Verlag Lecture Notes Volume, vol 1182(1986)135–150.Google Scholar
- [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
- [Sh 234]Classification over a predicate II, A Springer-Verlag Lecture Notes Volume, vol 1182(1986) 1–46.Google Scholar
- [ShSo 235]S. Shelah and A Soife, Two problems on ℵ
_{0}-indecomposable abelian groups,*J. of Algebra*, 99 (1986), 359–369.MathSciNetCrossRefGoogle Scholar - [BdSh 236]S. Ben David and S. Shelah, Non special Aronszajn trees on ℵ
^{ω+1}*Israel J. of Math.*, 53(1986)93–96.CrossRefzbMATHGoogle Scholar - [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
- [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 - [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 - [FMSh 240]M. Foreman, M. Magidor, and S. Shelah, Martin Maximum, saturated ideals and non-regular ultrafilters, Part I.
*Annals of Math.*Google Scholar - [ShWd 241]S. Shelah and H. Woodin, Large cardinals implies every reasonably definable set is measurable,
*Israel J. Math.*Google Scholar - [BsSh 242]A. Blass and S. Shelah, There may be simple
*P*ℵ_{1}and*P*ℵ_{2}points and Rudin Keisler ordering may be downward directed,*Annals of Pure and Applied Logic, 33 (1987), 213–243*.MathSciNetCrossRefzbMATHGoogle Scholar - [GuSh 243]Y. Gurevich and S. Shelah, Expected computation time for Hamiltonean paths.
*SIAM J. on Computing*.Google Scholar - [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
- [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 - [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 - [CoSh 246]K. Compton and S. Shelah, A convergence theorem for random unary function, in preparation.Google Scholar
- [Sh 247]More on stationary coding [dn fl 84, tp wt 85] Springer Verlag Lecture Notes, vol 1182(1986)224–246.Google Scholar
- [BdSh 248]S.Ben David and S. Shelah, The two-cardinals transfer property and resurrection of supercompactnessGoogle Scholar
- [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 - [Sh 250]Notes on Iterated Forcing
*Notre Dame J. of Formal Logic*.Google Scholar - [MkSh 251]A.H. Mekler and S. Shelah, Does κ-free implies strongly κ-free?
*Proc. of the conference on Abelian Groups, Oberwolfach*.Google Scholar - [FMSh 252]M. Foreman, M. Magidor and S. Shelah, Martin Maximum saturated ideal and non regular ultrafilters, Part II
*Annals of Math*Google Scholar - [BaSh 253]
- [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 - [EkSh 255]P. Eklof and S.Shelah, On groups
*A*such that*A*⊕*Z*^{n}℞*A*,*Proc. of the symp. on Abelian Groups*in Oberwolfach.Google Scholar - [Sh 256]More on power of singular cardinals
*Israel J. Math, to appear*.Google Scholar - [BsSh 257]A. Blass and S. Shelah, Ultrafilter with small generating sets.
*Israel J. Math*Google Scholar - [ShSt 258]S. Shelah and L. Stanley, A theorem and some consistency results in partition calculus,
*Annal of Pure and Applied Logic*Google Scholar - [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 - [ShSp 260]
- [Sh 261]A graph which embedds all small graphs on any large set of vertices,
*Annals of Pure and Applied Logic*.Google Scholar - [Sh 262]Number of pairwise non-elementarily embeddable models.
*J. of Symb logic*.Google Scholar - [Sh 263]
- [ShSp 264]S. Shelah and Y. Steprans, A. Banach space with few endomorphism
*Proc. A.M.S.*Google Scholar - [DFSh 265]M. Dugas, T. H. Fay and S. Shelah, Singley cogenerated annihilator classes
*J. of Algebra*.Google Scholar - [GrSh 266]R. Grossberg and S. Shelah, Categoricity in λ
^{(+n)}and modules in preparation.Google Scholar - [Sh 267]Collectionwise Hausdorff — Incompactness in singular
*Topology and its Application*.Google Scholar - [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 - [Sh 269]Gap 1 two cardinal principles and omitting type theorem for L(Q)
*Israel J. Math*Google Scholar - [Sh 270]Baire Irresolvable spaces and lifting for layered ideals,
*Topology and its Application*.Google Scholar - [HoSh 271]W. Hodges and S. Shelah, There are reasonable nice logics,
*J. of Symb. Logic.*Google Scholar - [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 - [Sh 273]Can the fundamental group of a space be the rationals?
*Proceedings of the American Mathematical Soceity*Google Scholar - [MkSh 274]A. Mekler and S. Shelah, Uniformization principles
*J. of Symb. Logic*.Google Scholar - [MkSh 275]A. Mekler and S. Shelah, Excellency and
*L*_{∞,ω}-freeness of varieties, in preparation.Google Scholar - [Sh 276]Was Seirpinski right I?
*Israel J. Math.*Google Scholar - [GuSh 277]Y. Gurevich and Shelah, Almost linearity and Polinomialness in output, in preparation.Google Scholar
- [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 - [ShSt 279]Shelah and L. Stanley, Weakly compact cardinals and non special Aroszajn trees
*Proc. A.M.S.*Google Scholar - [Sh 280]Strong negative partition above the continuum.
*J. of Symbolic Logic*Google Scholar - [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 - [Sh 282]Successor of singulars, productivity of chain conditions and cofinalities of reduced products of cardinals, in typing.Google Scholar
- [Sh 283]
- [Sh 284]Monadic logic of order revisited, in typing.Google Scholar
- [Sh 285]Categoricity for \(T \subseteq L_{\kappa _1 ,\omega }\), κ compact. in typing.Google Scholar
- [IhSh 286]J. Ihoda and S. Shelah, Q set do not necessarily have strong measure zero
*Proc. A.M.S.*Google Scholar - [BsSh 287]A. Blass and S. Shelah, Near coherence of filters III. A simplified consistency proof,
*Notre Dame J. of Formal Logic*Google Scholar - [Sh 288]Was Sierpenski right II, in typing.Google Scholar
- [Sh 289]Consisting of partitions partition theorem for graphs and models, in typing.Google Scholar
- [BiSh 290]B. Biro and S. Shelah, Isomorphic but not low base-isomorphic cylindric set algebras.
*J. of Symb Logic*Google Scholar - [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 - [IhSh 292]J. Ihoda and S. Shelah, Souslin-forcing, in typing.Google Scholar
- [ShSt 293]S. Shelah and L. Stanley, Partitions relations II, in preparation.Google Scholar
- [ShSt 294]S. Shelah and L. Stanley, Consistency of partition relation for cardinal in (λ,2
^{λ}) in preparation.Google Scholar - [IhSh 295]J. Ihoda and S. Shelah, Projective measurability does not imply projective Baire, in preparation.Google Scholar
- [ShSp 296]S. Shelah and Y. Steprans. Non trivial automorphisms of β
*MN*without the Continuum Hypothesis;*Fund. Math.*Google Scholar - [HdSh 297]I. Hodkinson and S. Shelah, Building many weakly rigid pseudo-Aronszajn trees
*London J. of Math.*Google Scholar - [EkSh 298]P. Eklof and S. Shelah, A. calculation of injective dimension over valuation domains,
*Rendiconti del Seminario Matematica della Universita Padova*.Google Scholar - [Sh 299]Taxonomoy of Universal and other classes,
*Proc. of International Congress of Math*, Berkeley 1986Google Scholar - [Sh 300]Universal classes, Proc. of the Chicago Sym. ed Baldwin.Google Scholar
- [HHSh 301]I. Hodkinson, W. Hodges and S. Shelah, Naturality and DefinabilityGoogle Scholar
- [GrSh 302]
- [KoSh 303]P. Komjath and S. Shelah, Forcing construction for uncountable cromatic graphs.
*J. Symb. Logic*Google Scholar - [ShSp 304]S. Shelah and Joel Spencer. On zero-one laws for random graph.
*J. of A.M.S.*Google Scholar - [ShTh 305]S. Shelah and Simon Thomas. in preparation.Google Scholar
- [MkSh 306]A. H. Mekler and S. Shelah. 2-socle does not determine G. [dn 9/86].Google Scholar
- [BeSh 307]S. Beuchler and S. Shelah. Notes on regular types and weak decomposition for uncountable theories, in preparation.Google Scholar
- [IhSh 308]J. Ihoda and S. Shelah. Preservation theorems for forcing and completing a chart of Kunen-Miller, in typing.Google Scholar
- [GrSh 309]
- [GiSh 310]M. Gitik and S. Shelah, Cardinal preserving ideals,
*J. Symb. Logic*Google Scholar - [Sh 311]
- [GrSh 312]R. Grossberg and S. Shelah, Universal locally finite groups with no non inner automorphism in ZFC, in preparation.Google Scholar
- [MkSh 313]A. H. Mekler and S. Shelah, Diamonds and λ-systems,
*Fund Math.*Google Scholar - [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 - [ShSp 315]S. Shelah and Y. Steprans, The Toronto problem, in preparation.?Google Scholar
- [FuSh 316]L. Fuchs and S. Shelah, Kaplanski problem on valuation rings,
*Proc. A.M.S.*Google Scholar - [BFSh 317]Becker, L. Fuchs and S. Shelah, compactness for modules.Google Scholar
- [MMSh 318]A. H. Mekler, D. Macpherson, and S. Shelah, Number of non isomorphic submodels.Google Scholar
- [IhSh 319]J. Ihoda and S. Shelah, Martin's Axioms Measurability and equiconsistency results,
*J. of Symb Logic*Google Scholar - [JSSh 320]J. Juhasz, L. Soukup and S. Shelah, More on countable compact locally countable spaces.Google Scholar
- [IhSh 321]J. Ihoda and S. Shelah, On Δ
_{1}^{2}-sets of reals, in typing.Google Scholar - [Sh 322]Classification over a predicate [Acad:]Google Scholar

## Copyright information

© Springer-Verlag 1987