Searcharxiv⌕ Search

arXiv subjects

Will Boney

Publications and source records attributed to Will Boney.

33 records · Page 2Linked to original sources
arXiv2017

Superstability from categoricity in abstract elementary classes

Starting from an abstract elementary class with no maximal models, Shelah and Villaveces have shown (assuming instances of diamond) that categoricity implies a superstability-like property for a certain independence relation called nonsplitting. We generalize their result as follows: given an abstract notion of independence for Galois (orbital) types over models, we derive that the notion satisfies a superstability property provided that the class is categorical and satisfies a weakening of amalgamation. This extends the Shelah-Villaveces result (the independence notion there was splitting) as well as a result of the first and second author where the independence notion was coheir. The argument is in ZFC and fills a gap in the Shelah-Villaveces proof.

math.LO↗
arXiv2017

Forking in Short and Tame Abstract Elementary Classes

We develop a notion of forking for Galois-types in the context of Abstract Elementary Classes (AECs). Under the hypotheses that an AEC $K$ is tame, type-short, and failure of an order-property, we consider {\bf Definition.} Let $M_0 \prec N$ be models from $K$ and $A$ be a set. We say that the Galois-type of $A$ over $M$ \emph{does not fork over $M_0$} iff for all small $a \in A$ and all small $N^- \prec N$, we have that Galois-type of $a$ over $N^-$ is realized in $M_0$. Assuming property (E) (see Definition 3.3) we show that this non-forking is a well behaved notion of independence, in particular satisfies symmetry and uniqueness and has a corresponding U-rank. We find conditions for a universal local character, in particular derive superstability-like property from little more than categoricity in a \big cardinal". Finally, we show that under large cardinal axioms the proofs are simpler and the non-forking is more powerful. In [BGKV] it is established that this notion of non-forking is the only independence relation possible.

math.LO↗
arXiv2017

Tameness and frames revisited

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 extended to types of independent sequences. As an application, we show that tameness and a good frame imply Shelah's notion of dimension is well-behaved, complementing previous work of Jarden and Sitton. We also improve a result of the first author on extending a frame to larger models.

math.LO↗
arXiv2016

A presentation theorem for continuous logic and Metric Abstract Elementary Classes

We give a presentation theorem for continuous first-order logic and Metric Abstract Elementary classes in terms of $L_{ω_1, ω}$ and Abstract Elementary Classes, respectively. This presentation is accomplished by analyzing dense subsets that are closed under functions. We extend this correspondence to types and saturation.

math.LO↗
arXiv2016

Hanf Numbers and Presentation Theorems in AECs

We prove that a strongly compact cardinal is an upper bound for a Hanf number for amalgamation, etc. in AECs using both semantic and syntactic methods. To syntactically prove non-disjoint amalgamation, a different presentation theorem than Shelah's is needed. This relational presentation theorem has the added advantage of being {\it functorial}, which allows the transfer of amalgamation.

math.LO↗
arXiv2016

A survey on tame abstract elementary classes

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 independence relations such as Shelah's good frames have been found to be key objects. Several new categoricity transfers have been obtained. We survey these developments using the following result (due to the second author) as our guiding thread: $\mathbf{Theorem}$ If a universal class is categorical in cardinals of arbitrarily high cofinality, then it is categorical on a tail of cardinals.

math.LO↗
arXiv2016

Canonical forking in AECs

Boney and Grossberg [BG] proved that every nice AEC has an independence relation. We prove that this relation is unique: In any given AEC, there can exist at most one independence relation that satisfies existence, extension, uniqueness and local character. While doing this, we study more generally properties of independence relations for AECs and also prove a canonicity result for Shelah's good frames. The usual tools of first-order logic (like the finite equivalence relation theorem or the type amalgamation theorem in simple theories) are not available in this context. In addition to the loss of the compactness theorem, we have the added difficulty of not being able to assume that types are sets of formulas. We work axiomatically and develop new tools to understand this general framework.

math.LO↗
arXiv2016

$μ$-Abstract Elementary Classes and other generalizations

We introduce $μ$-Abstract Elementary Classes ($μ$-AECs) as a broad framework for model theory that includes complete boolean algebras and Dirichlet series, and begin to develop their classification theory. Moreover, we note that $μ$-AECs correspond precisely to accessible categories in which all morphisms are monomorphisms, and begin the process of reconciling these divergent perspectives: not least, the preliminary classification-theoretic results for μ-AECs transfer directly to accessible categories with monomorphisms.

math.LO↗
arXiv2015

No Maximal Models from Looking Down

In [Sh893], Shelah proves that (on a stationary set of cardinals) an AEC has not too many models or every model has extensions of arbitrary cardinality. We show that, if we assume limited amalgamation, then the second condition holds for a larger class of cardinals.

math.LO↗
arXiv2015

Categoricity and infinitary logics

We point out a gap in Shelah's proof of the following result: $\mathbf{Claim}$ Let $K$ be an abstract elementary class categorical in unboundedly many cardinals. Then there exists a cardinal $λ$ such that whenever $M, N \in K$ have size at least $λ$, $M \le N$ if and only if $M \preceq_{L_{\infty, \text{LS} (K)^+}} N$. The importance of the claim lies in the following theorem, implicit in Shelah's work: $\mathbf{Theorem}$ Assume the claim. Let $K$ be an abstract elementary class categorical in unboundedly many cardinals. Then the class of $λ$ such that: 1) $K$ is categorical in $λ$; 2) $K$ has amalgamation in $λ$; and 3) there is a good $λ$-frame with underlying class $K_λ$ is stationary. We give a proof and discuss some related questions.

math.LO↗
arXiv2014

Tameness from Large Cardinal Axioms

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 $LS(K)$ below a strongly compact cardinal $κ$ is $< κ$ tame and applying the categoricity transfer of Grossberg and VanDieren. These techniques also apply to measurable and weakly compact cardinals and we prove similar tameness results under those hypotheses. We isolate a dual property to tameness, called \emph{type shortness}, and show that it follows similarly from large cardinals.

math.LO↗
arXiv2014

Tameness and Extending Frames

We combine two notions in AECs, tameness and good $λ$-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 increases the applicability of frames. Along the way, we prove a complete stability transfer theorem and uniqueness of limit models in these AECs.

math.LO↗
arXiv2014

Computing the Number of Types of Infinite Length

We show that the number of types of sequences of tuples of a fixed length can be calculated from the number of 1-types and the length of the sequences. Specifically, if $κ\leq λ$, then $$\sup_{|A| = λ} |S^κ(A)| = (\sup_{|A| = λ} |S^1(A)|)^κ$$ We show that this holds for any abstract elementary class with $λ$ amalgamation, but it is new for first order theories when $κ$ is infinite. No such calculation is possible for nonalgebraic types. We introduce a generalization of nonalgebraic types for which the same upper bound holds.

math.LO↗