Switch to: References

Add citations

You must login to add citations.
  1. Galois-stability for Tame abstract elementary classes.Rami Grossberg & Monica Vandieren - 2006 - Journal of Mathematical Logic 6 (01):25-48.
    We introduce tame abstract elementary classes as a generalization of all cases of abstract elementary classes that are known to permit development of stability-like theory. In this paper, we explore stability results in this new context. We assume that [Formula: see text] is a tame abstract elementary class satisfying the amalgamation property with no maximal model. The main results include:. Theorem 0.1. Suppose that [Formula: see text] is not only tame, but [Formula: see text]-tame. If [Formula: see text] and [Formula: (...)
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • The equality S1 = D = R.Rami Grossberg, Alexei Kolesnikov, Ivan Tomašić & Monica Van Dieren - 2003 - Mathematical Logic Quarterly 49 (2):115-128.
    The new result of this paper is that for θ-stable we have S1[θ] = D[θ, L, ∞]. S1 is Hrushovski's rank. This is an improvement of a result of Kim and Pillay, who for simple theories under the assumption that either of the ranks be finite obtained the same identity. Only the first equality is new, the second equality is a result of Shelah from the seventies. We derive it by studying localizations of several rank functions, we get the followingMain (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Dividing lines in unstable theories and subclasses of Baire 1 functions.Karim Khanaki - 2022 - Archive for Mathematical Logic 61 (7):977-993.
    We give a new characterization of _SOP_ (the strict order property) in terms of the behaviour of formulas in any model of the theory as opposed to having to look at the behaviour of indiscernible sequences inside saturated ones. We refine a theorem of Shelah, namely a theory has _OP_ (the order property) if and only if it has _IP_ (the independence property) or _SOP_, in several ways by characterizing various notions in functional analytic style. We point out some connections (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On definability of types and relative stability.Viktor Verbovskiy - 2019 - Mathematical Logic Quarterly 65 (3):332-346.
    In this paper, we consider the question of definability of types in non‐stable theories. In order to do this we introduce a notion of a relatively stable theory: a theory is stable up to Δ if any Δ‐type over a model has few extensions up to complete types. We prove that an n‐type over a model of a theory that is stable up to Δ is definable if and only if its Δ‐part is definable.
    Download  
     
    Export citation  
     
    Bookmark