Works by Shelah, S. (exact spelling)

47 found
Order:
  1.  20
    Second-Order Quantifiers and the Complexity of Theories.J. T. Baldwin & S. Shelah - 1985 - Notre Dame Journal of Formal Logic 26 (3):229-303.
  2. On the Structure of $\Operatorname{Ext}(a, \Mathbf{Z})$ in ZFC+.G. Sageev & S. Shelah - 1985 - Journal of Symbolic Logic 50 (2):302 - 315.
  3.  7
    Positive Results in Abstract Model Theory: A Theory of Compact Logics.J. A. Makowsky & S. Shelah - 1983 - Annals of Pure and Applied Logic 25 (3):263-299.
    We prove that compactness is equivalent to the amalgamation property, provided the occurrence number of the logic is smaller than the first uncountable measurable cardinal. We also relate compactness to the existence of certain regular ultrafilters related to the logic and develop a general theory of compactness and its consequences. We also prove some combinatorial results of independent interest.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  4.  8
    The Primal Framework II: Smoothness.J. T. Baldwin & S. Shelah - 1991 - Annals of Pure and Applied Logic 55 (1):1-34.
    Let be a class of models with a notion of ‘strong’ submodel and of canonically prime model over an increasing chain. We show under appropriate set-theoretic hypotheses that if K is not smooth , then K has many models in certain cardinalities. On the other hand, if K is smooth, we show that in reasonable cardinalities K has a unique homogeneous-universal model. In this situation we introduce the notion of type and prove the equivalence of saturated with homogeneous-universal.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  4
    The Primal Framework I.J. T. Baldwin & S. Shelah - 1990 - Annals of Pure and Applied Logic 46 (3):235-264.
  6.  8
    Borel Partitions of Infinite Subtrees of a Perfect Tree.A. Louveau, S. Shelah & B. Veličković - 1993 - Annals of Pure and Applied Logic 63 (3):271-281.
    Louveau, A., S. Shelah and B. Velikovi, Borel partitions of infinite subtrees of a perfect tree, Annals of Pure and Applied Logic 63 271–281. We define a notion of type of a perfect tree and show that, for any given type τ, if the set of all subtrees of a given perfect tree T which have type τ is partitioned into two Borel classes then there is a perfect subtree S of T such that all subtrees of S of type (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  17
    On the Existence of Atomic Models.M. C. Laskowski & S. Shelah - 1993 - Journal of Symbolic Logic 58 (4):1189-1194.
    We give an example of a countable theory $T$ such that for every cardinal $\lambda \geq \aleph_2$ there is a fully indiscernible set $A$ of power $\lambda$ such that the principal types are dense over $A$, yet there is no atomic model of $T$ over $A$. In particular, $T$ is a theory of size $\lambda$ where the principal types are dense, yet $T$ has no atomic model.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8.  18
    Isomorphic but Not Lower Base-Isomorphic Cylindric Set Algebras.B. Biró & S. Shelah - 1988 - Journal of Symbolic Logic 53 (3):846-853.
    This paper belongs to cylindric-algebraic model theory understood in the sense of algebraic logic. We show the existence of isomorphic but not lower base-isomorphic cylindric set algebras. These algebras are regular and locally finite. This solves a problem raised in [N 83] which was implicitly present also in [HMTAN 81]. This result implies that a theorem of Vaught for prime models of countable languages does not continue to hold for languages of any greater power.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  4
    A New Look at Interpretability and Saturation.M. Malliaris & S. Shelah - 2019 - Annals of Pure and Applied Logic 170 (5):642-671.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  7
    More on Simple Forcing Notions and Forcings with Ideals.M. Gitik & S. Shelah - 1993 - Annals of Pure and Applied Logic 59 (3):219-238.
    It is shown that cardinals below a real-valued measurable cardinal can be split into finitely many intervals so that the powers of cardinals from the same interval are the same. This generalizes a theorem of Prikry [9]. Suppose that the forcing with a κ-complete ideal over κ is isomorphic to the forcing of λ-Cohen or random reals. Then for some τ<κ, λτ2κ and λ2<κ implies that 2κ=2τ= cov. In particular, if 2κ<κ+ω, then λ=2κ. This answers a question from [3]. If (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11. Bezem, M., see Barendsen, E.G. M. Bierman, M. DZamonja, S. Shelah, S. Feferman, G. Jiiger, M. A. Jahn, S. Lempp, Sui Yuefei, S. D. Leonhardi & D. Macpherson - 1996 - Annals of Pure and Applied Logic 79 (1):317.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  12.  3
    Karp Complexity and Classes with the Independence Property.M. C. Laskowski & S. Shelah - 2003 - Annals of Pure and Applied Logic 120 (1-3):263-283.
    A class K of structures is controlled if for all cardinals λ, the relation of L∞,λ-equivalence partitions K into a set of equivalence classes . We prove that no pseudo-elementary class with the independence property is controlled. By contrast, there is a pseudo-elementary class with the strict order property that is controlled 69–88).
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  2
    Ramsey Ultrafilters and the Reaping Number—Con.M. Goldstern & S. Shelah - 1990 - Annals of Pure and Applied Logic 49 (2):121-142.
    We show that it is consistent that the reaping number r is less than u , the size of the smallest base for an ultrafilter. To show that our forcing preserves certain ultrafilters, we prove a general partition theorem involving Ramsey ideals.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14. A Graph Which Embeds All Small Graphs on Any Large Set of Vertices.S. Shelah - 1988 - Annals of Pure and Applied Logic 38 (2):171-183.
  15.  10
    Abstract Classes with Few Models Have `Homogeneous-Universal' Models.J. Baldwin & S. Shelah - 1995 - Journal of Symbolic Logic 60 (1):246-265.
  16.  24
    Identities on Cardinals Less Than ℵω.M. Gilchrist & S. Shelah - 1996 - Journal of Symbolic Logic 61 (3):780 - 787.
  17.  6
    The Karp Complexity of Unstable Classes.M. C. Laskowski & S. Shelah - 2001 - Archive for Mathematical Logic 40 (2):69-88.
    A class K of structures is controlled if, for all cardinals λ, the relation of L ∞,λ-equivalence partitions K into a set of equivalence classes (as opposed to a proper class). We prove that the class of doubly transitive linear orders is controlled, while any pseudo-elementary class with the ω-independence property is not controlled.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  10
    Remark to “Local Definability Theory” of Reyes.S. Shelah - 1971 - Annals of Mathematical Logic 2 (4):441-447.
  19.  8
    Weakly Compact Cardinals: A Combinatorial Proof.S. Shelah - 1979 - Journal of Symbolic Logic 44 (4):559-562.
  20. Downey, R., F, iiForte, G. And Nies, A., Addendum To.R. Jin, I. Kalantari, L. Welch, B. Khoussainov, R. A. Shore, A. P. Pynko, P. Scowcroft, S. Shelah, J. Zapletal & J. B. Wells - 1999 - Annals of Pure and Applied Logic 98:299.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  21.  11
    Forcing Isomorphism.J. T. Baldwin, M. C. Laskowski & S. Shelah - 1993 - Journal of Symbolic Logic 58 (4):1291-1301.
  22.  27
    Forcing Isomorphism II.M. C. Laskowski & S. Shelah - 1996 - Journal of Symbolic Logic 61 (4):1305-1320.
    If T has only countably many complete types, yet has a type of infinite multiplicity then there is a c.c.c. forcing notion Q such that, in any Q-generic extension of the universe, there are non-isomorphic models M 1 and M 2 of T that can be forced isomorphic by a c.c.c. forcing. We give examples showing that the hypothesis on the number of complete types is necessary and what happens if `c.c.c.' is replaced by other cardinal-preserving adjectives. We also give (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  23. GlaR, T., Rathjen, M. And Schliiter, A., On the Proof-Theoretic.G. Japaridze, R. Jin, S. Shelah, M. Otto, E. Palmgren & M. C. Stanley - 1997 - Annals of Pure and Applied Logic 85:283.
  24.  35
    On the Intersection of Closed Unbounded Sets.U. Abraham & S. Shelah - 1986 - Journal of Symbolic Logic 51 (1):180-189.
    Forcing extensions yield models of ZFC in which a long sequence of club subsets of ω 1 has the following property: every subsequence of size ℵ 1 has a finite intersection.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  25.  9
    Ge Sacks and Sg Simpson [1972] the Oz-Finite Injury Method, Ann. Math. Logic, 4, Pp. 323-367.M. Magidor, S. Shelah, J. Stavi, M. Mytilinaios, Ta Slaman, Jb Paris & H. la KirbyRogers Jr - 1999 - In Edward R. Griffor (ed.), Handbook of Computability Theory. Elsevier. pp. 299.
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  9
    Identities on Cardinals Less Than $Aleph_omega$.M. Gilchrist & S. Shelah - 1996 - Journal of Symbolic Logic 61 (3):780-787.
  27.  5
    Kaplansky's Problem on Valuation RingsA Transfer Theorem for Nonstandard UniserialsOn a Conjecture Regarding Nonstandard Uniserial ModulesExplicitly Non-Standard Uniserial Modules.Birge Huisgen-Zimmermann, Laszlo Fuchs, Saharon Shelah, Paul C. Eklof, P. C. Eklof & S. Shelah - 2002 - Bulletin of Symbolic Logic 8 (3):441.
  28.  6
    On Distinguishing Quotients of Symmetric Groups.S. Shelah & J. K. Truss - 1999 - Annals of Pure and Applied Logic 97 (1-3):47-83.
    A study of the elementary theory of quotients of symmetric groups is carried out in a similar spirit to Shelah . Apart from the trivial and alternating subgroups, the normal subgroups of the full symmetric group S on an infinite cardinal μ are all of the form Sκ = the subgroup consisting of elements whose support has cardinality 20, cƒ 20 < κ, 0 < κ < 20, and κ = 0, we make a further analysis of the first order (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
  29.  4
    Positional Strategies in Long Ehrenfeucht–Fraïssé Games.S. Shelah, J. Väänänen & B. Veličković - 2015 - Journal of Symbolic Logic 80 (1):285-300.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  3
    On the Structure of Ext in ZFC+.G. Sageev & S. Shelah - 1985 - Journal of Symbolic Logic 50 (2):302-315.
  31.  7
    Pointwise Compact and Stable Sets of Measurable Functions.S. Shelah & D. H. Fremlin - 1993 - Journal of Symbolic Logic 58 (2):435-455.
  32.  2
    Model-Theoretic Properties of Ultrafilters Built by Independent Families of Functions.M. Malliaris & S. Shelah - 2014 - Journal of Symbolic Logic 79 (1):103-134.
  33. Master Index to Volumes 11-30”.U. Abraham, M. Rubin & S. Shelah - 1986 - Annals of Pure and Applied Logic 30:323-329.
    No categories
     
    Export citation  
     
    Bookmark  
  34. Tency of Some Partition Theorems for Continuous Colorings, and the Structure of K,-Dense Real Order Types KALANTARI, I. And WEITKAMP, G., Effective Topological Spaces I: A Definability Theory. [REVIEW]U. Abraham, M. Rubin & S. Shelah - 1985 - Annals of Pure and Applied Logic 29:325.
     
    Export citation  
     
    Bookmark  
  35. Forcing Isomorphism.J. T. Baldwin, M. C. Laskowski & S. Shelah - 1994 - Journal of Symbolic Logic 59 (4):1291-1301.
     
    Export citation  
     
    Bookmark  
  36. Ash, CJ, Stability of Recursive Structures in Arithmetical Degrees Ash, CJ, Categoric@ in Hyperarithmetical Degrees.D. Cenzer, P. Clote, R. L. Smith, S. S. Wainer, K. J. Compton, C. W. Henson & S. Shelah - 1988 - Annals of Pure and Applied Logic 40:307-310.
  37. Baldwin, JT and Holland, K., Constructing Ω-Stable Struc-Tures: Model Completeness (1–3) 159–172 Berarducci, A. And Servi, T., An Effective Version of Wilkie's Theorem of the Complement and Some Effective o-Minimality Results (1–3) 43–74. [REVIEW]R. Downey, A. Li, G. Wu, M. Dzˇamonja & S. Shelah - 2004 - Annals of Pure and Applied Logic 125:173.
  38. Calude, C., Calude, E. And Khoussainov, B., Deterministic.S. Fuchino, S. Shelah, L. Soukup, M. Gitik, C. Merimovich, R. Laver, S. Riis, P. Sewell, S. Soloviev & O. Spinas - 1997 - Annals of Pure and Applied Logic 90 (1-3):277.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. Four Papers on Uniserial Modules.L. Fuchs, S. Shelah, P. Eklof & Birge Huisgen-Zimmermann - 2002 - Bulletin of Symbolic Logic 8 (3):441-442.
  40. Fellows, MR, See Cesati, M.M. Gitik, W. J. Mitchell, T. Glafi, T. Strahm, M. Grohe, G. Hjorth, A. S. Kechris, S. Shelah & X. Yi - 1996 - Annals of Pure and Applied Logic 82:343.
     
    Export citation  
     
    Bookmark  
  41. More on Ideals with Simple Forcing Notions.M. Gitik & S. Shelah - 1993 - Annals of Pure and Applied Logic 59 (3):219-238.
  42. 1 Kurt Gödel Research Center for Mathematical Logic, Universität Wien, Währinger Strasse 25, 1090 Wien 2 Einstein Institute of Mathematics, Edmond J. Safra Campus, Givat Ram, Hebrew University of Jerusalem, Jerusalem, 91904 3 Department of Mathematics, Rutgers University, New Brunswick, NJ 08854. [REVIEW]J. Kellner & S. Shelah - 2011 - Journal of Symbolic Logic 76 (4):1153-1183.
  43. J. EL1ASSON Ultrapowers as Sheaves on a Category of Ultrafilters 825 A. LEWIS Finite Cupping Sets 845.G. Metcalfe, N. Olivetti, D. Gabbay, H. Towsner, M. Dzamonja & S. Shelah - 2004 - Archive for Mathematical Logic 43 (7):934.
     
    Export citation  
     
    Bookmark  
  44. AMBOS-SPIES, K., LACHLAN, Continuity of Cupping to 0'.S. Shelah, C. Laflamme & B. Hart - 1993 - Annals of Pure and Applied Logic 64:293.
  45. On Cardinal Invariants of the Continuum. Axiomatic Set Theory.S. Shelah, D. A. Martin & J. Baumgartner - 2005 - Bulletin of Symbolic Logic 11 (3):451-453.
     
    Export citation  
     
    Bookmark  
  46. REVIEWS-On Cardinal Invariants of the Continuum.S. Shelah & Juris Steprans - 2005 - Bulletin of Symbolic Logic 11 (3):451-453.
     
    Export citation  
     
    Bookmark  
  47. ASH, CJ, Categoricity in Hyperarithmetical Degrees BALDWIN, JT and HARRINGTON, L., Trivial Pursuit: Re-Marks on the Main Gap COOPER, SB and EPSTEIN, RL, Complementing Below Re-Cursively Enumerable Degrees.J. Steprans & S. Shelah - 1987 - Annals of Pure and Applied Logic 34:311.