Related papers: Tameness and frames revisited
We combine two notions in AECs, tameness and good $\lambda$-frames, and show that they together give a very well-behaved nonforking notion in all cardinalities. This helps to fill a longstanding gap in classification theory of tame AECs and…
We present a connection between tameness and non-forking frames. In addition we improve results about independence and dimension.
We introduce the notion of a w-good $\lambda$-frame which is a weakening of Shelah's notion of a good $\lambda$-frame. Existence of a w-good $\lambda$-frame implies existence of a model of size $\lambda^{++}$. Tameness and amalgamation…
Tame abstract elementary classes are a broad nonelementary framework for model theory that encompasses several examples of interest. In recent years, progress toward developing a classification theory for them have been made. Abstract…
We show, assuming a mild set-theoretic hypothesis, that if an abstract elementary class (AEC) has a superstable-like forking notion for models of cardinality $\lambda$ and a superstable-like forking notion for models of cardinality…
We study general methods to build forking-like notions in the framework of tame abstract elementary classes (AECs) with amalgamation. We show that whenever such classes are categorical in a high-enough cardinal, they admit a good frame: a…
We presents an independence relation on sets, one can define dimension by it, assuming that we have an abstract elementary class with a forking notion that satisfies the axioms of a good frame minus stability.
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…
We combine two approaches to the study of classification theory of AECs: 1. that of Shelah: studying non-forking frames without assuming the amalgamation property but assuming the existence of uniqueness triples and 2. that of Grossberg and…
lambda-good frame is for us a parallel of the class of models of a superstable theory. Our main line is to start with lambda-good^+ frame s, categorical in lambda, n-successful for n large enough and try to have parallel of stability theory…
This is the second in a series of articles developing abstract classification theory for classes that have a notion of prime models over independent pairs and over chains. It deals with the problem of smoothness and establishing the…
We propose a generalized finiteness principle for physical theories, in terms of the concept of tameness in mathematical logic. A tame function or space can only have a finite amount of structure, in a precise sense which we explain.…
In the area of Tame Geometry, different model-theoretic tameness conditions are established and their relationships are analyzed. We construct a subfield $K$ of the real numbers that lacks several of such tameness properties. As our main…
We use orthogonality calculus to prove a downward transfer from categoricity in a successor in abstract elementary classes (AECs) that have a good frame (a forking-like notion for types of singletons) on an interval of cardinals:…
In the setup of abstract elementary classes satisfying a local version of superstability, we prove the uniqueness property for $\mu$-forking, a certain independence notion arising from splitting. This had been a longstanding technical…
We provide comprehensive, level-by-level characterizations of large cardinals, in the range from weakly compact to strongly compact, by closure properties of powerful images of accessible functors. In the process, we show that these…
We develop a new notion of independence suggested by Scanlon (th-independence). We prove that in a large class of theories (which includes all simple theories) this notion has many of the properties needed for an adequate geometric…
The concept of frames, initially introduced by Duffin and Schaeffer, gained substantial recognition decades later when Daubechies, Grossman, and Meyer highlighted its significance. Since then, frame theory has become a fundamental and…
For a fixed natural number $n \geq 1$, the Hart-Shelah example is an abstract elementary class (AEC) with amalgamation that is categorical exactly in the infinite cardinals less than or equal to $\aleph_n$. We investigate recently-isolated…
We show that Shelah's Eventual Categoricity Conjecture follows from the existence of class many strongly compact cardinals. This is the first time the consistency of this conjecture has been proven. We do so by showing that every AEC with…