Switch to: References

Add citations

You must login to add citations.
  1. An Invitation to Extension Domination.Kyle Gannon & Jinhe Ye - 2023 - Notre Dame Journal of Formal Logic 64 (3):253-280.
    Motivated by the theory of domination for types, we introduce a notion of domination for Keisler measures called extension domination. We argue that this variant of domination behaves similarly to its typesetting counterpart. We prove that extension domination extends domination for types and that it forms a preorder on the space of global Keisler measures. We then explore some basic properties related to this notion (e.g., approximations by formulas, closure under localizations, convex combinations). We also prove a few preservation theorems (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Categoricity and ranks.Jürgen Saffe - 1984 - Journal of Symbolic Logic 49 (4):1379-1392.
    In this paper we investigate the connections between categoricity and ranks. We use stability theory to prove some old and new results.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • On Cantor-bendixson spectra containing (1,1). II.Annalisa Marcja & Carlo Toffalori - 1985 - Journal of Symbolic Logic 50 (3):611-618.
    Download  
     
    Export citation  
     
    Bookmark  
  • Generically stable regular types.Predrag Tanović - 2015 - Journal of Symbolic Logic 80 (1):308-321.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Regular types in nonmultidimensional ω-stable theories.Anand Pillay - 1984 - Journal of Symbolic Logic 49 (3):880-891.
    We define a hierarchy on the regular types of an ω-stable nonmultidimensional theory, using generalised notions of algebraic and strongly minimal formulae. As an application we show that any resplendent model of an ω-stable finite-dimensional theory is saturated.
    Download  
     
    Export citation  
     
    Bookmark  
  • Generalizations of Deissler's Minimality Rank.T. G. Kucera - 1988 - Journal of Symbolic Logic 53 (1):269-283.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Totally transcendental theories of modules: decomposition of models and types.T. G. Kucera - 1988 - Annals of Pure and Applied Logic 39 (3):239-272.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The generalised RK-Order, orthogonality and regular types for modules.Mike Prest - 1985 - Journal of Symbolic Logic 50 (1):202-219.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Quelques précisions sur la D.o.P. Et la profondeur d'une theorie.D. Lascar - 1985 - Journal of Symbolic Logic 50 (2):316-330.
    We give here alternative definitions for the notions that S. Shelah has introduced in recent papers: the dimensional order property and the depth of a theory. We will also give a proof that the depth of a countable theory, when defined, is an ordinal recursive in T.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On two hierarchies of dimensions.Andreas Baudisch - 1987 - Journal of Symbolic Logic 52 (4):959-968.
    Let T be a countable, complete, ω-stable, nonmultidimensional theory. By Lascar [7], in T eq there is in every dimension of T a type with Lascar rank ω α for some α. We give sufficient conditions for α to coincide with the level of that dimension in Pillay's [10] RK-hierarchy of dimensions computed in T eq . In particular, this is fulfilled for modules.
    Download  
     
    Export citation  
     
    Bookmark  
  • Classification and interpretation.Andreas Baudisch - 1989 - Journal of Symbolic Logic 54 (1):138-159.
    Let S and T be countable complete theories. We assume that T is superstable without the dimensional order property, and S is interpretable in T in such a way that every model of S is coded in a model of T. We show that S does not have the dimensional order property, and we discuss the question of whether $\operatorname{Depth}(S) \leq \operatorname{Depth}(T)$ . For Mekler's uniform interpretation of arbitrary theories S of finite similarity type into suitable theories T s of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations