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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Classification theory and the number of non-isomorphic models, North Holland Publ. Co., 1978 542 + xvi
Classification theory: completed for countable theories, North Holland Publ. Co, in press.
Proper forcing, Springer Lecture Notes, 940 (1982) 496 + xxix.
Stable theories, Israel J. of Math. 7 (1969), 187–202.
Note on a Mini-Max problem of Leo Moser, J. of Comb. Theory Series A,6 (1969), 298–300.
Finite diagrams stable in power, Annals of Math. Logic. 2(1970), 69–118.
On theories T categorical in |T|, J. of Symb. Logic 35 (1970), 73–82.
On language with non-homogeneous strings of quantifiers, Israel J. of Math. 8, (1970), 75–79.
A note on Hanf numbers, Pacific J. of Math 34 (1970), 539–543.
On the cardinality of ultraproducts of finite sets, J. of Symb. Logic 35 (1970), 83–84.
Two cardinal compactness, Israel J. of Math. 9 (1971), 193–198.
Remark to — "local definability theory" of Reyes, Annals of Math. Logic 2 (1971), 441–448.
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.
The number of non-almost isomorphic models of T in a power, Pacific J. of Math. 36 (1971), 811–818.
The number of non-isomorphic models of an unstable first-order theory, Israel J. of Math. 10 (1971), 473–487.
Every two elementarily equivalent models have isomorphic ultrapowers, Israel J. of Math. 10 (1971), 224–233.
Saturation of ultrapowers and Keisler's order, Annals of Math. Logic 4 (1972), 75–114.
Uniqueness and characterization of prime models over sets for totally transcendental first-order theories, J. of Symb. Logic 37 (1972), 107–113.
A combinatorial problem; stability and order for models and theories in infinitary languages, Pacific J. of Math. 41 (1972), 247–261.
For what filters every reduced product is saturated, Israel J. of Math. 12 (1972), 23–31.
On models with power-like orderings, J. of Symb. Logic 37 (1972), 247–267.
P. Erdos and S. Shelah, Separability propertes of almost disjoint families of sets, Israel J. of Math. 12 (1972), 207–214.
J. Schmerl and S. Shelah, On power-like models of hyperinaccessible cardinals, J. of Symb. Logic 37 (1972), 531–537.
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.
A note on model complete models and generic models, Proc. of A.M.S. 34 (1972), 509–514.
F. Galvin and S. Shelah, Some counterexamples in Partition Calculus, J. of Comb. Theory, Series A, 15 (1973), 167–174.
First-order theory of the permutation groups, Israel J. of Math. 14 (1973), 149–162.
Errata to: First order theory of permutation groups, Israel J. of Math. 15 (1973), 437–441.
Notes in combinatorial set theory, Israel J. of Math. 14 (1973), 262–277.
G. Moran and S. Shelah, Size direction games over the real line III, Israel J. of Math. 14 (1973), 442–449.
There are just four second-order quantifiers, Israel J. of Math. 15 (1973), 282–300.
A substitute for Hall theorem for families with infinite sets, J. of Comb. Theory. A 16 (1974), 199–208.
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.
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.
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.
The Hanf number of omitting complete tyes, Pacific J. of Math. 50 (1974), 163–168.
Weak definability in infinitary languages, J. of Symb. Logic 38 (1973), 339–404.
E. C. Milner and S. Shelah, Sufficiency conditions for the existence of transversals, Canadian J. of Math. 26 (1974), 948–961.
On cardinal invariants in topology, General topology and its applications, 7 (1977), 251–259.
A two cardinal theorem, Proc. of the A.M.S. 48, (1975), 207–213.
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.
Differentially closed fields, Israel J. of Math. 16 (1973), 314–328.
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.
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.
The monadic theory of order, Annals of Math. 102 (1975), 379–419.
Generalized quantifiers and compact logic, Trans. of A.M.S. 204 (1975), 342–364.
Infinite abelian groups, Whitehead problem and some constructions, Israel J. of Math. 18 (1974), 243–256.
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.
Coloring without triangles and partition relations, Israel J. of Math. 20 (1975), 1–12.
J. A. Makowsky, S. Shelah and J. Stavi, Δ-logics and generalized quantifiers, Annals of Math. Logic 10 (1976), 155–192.
Categorcity in N 1 of sentences of L w1, w(Q), Israel J. of Math. 20 (1975), 127–148.
A two cardinal theorem and a combinatorial theorem, Proc. of A.M.S. 62 (1977), 134–136.
Decomposing uncountable squares to countably many chains, J. of Comb. Theory, Series A, 21 (1976), 110–114.
Why there are many non-isomorphic models for unsuperstable theories, Proc. of the International Congress of Math. Vancouver, (1974), 553–557.
A compactness theorem in singular cardinals, free algebras, Whitehead problem, and transversals, Israel J. of Math. 21 (1975), 319–349.
A. Litman and S. Shelah, Models with few non-isomorphic expansions, Israel J. of Math. 28 (1977), 331–338.
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.
A Macintyre and S. Shelah, Universal locally finite groups, J. of Algebra, 43 (1976), 168–175.
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.
A. Amit and S. Shelah, The complete finitely axiomatized theories of order are dense, Israel J. of Math. 23 (1976), 200–208.
Decidability of a portion of the predicate calculus, Israel J. of Math. 28 (1977), 32–44.
H. L. Hiller and S. Shelah, Singular Cohomology in L, Israel J. of Math. 26 (1977), 313–319.
W. Hodges, A. Lachlan and S. Shelah, Possible orderings of an indiscernible sequence, Bull. of London Math. Soc. 9 (1977), 212–215.
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.
J. A. Makowsky and S. Shelah, The theorems of Beth and Craig in abstract logic I, Trans. A.M.S. 256 (1979), 215–239.
S. Shelah and J. Stern, The Hanf number of the first-order theory of Banach spaces, Trans. A.M.S. 244 (1978), 147–171.
Whitehead groups may not be free even assuming CH, I, Israel J. of Math. 28 (1977), 193–203.
K. Devlin and S. Shelah, A weak form of the diamond which follows from 2N0<2N1, Israel J. of Math. 29 (1978), 239–247.
End extensions and number of non-isomorphic models, J. of Symb. Logic, 43 (1978), 556–562.
On the number of minimal models, J. of Symb. Logic, 43 (1978), 475–480.
Jonsson algebras in successor cardinals, Israel J. of Math., 30 (1978), 57–64.
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.
Y. Gurevich and S. Shelah, Modest theory of short chains II, J. of Symb. Logic, 44 (1979), 491–502.
A note on cardinal exponeniation, J. of Symb. Logic, 45 (1980), 56–66.
Models with second order properties I, Boolean Algebras with no undefinable automorphisms, Annals of Math. Logic 14 (1978), 57–72.
Models with second order properties II, On trees with no undefinable branches, Annals of Math. Logic, 14 (1978), 73–87.
Appendix, Models with second order properties II: Vaught two-cardinal theorem revisited. Annals of Math. Logic, 14 (1978), 223–226.
A Banach Space with few operators, Israel J. of Math. 30 (1978), 181–191.
Independence of strong partition relations for small cardinals, and the free subset problem, J. of Symb. Logic, 45 (1980), 505–509.
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.
Hanf number of omitting types for simple first-order theories, J. of Symb. Logic, 44 (1979), 319–324.
On uniqueness of prime models, J. of Symb. Logic, 44 (1979), 215–220.
A weak generalization of MA to higher cardinals, Israel J. of Math. 30 (1978), 297–306.
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.
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.
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.
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.
K. Devlin and S. Shelah, A note on the normal Moore space conjecture, Canad. J. of Math., vol. XXXI (1979), 241–251.
K. Devlin and S. Shelah, Souslin properties and tree topologies, Bull. of London Math. Soc., (3) 39(1979), 537–552.
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
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.
Boolean Algebras with few endomorphisms, Proc. of A.M.S., 14 (1979), 135–142.
Remarks on λ-collectionwise Hausdorf spaces, Topology Proceedings, 2 (1977), 583–592.
H. Hiller, M. Huber, and S. Shelah, The Structure of Ext(A, Z) and V=L, Math. Zeitschrift, 162 (1978), 39–50.
Remarks on Boolean algebras, Algebra Universalis, 11 (1980), 77–89.
Simple Unstable Theories, Annals of Math. Logic. 19 (1980), 177–204.
Weakly compact cardinals, a combinatorial proof, J. of Symb. Logic, 44 (1979), 559–562.
Canonization theorems and applications, J. of Symb. Logic, 46 (1981), 345–353.
S. Shelah and M. Ziegler, Algebraically closed groups of large cardinality, J. of Symb. Logic, 44 (1979), 522–532.
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.
Whitehead groups may not be free even assuming CH, II, Israel J. of Math. 35 (1980), 257–285.
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
Independence results, J. of Symb. Logic, 45 (1980), 563–573.
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.
U. Avraham and S. Shelah, Forcing with stable posets, J. of Symb. Logic, 47 (1982), 37–42.
D. Fremlin and S. Shelah, On partitions of the real line, Israel J. of Math. 32 (1979), 299–304.
R. Laver and S. Shelah, The ℵ2-Souslin hypothesis, Trans. of A.M.S. 264 (1981), 411–417.
On uncountable abelian groups, Israel J. of Math. 32 (1979), 311–330.
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.
Models with second order properties IV, A general method and eliminating diamonds, Annals. of Math. Logic. 25 (1983) 183–212.
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.
W. Hodges and S. Shelah, Infinite reduced products, Annals of Math. Logic 20 (1981), 77–108.
Better quasi order for uncountable cardinals, Israel J.of Math. 42 (1982), 177–226
On powers of singular cardinals, Notre Dame J. of Formal Logic 27, (1986) 263–299
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.
J.A. Makowsky and S. Shelah, The theorems of Beth and Craig in abstract model theory III, in preparation.
U. Abraham and S. Shelah, Isomorphism of Aronszajn trees, independence results, Israel J. Math. 50 (1985) 75–113
G. Cherlin and S. Shelah, Superstable fields and groups, Annals of Math Logic. [BSF] 18 (1980), 227–280.
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.
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.
M. Rubin and S. Shelah, On the expressibility hierarchy of Magidor-Malitz quantifiers, J. of Symb. Logic. 48 (1983), 542–559.
Iterated forcing and changing cofinalities I, Israel J. of Math. 40 (1981), 1–32.
Free limits and Aronszajn trees, Israel J. of Math. 38 (1981), 315–334.
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.
On Fleissner diamond, Notre Dame J. of Formal Logic, 22 (1981), 29–35.
Y. Gurevich and S. Shelah, Monadic theory of order and topology in Z.F.C. Annals of Math Logic, 23, (1982), 179–198.
ℵω may have a strong partition relation. Israel J. of Math. 38 (1981), 283–288.
Consistency of Ext(G, Z)=Q, Israel J. of Math. 39 (1981), 74–82.
On saturation for a predicate, Notre Dame J. of Formal Logic, 22 (1981), 239–248.
On Boolean algebras with no uncountably many pairwise comparable or incomparable elements, Notre Dame J. of Formal Logic, 22 (1981), 301–308.
Uncountable constructions, Israel J. of Math. 51(1985) 273–297
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.
A. Pillay and S. Shelah, Classification over a predicate I Notre Dame. J. of Formal Logic. 26(1985) 361–376
The spectrum problem I, ℵ∈-saturated models the main gap, Israel J. of Math. 43 (1982), 324–356.
The spectrum problem II, Totally transcendetal theories and the infinite depth case. Israel J. of Math. 43 (1982), 357–364.
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.
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.
A. Glass, Y. Gurevich, C. Holland and S. Shelah, Rigid homogeneous chains, Math. Proc. of the Cambridge Philo. Soc. 89 (1981), 7–17.
Constructions of many complicated uncountable structures and Boolean algebras, Israel J. of Math. 45 (1983), 100–146.
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.
G. Sageev and S. Shelah, On the structure of Ext(A, Z) in ZFC +, J. of Symb. Logic, 50(1985) 302–315
On the number of non-conjugate subgroups, Algebra Universalis, 16 (1983), 131–146.
On endo-rigid strongly ℵ1-free abelian groups in ℵ1, Israel J. of Math. 40 (1981) 291–295.
Y. Gurevich, M. Magidor and S. Shelah, The monadic theory of ω2, J. of Symb. Logic, 48 (1983), 387–398.
J. Baldwin and S. Shelah, The structure of saturated free algebras, Algebra Universalis, A volume in honour of Tarski 17,(1983),191–199.
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.
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.
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.
U. Avraham and S. Shelah, Forcing closed unbounded sets, J. of Symb. Logic, 48 (1983), 643–657.
L. Harrington and S. Shelah, On the undecidability of the lattice of r.e. degrees, Bull. A.M.S., 6(1982), 79–80.
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.
S. D. Friedman and S. Shelah, Tall α-Recursive structure, Proc. A.M.S., 88(1983), 672–678.
M. Kaufman and S. Shelah, The Hanf number of stationary logic, Notre Dame J. of Formal Logic, 27(1986) 111–123.
Y. Gurevich and S. Shelah, Interpretating the second order logic in the monadic theory of order, J. Symb. Logic, 48, (1983), 816–828.
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.
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
S. Shelah and L. Stanley, Generalized Martin Axion and the Souslin Hypothesis for higher cardinality. Israel J. of Math. 43(1982), 225–236.
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.
The spectrum problem III, Universal theorem, Israel J. of Math. 55 (1986) 229–256.
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.
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.
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.
S. Shelah and H. Woodin, Forcing the failure of CH. Journal Symb. Logic. 49, (1984), 1185–1189.
W. Hodges and S. Shelah, Naturality and definability. J. London Math. Soc. 23 (1986) 1–12
Incompactness in regular cardinals. Notre Dame J. of Formal Logic, 26(1985) 195–228.
Models with second order properties V: A General principle. Annals of Pure and Applied Logic,
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.
M. Jarden and S. Shelah, Pseudo-algebraically closed fields over rational function fields, Proc. of A.M.S., 87 (1983), 223–228.
S. Shelah and B. Weiss, Measurable recurrence and quasi-invariant measures, Israel J. of Math. 43 (1982), 154–160.
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.
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.
Y. Gurevich and S. Shelah, On the strength of the interpretation method J. of Symb. Logic,
P.E. Eklof, A.H. Mekler and S. Shelah, On strongly non reflexive groups Israel J. Math.
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.
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.
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.
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.
R. Grossberg and S. Shelah, On universal locally finite groups, Israel J. of Math. 44, (1983), 289–302.
On Universal graphs without instances of CH. Annals of Pure and Applied Logic, 26, (1984), 75–87.
Universal graphs without instances of CH.
Can you take Solovay inaccessible away? Israel J. of Math. 48, (1984), 1–47.
More on proper forcing, J. of Symb. Logic. 49, (1984), 1035–1038.
Y. Gurevich and S. Shelah, Random models and the Godel case of the decision problem. J.of Symb. Logic, 43 (1983), 1120–1124
S. Shelah and C. Steinhorn, On the axiomatizability by finitely many schemes, Notre Dame J. of Formal Logic, 27 (1986) 1–11.
S. Shelah and C. Steinhorn, The non-axiomatizability of L(Q M2 ), in Notre Dame J. of Formal Logic,
M. Kaufman and S. Shelah, A non conservativity result on global choice, Annals of Pure and Applied Logic, 27, (1984), 209–214.
U. Abraham and S. Shelah, On the intersection of closed unbounded sets, J. of Symb. Logic, 51(1986) 180–189.
Y. Gurevich and S. Shelah, Rabin's uniformization problem, J. of Symb. Logic, 48 (1983), 1105–1119
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.
Lifting problem of the measure algebra, Israel J. of Math. 45 (1983), 90–96.
Diamonds and Uniformization, J. of Symb. Logic, 49(1984) 1022–1033.
A.H. Mekler and S. Shelah, Stationary Logic and its friends II. Notre Dame J. of Formal Logic, 27(1986) 39–50.
A pair of non-isomorphic models of power λ for λ singular with λω=λ. Notre Dame J. of Formal Logic, 25(1984) 97–104.
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.
R. Gobel and S. Shelah, Semi-rigid classes of co-torsion free abelian groups, J. of Algebra. 93(1985)136–150.
M. Gitik and S. Shelah, On the Ī condition. Israel J. of Math. 48, (1984), 148–157.
On the number of non conjugate subgroups. Annals of Pure and Applied Logic,
D. Lehmann and S. Shelah, Reasoning with time and chance, Information and Control. 53 (1982) 165–198.
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.
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.
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.
Monadic Logic: Hanf numbers, Springer Verlag Lecture Notes, 1182(1986) 203–223.
J. Makowsky and S. Shelah, Categority in ℵ1 for L (P.) in preparation.
Remarks in abstract model theory, Annals of Pure and Applied Logic. 29(1985) 255–288.
Classification of first order theories which have a structure theory, Bulletin of A.M.S. 12(1985)227–232.
M. Kaufman and S. Shelah, On random models of finite power and monadic logic, J. Symb. Logic. 54(1985)285–293.
On co κ-Souslin relations, Israel J. of Math. 47 (1984), 139–153
S.Ben-David and S. Shelah, Trees on successor of singular cardinals, Annals of Pure and Applied Logic,
M. Magidor, and S.Shelah, Compactness in successor of regular, in preparation
Monadic Logic: Lowenheim Numbers, Annals of Pure and Applied Logic, 28(1985)203–216.
Partition of a topological space to two homomorphic rigid spaces, Israel J. of Math.
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.
On Weak Diamond, Annals of Pure and Applied Logic, 28 (1985) 315–318.
S. Shelah and S. Todorcervic, A note on small Baire spaces, Canadian J. Math, 38 (1986) 659–665.
R. Bonnet and S. Shelah, Narrow Boolean Algebras, Annals of Pure and Applied Logic. 28, (1985),1–12.
Stationary logic II: Comparison with other logics, Notre Dame J. of Formal Logic,
The existence of coding sets, Springer-Verlag Lecture Notes Volume, 1182(1986) 188–202.
L. Deneberg, Y. Gurevich and S. Shelah, Cardinals defined by constant depth polynomial size circuits, Information and Control 70(1986) 216–240.
A. H. Mekler and S. Shelah, On ω-elongations and Crawly's problem, Pacific J. of Math,
A. H. Mekler and S. Shelah, The solution to Crawly's problem, Pacific J. Math 121(1986) 133–134.
D. Marker, L. Harrington and S. Shelah, Dilworth theorem for Borel orderings, Trans A.M.S.
C. Holland, A Mekler and S. Shelah, lawless orders, Order 1(1985)383–397.
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.
G. Sageev and S. Shelah, Notherian ring with free additive groups, Abstract A.M.S. (1986).
On Measure and Category, Israel J. of Math. 52(1985)110–114.
R. Gobel and S. Shelah, Modules over arbitrary domains, I Math-Zeitscift, 188, (1985), 325–337.
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
U. Abraham S. Shelah, and R. Solovayy, Squares with diamonds and Souslin trees with special squares for successor of singulars, Fund Math.
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.
M. Droste and S. Shelah, On the universality of systems of words in permutation groups, Pacific J. Math.
R. Gobel and S. Shelah, Modules over arbitrary domains II
On the numbers of strongly ℵ∈-saturated models of power λ. Annals of Pure and Applied Logic,.
M. Foreman, M. Magidor and S. Shelah, On 0# and some forcing principles, J. of Symb. Logic 51(1986) 39–46.
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.
On the no (M) for M of singular power. A Springer-Verlag Lecture Notes Volume, vol.1182 (1986) 120–134.
Existence of endo rigid Boolean algebras. A Springer-Verlag Lecture Notes Volume, 1182 (1986) 91–119.
Y. Gurevich and S. Shelah, The decision problem for branching time logic, J. Symb. Logic, 50 (1985), 181–198.
I. Juhasz and S. Shelah, How large can a hereditary separable or hereditary Lindelof space be. Israel J. of Math. 53(1986)355–364.
Non standard uniserial module over a uniserial domain exists, Springer-Verlag Lecture Notes Volume, vol 1182(1986)135–150.
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.
Classification over a predicate II, A Springer-Verlag Lecture Notes Volume, vol 1182(1986) 1–46.
S. Shelah and A Soife, Two problems on ℵ0-indecomposable abelian groups, J. of Algebra, 99 (1986), 359–369.
S. Ben David and S. Shelah, Non special Aronszajn trees on ℵω+1 Israel J. of Math., 53(1986)93–96.
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.
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.
S. Shelah and A. Soife, Countable ℵ0-indecomposable mix abelian groups of finite torsion free rank, J. of Algebra 100 (1986), 421–429.
M. Foreman, M. Magidor, and S. Shelah, Martin Maximum, saturated ideals and non-regular ultrafilters, Part I. Annals of Math.
S. Shelah and H. Woodin, Large cardinals implies every reasonably definable set is measurable, Israel J. Math.
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.
Y. Gurevich and S. Shelah, Expected computation time for Hamiltonean paths. SIAM J. on Computing.
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.
Y. Gurevich and S. Shelah, The fix point extensions of first order logic Annals of Pure and Applied Logic 32 (1986) 265–280.
K. Compton, C.S. Henson and S. Shelah, Non convergence, Undecidability and Intractability in a symptotic problems Annals of Pure and Applied Logic.
K. Compton and S. Shelah, A convergence theorem for random unary function, in preparation.
More on stationary coding [dn fl 84, tp wt 85] Springer Verlag Lecture Notes, vol 1182(1986)224–246.
S.Ben David and S. Shelah, The two-cardinals transfer property and resurrection of supercompactness
A. Hajnal, I. Juhasz and S. Shelah, Splitting strongly almost disjoint families, Trans. of A.M.S. 295(1986) 369–387.
Notes on Iterated Forcing Notre Dame J. of Formal Logic.
A.H. Mekler and S. Shelah, Does κ-free implies strongly κ-free? Proc. of the conference on Abelian Groups, Oberwolfach.
M. Foreman, M. Magidor and S. Shelah, Martin Maximum saturated ideal and non regular ultrafilters, Part II Annals of Math
Iterated Forcing and normal ideals on ω1 Israel J. Math.
J. E. Baumgartner and S. Shelah, Remarks on superatomic Boolean Algebra, Annal of Pure and Applied logic 33(1987) 109–130.
P. Eklof and S.Shelah, On groups A such that A⊕Z n℞A, Proc. of the symp. on Abelian Groups in Oberwolfach.
More on power of singular cardinals Israel J. Math, to appear.
A. Blass and S. Shelah, Ultrafilter with small generating sets. Israel J. Math
S. Shelah and L. Stanley, A theorem and some consistency results in partition calculus, Annal of Pure and Applied Logic
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.
S. Shelah and Y. Steprans, Extraspecial p-group Annals of Pure and Applied Logic
A graph which embedds all small graphs on any large set of vertices, Annals of Pure and Applied Logic.
Number of pairwise non-elementarily embeddable models. J. of Symb logic.
Semi proper forcing axiom implies Martin Maximum but not PFA + J. of Symb. Logic.
S. Shelah and Y. Steprans, A. Banach space with few endomorphism Proc. A.M.S.
M. Dugas, T. H. Fay and S. Shelah, Singley cogenerated annihilator classes J. of Algebra.
R. Grossberg and S. Shelah, Categoricity in λ(+n) and modules in preparation.
Collectionwise Hausdorff — Incompactness in singular Topology and its Application.
A. Hajnal, A. Kanamori and S. Shelah, Regressive partition relations for infinite cardinals, Trans. A.M.S. 299(1987) 145–154.
Gap 1 two cardinal principles and omitting type theorem for L(Q) Israel J. Math
Baire Irresolvable spaces and lifting for layered ideals, Topology and its Application.
W. Hodges and S. Shelah, There are reasonable nice logics, J. of Symb. Logic.
Trivial types for undimensional superstable Proc. of the USA-Israel Symp. on Classification, Th. Chicago 12/85 ed Baldwin. Springer-Verlag lecture Notes 1987.
Can the fundamental group of a space be the rationals? Proceedings of the American Mathematical Soceity
A. Mekler and S. Shelah, Uniformization principles J. of Symb. Logic.
A. Mekler and S. Shelah, Excellency and L ∞,ω-freeness of varieties, in preparation.
Was Seirpinski right I? Israel J. Math.
Y. Gurevich and Shelah, Almost linearity and Polinomialness in output, in preparation.
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.
Shelah and L. Stanley, Weakly compact cardinals and non special Aroszajn trees Proc. A.M.S.
Strong negative partition above the continuum. J. of Symbolic Logic
Z. Drezner and S. Shelah, On the complexity of the Elzinya-Hearn Algorithm for the 1-center problem Mathematics of Operation Research.
Successor of singulars, productivity of chain conditions and cofinalities of reduced products of cardinals, in typing.
On reconstructing separable reduced p-groups with a given socle Israel J. of Math
Monadic logic of order revisited, in typing.
Categoricity for \(T \subseteq L_{\kappa _1 ,\omega }\), κ compact. in typing.
J. Ihoda and S. Shelah, Q set do not necessarily have strong measure zero Proc. A.M.S.
A. Blass and S. Shelah, Near coherence of filters III. A simplified consistency proof, Notre Dame J. of Formal Logic
Was Sierpenski right II, in typing.
Consisting of partitions partition theorem for graphs and models, in typing.
B. Biro and S. Shelah, Isomorphic but not low base-isomorphic cylindric set algebras. J. of Symb Logic
A.H. Mekler, B. Nelson and S. Shelah. A variety with solvable not uniformly solvable word problem, [ex 1/87]. J. London Math Soc.
J. Ihoda and S. Shelah, Souslin-forcing, in typing.
S. Shelah and L. Stanley, Partitions relations II, in preparation.
S. Shelah and L. Stanley, Consistency of partition relation for cardinal in (λ,2λ) in preparation.
J. Ihoda and S. Shelah, Projective measurability does not imply projective Baire, in preparation.
S. Shelah and Y. Steprans. Non trivial automorphisms of βMN without the Continuum Hypothesis; Fund. Math.
I. Hodkinson and S. Shelah, Building many weakly rigid pseudo-Aronszajn trees London J. of Math.
P. Eklof and S. Shelah, A. calculation of injective dimension over valuation domains, Rendiconti del Seminario Matematica della Universita Padova.
Taxonomoy of Universal and other classes, Proc. of International Congress of Math, Berkeley 1986
Universal classes, Proc. of the Chicago Sym. ed Baldwin.
I. Hodkinson, W. Hodges and S. Shelah, Naturality and Definability
R. Grossberg and S. Shelah, On the structure of Extp(G,Z) J. of Algebra
P. Komjath and S. Shelah, Forcing construction for uncountable cromatic graphs. J. Symb. Logic
S. Shelah and Joel Spencer. On zero-one laws for random graph. J. of A.M.S.
S. Shelah and Simon Thomas. in preparation.
A. H. Mekler and S. Shelah. 2-socle does not determine G. [dn 9/86].
S. Beuchler and S. Shelah. Notes on regular types and weak decomposition for uncountable theories, in preparation.
J. Ihoda and S. Shelah. Preservation theorems for forcing and completing a chart of Kunen-Miller, in typing.
R. Grossberg and S. Shelah. L ∞,G characterization for strongly ℵ1-free groups.
M. Gitik and S. Shelah, Cardinal preserving ideals, J. Symb. Logic
UP1 (I) large ideals of ω1 general preservation, in preparation.
R. Grossberg and S. Shelah, Universal locally finite groups with no non inner automorphism in ZFC, in preparation.
A. H. Mekler and S. Shelah, Diamonds and λ-systems, Fund Math.
A. H. Mekler and S. Shelah, There are λ-free abelian groups of power λ with the dimensions of Ext p (G) arbitrary.
S. Shelah and Y. Steprans, The Toronto problem, in preparation.?
L. Fuchs and S. Shelah, Kaplanski problem on valuation rings, Proc. A.M.S.
Becker, L. Fuchs and S. Shelah, compactness for modules.
A. H. Mekler, D. Macpherson, and S. Shelah, Number of non isomorphic submodels.
J. Ihoda and S. Shelah, Martin's Axioms Measurability and equiconsistency results, J. of Symb Logic
J. Juhasz, L. Soukup and S. Shelah, More on countable compact locally countable spaces.
J. Ihoda and S. Shelah, On Δ 21 -sets of reals, in typing.
Classification over a predicate [Acad:]
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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
