Related papers: Good Frames in the Hart-Shelah Example

We prove the uniqueness of high cofinality limit models in stable abstract elementary classes (AECs) with amalgamation, assuming the existence of a rather weak independence relation. $\textbf{Theorem.}$ Suppose $\mathbf{K}$ is a…

We prove that any tame abstract elementary class categorical in a suitable cardinal has an eventually global good frame: a forking-like notion defined on all types of single elements. This gives the first known general construction of a…

Algebras defined over fields of characteristic zero and positive characteristic usually do not behave the same way. However, for certain algebras, for example the group algebras, they behave the same way as the characteristic zero case at…

In the framework of graphs, we study abstract elementary classes (aecs). In this work we analyze several properties of Forb(G) and versions of Forb-Con(G) in the context of aecs and we present some examples of classes of graphs which…

Good frames were suggested in [Sh:h] as the (bare-bones) parallel, in the context of AECs, to superstable (among elementary classes). Here we consider $(\mu,\lambda,\kappa)$-frames as candidates for being (in the context of AECs) the…

We study multidimensional diagrams in independent amalgamation in the framework of abstract elementary classes (AECs). We use them to prove the eventual categoricity conjecture for AECs, assuming a large cardinal axiom. More precisely, we…

Part I: We would like to generalize imaginary elements, weight of ${\rm ortp}(a,M,N),{\mathbf P}$-weight, ${\mathbf P}$-simple types, etc. from [Sh:c, Ch.III,V,\S4] to the context of good frames. This requires allowing the vocabulary to…

We study when a union of saturated models is saturated in the framework of tame abstract elementary classes (AECs) with amalgamation. We prove: $\mathbf{Theorem}$ If $K$ is a tame AEC with amalgamation satisfying a natural definition of…

We show that $\beth_{(2^{\operatorname{LS}({\bf K})})^+}$ is the lower bound to the Hanf numbers for the length of the order property and for stability in stable abstract elementary classes (AECs). Our examples satisfy the joint embedding…

We provide a short proof of Shelah's eventual categoricity conjecture, assuming the Generalized Continuum Hypothesis ($GCH$), for abstract elementary classes (AEC's) with interpolation, a strengthening of amalgamation which is a necessary…

We study the problem of extending an abstract independence notion for types of singletons (what Shelah calls a good frame) to longer types. Working in the framework of tame abstract elementary classes, we show that good frames can always be…

We introduce the notion of a `pure` Abstract Elementary Class to block trivial counterexamples. We study classes of models of bipartite graphs and show: Main Theorem (cf. Theorem 3.5.2 and Corollary 3.5.6): If $(\lambda_i : i \le…

This paper continues the study of superstability in abstract elementary classes (AECs) satisfying the amalgamation property. In particular, we consider the definition of $\mu$-superstability which is based on the local character…

We prove: $\mathbf{Theorem}$ Let $K$ be a universal class. If $K$ is categorical in cardinals of arbitrarily high cofinality, then $K$ is categorical on a tail of cardinals. The proof stems from ideas of Adi Jarden and Will Boney, and also…

We show how to build primes models in classes of saturated models of abstract elementary classes (AECs) having a well-behaved independence relation: $\mathbf{Theorem.}$ Let $K$ be an almost fully good AEC that is categorical in $\text{LS}…

We provide a complete classification of all the possible categoricity spectra, in terms of internal size, that can appear in a large accessible category with directed colimits, assuming the Singular Cardinal Hypothesis ($SCH$), and…

First we prove that any inner automorphism in the stabilizer of a graded-simple unital associative algebra whose grading group is abelian is the conjugation by a homogeneous element. Now consider a grading by an abelian group on an…

We study amalgamation properties in a family of abstract elementary classes that we call coloring classes. The family includes the examples previously studied in previous work of Baldwin, Kolesnikov, and Shelah. We establish that the…

We prove a version of a small index property theorem for strong amalgamation classes. Our result builds on an earlier theorem by Lascar and Shelah (in their case, for saturated models of uncountable first-order theories). We then study…

We construct a locally profinite set of cardinality $\aleph_{\omega}$ with infinitely many first cohomology classes of which any distinct finite product does not vanish. Building on this, we construct the first example of a nondescendable…