Showing 1–30 of 30 results for author: Boney, W

Cofinality quantifiers in Abstract Elementary Classes and beyond

Authors: Will Boney

Abstract: The cofinality quantifiers were introduced by Shelah as an example of a compact logic stronger than first-order logic. We show that the classes of models axiomatized by these quantifiers can be turned into an Abstract Elementary Class by restricting to positive and deliberate uses. Rather than using an ad hoc proof, we give a general framework of abstract Skolemization that can prove a wide range… ▽ More The cofinality quantifiers were introduced by Shelah as an example of a compact logic stronger than first-order logic. We show that the classes of models axiomatized by these quantifiers can be turned into an Abstract Elementary Class by restricting to positive and deliberate uses. Rather than using an ad hoc proof, we give a general framework of abstract Skolemization that can prove a wide range of examples are Abstract Elementary Classes. △ Less

Submitted 28 September, 2022; originally announced September 2022.

Model Theoretic Characterizations of Large Cardinals Revisited

Authors: Will Boney, Stamatis Dimopoulos, Victoria Gitman, Menachem Magidor

Abstract: In [Bon20], model theoretic characterizations of several established large cardinal notions were given. We continue this work, by establishing such characterizations for Woodin cardinals (and variants), various virtual large cardinals, and subtle cardinals. In [Bon20], model theoretic characterizations of several established large cardinal notions were given. We continue this work, by establishing such characterizations for Woodin cardinals (and variants), various virtual large cardinals, and subtle cardinals. △ Less

Submitted 1 February, 2022; originally announced February 2022.

Tameness, powerful images, and large cardinals

Authors: Will Boney, Michael Lieberman

Abstract: 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 properties are also equivalent to various forms of tameness for abstract elementary classes. This systematizes and extends results of [BU17], [BTR16], [Lie18], and [LR… ▽ More 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 properties are also equivalent to various forms of tameness for abstract elementary classes. This systematizes and extends results of [BU17], [BTR16], [Lie18], and [LR16]. △ Less

Submitted 11 March, 2020; v1 submitted 26 February, 2019; originally announced February 2019.

MSC Class: 03E55; 03C95; 18C35

Erdős-Rado Classes

Authors: Will Boney

Abstract: We amalgamate two generalizations of Ramsey's Theorem--Ramsey classes and the Erdős-Rado Theorem--into the notion of a combinatorial Erdős-Rado class. These classes are closely related to Erdős-Rado classes, which are those from which we can build generalized indiscernibles and blueprints in nonelementary classes, especially Abstract Elementary Classes. We give several examples and some applicatio… ▽ More We amalgamate two generalizations of Ramsey's Theorem--Ramsey classes and the Erdős-Rado Theorem--into the notion of a combinatorial Erdős-Rado class. These classes are closely related to Erdős-Rado classes, which are those from which we can build generalized indiscernibles and blueprints in nonelementary classes, especially Abstract Elementary Classes. We give several examples and some applications. △ Less

Submitted 23 May, 2019; v1 submitted 2 October, 2018; originally announced October 2018.

A Lower Bound for the Hanf Number for Joint Embedding

Authors: Will Boney, Ioannis Souldatos

Abstract: In [13] the authors show that if $μ$ is a strongly compact cardinal, $K$ is an Abstract Elementary Class (AEC) with $LS(K)<μ$, and $K$ satisfies joint embedding (amalgamation) cofinally below $μ$, then $K$ satisfies joint embedding (amalgamation) in all cardinals $\ge μ$. The question was raised if the strongly compact upper bound was optimal. In this paper we prove the existence of an AEC $K$ t… ▽ More In [13] the authors show that if $μ$ is a strongly compact cardinal, $K$ is an Abstract Elementary Class (AEC) with $LS(K)<μ$, and $K$ satisfies joint embedding (amalgamation) cofinally below $μ$, then $K$ satisfies joint embedding (amalgamation) in all cardinals $\ge μ$. The question was raised if the strongly compact upper bound was optimal. In this paper we prove the existence of an AEC $K$ that can be axiomatized by an $\mathcal{L}_{ω_1,ω}$-sentence in a countable vocabulary, so that if $μ$ is the first measurable cardinal, then (1) $K$ satisfies joint embedding cofinally below $μ$ ; (2) $K$ fails joint embedding cofinally below $μ$; and (3) $K$ satisfies joint embedding above $μ$. Moreover, the example can be generalized to an AEC $K^χ$ axiomatized in $\mathcal{L}_{χ^+, ω}$, in a vocabulary of size $χ$, such that (1)-(3) hold with $μ$ being the first measurable above $χ$. This proves that the Hanf number for joint embedding is contained in the interval between the first measurable and the first strongly compact. Since these two cardinals can consistently coincide, the upper bound from [13] is consistently optimal. This is also the first example of a sentence whose joint embedding spectrum is (consistently) neither an initial nor an eventual interval of cardinals. By Theorem 3.26, it is consistent that for any club $C$ on the first measurable $μ$, JEP holds exactly on $\lim C$ and everywhere above $μ$. △ Less

Submitted 4 January, 2022; v1 submitted 9 August, 2018; originally announced August 2018.

Comments: submitted, 17 pages

MSC Class: Primary 03C48; 03E55 Secondary 03C55

Which Classes of Structures Are Both Pseudo-elementary and Definable by an Infinitary Sentence?

Authors: Will Boney, Barbara F. Csima, Nancy A. Day, Matthew Harrison-Trainor

Abstract: When classes of structures are not first-order definable, we might still try to find a nice description. There are two common ways for doing this. One is to expand the language, leading to notions of pseudo-elementary classes, and the other is to allow infinite conjuncts and disjuncts. In this paper we examine the intersection. Namely, we address the question: Which classes of structures are both… ▽ More When classes of structures are not first-order definable, we might still try to find a nice description. There are two common ways for doing this. One is to expand the language, leading to notions of pseudo-elementary classes, and the other is to allow infinite conjuncts and disjuncts. In this paper we examine the intersection. Namely, we address the question: Which classes of structures are both pseudo-elementary and $\mathcal{L}_{ω_1 ω}$-elementary? We find that these are exactly the classes that can be defined by an infinitary formula that has no infinitary disjunctions. △ Less

Submitted 30 April, 2020; v1 submitted 5 August, 2018; originally announced August 2018.

Categoricity in multiuniversal classes

Authors: Nathanael Ackerman, Will Boney, Sebastien Vasey

Abstract: The third author has shown that Shelah's eventual categoricity conjecture holds in universal classes: class of structures closed under isomorphisms, substructures, and unions of chains. We extend this result to the framework of multiuniversal classes. Roughly speaking, these are classes with a closure operator that is essentially algebraic closure (instead of, in the universal case, being essentia… ▽ More The third author has shown that Shelah's eventual categoricity conjecture holds in universal classes: class of structures closed under isomorphisms, substructures, and unions of chains. We extend this result to the framework of multiuniversal classes. Roughly speaking, these are classes with a closure operator that is essentially algebraic closure (instead of, in the universal case, being essentially definable closure). Along the way, we prove in particular that Galois (orbital) types in multiuniversal classes are determined by their finite restrictions, generalizing a result of the second author. △ Less

Submitted 17 May, 2019; v1 submitted 24 April, 2018; originally announced April 2018.

Comments: 15 pages

MSC Class: 03C48 (Primary); 03C45; 03C52; 03C55; 03C75 (Secondary)

Structural Logic and Abstract Elementary Classes with Intersection

Authors: Will Boney, Sebastien Vasey

Abstract: We give a syntactic characterization of abstract elementary classes (AECs) closed under intersections using a new logic with a quantifier for isomorphism types that we call structural logic: we prove that AECs with intersections correspond to classes of models of a universal theory in structural logic. This generalizes Tarski's syntactic characterization of universal classes. As a corollary, we ob… ▽ More We give a syntactic characterization of abstract elementary classes (AECs) closed under intersections using a new logic with a quantifier for isomorphism types that we call structural logic: we prove that AECs with intersections correspond to classes of models of a universal theory in structural logic. This generalizes Tarski's syntactic characterization of universal classes. As a corollary, we obtain that any AEC with countable Löwenheim-Skolem number is axiomatizable in $\mathbb{L}_{\infty, ω} (Q)$, where $Q$ is the quantifier "there exists uncountably many". △ Less

Submitted 9 December, 2018; v1 submitted 5 January, 2018; originally announced January 2018.

Comments: 14 pages

MSC Class: 03C48 (Primary); 03B60; 03C80; 03C95 (Secondary)

Journal ref: Bulletin of the Polish Academy of Sciences (Mathematics) 67 (2019), 1-17

Model-theoretic Characterizations of Large Cardinals

Authors: Will Boney

Abstract: We consider compactness characterizations of large cardinals. Based on results of Benda \cite{b-sccomp}, we study compactness for omitting types in various logics. In $\bL_{κ, κ}$, this allows us to characterize any large cardinal defined in terms of normal ultrafilters, and we also analyze second-order and sort logic. In particular, we give a compactness for omitting types characterization of hug… ▽ More We consider compactness characterizations of large cardinals. Based on results of Benda \cite{b-sccomp}, we study compactness for omitting types in various logics. In $\bL_{κ, κ}$, this allows us to characterize any large cardinal defined in terms of normal ultrafilters, and we also analyze second-order and sort logic. In particular, we give a compactness for omitting types characterization of huge cardinals, which have consistency strength beyond Vopěnka's Principle. △ Less

Submitted 15 March, 2019; v1 submitted 24 August, 2017; originally announced August 2017.

Shelah-Villaveces revisited

Authors: Will Boney, Monica M. VanDieren, Sebastien Vasey

Abstract: We study uniqueness of limit models in abstract elementary classes (AECs) with no maximal models. We prove (assuming instances of diamonds) that categoricity in a cardinal of the form $μ^{+(n + 1)}$ implies the uniqueness of limit models of cardinality $μ^{+}, μ^{++}, \ldots, μ^{+n}$. This sheds light on a paper of Shelah and Villaveces, who were the first to consider uniqueness of limit models in… ▽ More We study uniqueness of limit models in abstract elementary classes (AECs) with no maximal models. We prove (assuming instances of diamonds) that categoricity in a cardinal of the form $μ^{+(n + 1)}$ implies the uniqueness of limit models of cardinality $μ^{+}, μ^{++}, \ldots, μ^{+n}$. This sheds light on a paper of Shelah and Villaveces, who were the first to consider uniqueness of limit models in this context. We also prove that (again assuming instances of diamonds) in an AEC with no maximal models, tameness (a locality property for types) together with categoricity in a proper class of cardinals imply categoricity on a tail of cardinals. This is the first categoricity transfer theorem in that setup and answers a question of Baldwin. △ Less

Submitted 5 March, 2017; v1 submitted 16 November, 2016; originally announced November 2016.

Comments: Paper withdrawn due to a fatal mistake

MSC Class: 03C48 (Primary); 03C45; 03C52; 03C55 (Secondary)

Superstability from categoricity in abstract elementary classes

Authors: Will Boney, Rami Grossberg, Monica M. VanDieren, Sebastien Vasey

Abstract: 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 satisfie… ▽ More 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. △ Less

Submitted 6 January, 2017; v1 submitted 22 September, 2016; originally announced September 2016.

Comments: 14 pages

MSC Class: 03C48 (Primary); 03C45; 03C52; 03C55 (Secondary)

Journal ref: Annals of Pure and Applied Logic 168 (2017), no. 7, 1383-1395

Definable Coherent Ultrapowers and Elementary Extensions

Authors: Will Boney

Abstract: We develop the notion of coherent ultrafilters (extenders without normality or well-foundedness). We then use definable coherent ultraproducts to characterize any extension of a model $M$ in any fragment of $\mathbb{L}_{\infty, ω}$ that defines Skolem functions by a sufficiently complete (but in $ZFC$) coherent ultrafilter. We apply this method to various elementary classes and AECs. We develop the notion of coherent ultrafilters (extenders without normality or well-foundedness). We then use definable coherent ultraproducts to characterize any extension of a model $M$ in any fragment of $\mathbb{L}_{\infty, ω}$ that defines Skolem functions by a sufficiently complete (but in $ZFC$) coherent ultrafilter. We apply this method to various elementary classes and AECs. △ Less

Submitted 20 August, 2017; v1 submitted 9 September, 2016; originally announced September 2016.

Good Frames in the Hart-Shelah Example

Authors: Will Boney, Sebastien Vasey

Abstract: 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 properties of AECs in the setting of this example. We isolate the exact amount of type-shortness holding in the example and show that it has a type-full good… ▽ More 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 properties of AECs in the setting of this example. We isolate the exact amount of type-shortness holding in the example and show that it has a type-full good $\aleph_{n-1}$-frame which fails the existence property for uniqueness triples. This gives the first example of such a frame. Along the way, we develop new tools to build and analyze good frames. △ Less

Submitted 8 November, 2017; v1 submitted 13 July, 2016; originally announced July 2016.

Comments: 24 pages

MSC Class: 03C48 (Primary); 03C45; 03C52; 03C55 (Secondary)

Journal ref: Archive for Mathematical Logic 57 (2018), nos. 5-6, 687-712

A survey on tame abstract elementary classes

Authors: Will Boney, Sebastien Vasey

Abstract: Tame abstract elementary classes are a broad nonelementary framework for model theory that encompasses several examples of interest. In recent years, progress toward develo** 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 develop… ▽ More Tame abstract elementary classes are a broad nonelementary framework for model theory that encompasses several examples of interest. In recent years, progress toward develo** 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. △ Less

Submitted 23 July, 2016; v1 submitted 30 November, 2015; originally announced December 2015.

Comments: 84 pages

MSC Class: 03C48 (Primary); 03C45; 03C52; 03C55 (Secondary)

Journal ref: Beyond First Order Model Theory (José Iovino ed.), CRC Press (2017), 353-427

Hanf Numbers and Presentation Theorems in AECs

Authors: Will Boney, John Baldwin

Abstract: 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. 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. △ Less

Submitted 19 August, 2016; v1 submitted 9 November, 2015; originally announced November 2015.

No Maximal Models from Looking Down

Authors: Will Boney

Abstract: 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. 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. △ Less

Submitted 3 November, 2015; originally announced November 2015.

The Γ-Ultraproduct and Averageable Classes

Authors: Will Boney

Abstract: We consider an ultraproduct that is designed to omit a fixed set of unary types $Γ$, called the $Γ$-ultraproduct. The $Γ$-ultraproduct is not always well-behaved, but we discuss several general conditions under which it is and several examples. We consider an ultraproduct that is designed to omit a fixed set of unary types $Γ$, called the $Γ$-ultraproduct. The $Γ$-ultraproduct is not always well-behaved, but we discuss several general conditions under which it is and several examples. △ Less

Submitted 16 August, 2017; v1 submitted 3 November, 2015; originally announced November 2015.

$μ$-Abstract Elementary Classes and other generalizations

Authors: Will Boney, Rami Grossberg, Michael Lieberman, Jiri Rosicky, Sebastien Vasey

Abstract: 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 lea… ▽ More 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. △ Less

Submitted 11 February, 2016; v1 submitted 24 September, 2015; originally announced September 2015.

Comments: 26 pp

MSC Class: 03C48 (Primary); 03C45; 18C35; 03C52; 03C55; 03C75; 03E55 (Secondary)

Journal ref: Journal of Pure and Applied Algebra 220 (2016), no. 9, 3048-3066

Large Cardinal Axioms from Tameness in AECs

Authors: Will Boney, Spencer Unger

Abstract: We show that various tameness assertions about abstract elementary classes imply the existence of large cardinals under mild cardinal arithmetic assumptions. We show that various tameness assertions about abstract elementary classes imply the existence of large cardinals under mild cardinal arithmetic assumptions. △ Less

Submitted 19 October, 2016; v1 submitted 3 September, 2015; originally announced September 2015.

Around the set-theoretical consistency of d-tameness of Metric Abstract Elementary Classes

Authors: Will Boney, Pedro Zambrano

Abstract: In this paper, we prove that if $κ$ is a almost strongly compact cardinal, then any MAEC with Löwenheim-Skolem number below $κ$ is $<κ$-d-tame. In this paper, we prove that if $κ$ is a almost strongly compact cardinal, then any MAEC with Löwenheim-Skolem number below $κ$ is $<κ$-d-tame. △ Less

Submitted 22 August, 2015; originally announced August 2015.

Limit Models in Strictly Stable Abstract Elementary Classes

Authors: Will Boney, Monica M. VanDieren

Abstract: In this paper, we examine the locality condition for non-splitting and determine the level of uniqueness of limit models that can be recovered in some stable, but not superstable, abstract elementary classes. In particular we prove: Suppose that $K$ is an abstract elementary class satisfying 1. the joint embedding and amalgamation properties with no maximal model of cardinality $μ$. 2. stabi… ▽ More In this paper, we examine the locality condition for non-splitting and determine the level of uniqueness of limit models that can be recovered in some stable, but not superstable, abstract elementary classes. In particular we prove: Suppose that $K$ is an abstract elementary class satisfying 1. the joint embedding and amalgamation properties with no maximal model of cardinality $μ$. 2. stabilty in $μ$. 3. $κ_μ(K)<μ^+$. 4. continuity for non-$μ$-splitting (i.e. if $p\in gS(M)$ and $M$ is a limit model witnessed by $\langle M_i\mid i<α\rangle$ for some limit ordinal $α<μ^+$ and there exists $N$ so that $p\restriction M_i$ does not $μ$-split over $N$ for all $i<α$, then $p$ does not $μ$-split over $N$). For $θ$ and $δ$ limit ordinals $<μ^+$ both with cofinality $\geq κ_μ(K)$, if $K$ satisfies symmetry for non-$μ$-splitting (or just $(μ,δ)$-symmetry), then, for any $M_1$ and $M_2$ that are $(μ,θ)$ and $(μ,δ)$-limit models over $M_0$, respectively, we have that $M_1$ and $M_2$ are isomorphic over $M_0$. △ Less

Submitted 29 December, 2022; v1 submitted 19 August, 2015; originally announced August 2015.

Comments: This article generalizes some results from arXiv:1507.01990

Categoricity and infinitary logics

Authors: Will Boney, Sebastien Vasey

Abstract: 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 Sh… ▽ More 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. △ Less

Submitted 16 October, 2015; v1 submitted 13 August, 2015; originally announced August 2015.

Comments: 9 pages. Major changes after a mistake was discovered in the previous version

MSC Class: 03C48 (Primary); 03C25; 03C45; 03C52; 03C55; 03C75 (Secondary)

Chains of saturated models in AECs

Authors: Will Boney, Sebastien Vasey

Abstract: 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 superstability (which follows from categoricity in a high-enough cardinal), then for all high-enough $λ$: * The union of an increasing chain of $λ$-saturated… ▽ More 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 superstability (which follows from categoricity in a high-enough cardinal), then for all high-enough $λ$: * The union of an increasing chain of $λ$-saturated models is $λ$-saturated. * There exists a type-full good $λ$-frame with underlying class the saturated models of size $λ$. * There exists a unique limit model of size $λ$. Our proofs use independence calculus and a generalization of averages to this non first-order context. △ Less

Submitted 9 March, 2017; v1 submitted 30 March, 2015; originally announced March 2015.

Comments: 27 pages

MSC Class: 03C48 (Primary); 03C45; 03C52; 03C55 (Secondary)

Journal ref: Archive for Mathematical Logic 56 (2017), no. 3, 187-213

A presentation theorem for continuous logic and Metric Abstract Elementary Classes

Authors: Will Boney

Abstract: 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. 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. △ Less

Submitted 12 September, 2016; v1 submitted 15 August, 2014; originally announced August 2014.

Tameness and frames revisited

Authors: Will Boney, Sebastien Vasey

Abstract: 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, compl… ▽ More 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. △ Less

Submitted 4 January, 2017; v1 submitted 23 June, 2014; originally announced June 2014.

Comments: 36 pages

MSC Class: 03C48 (Primary); 03C47; 03C52; 03C55 (Secondary)

Journal ref: The Journal of Symbolic Logic 82 (2017), no. 3, 995-1021

Canonical forking in AECs

Authors: Will Boney, Rami Grossberg, Alexei Kolesnikov, Sebastien Vasey

Abstract: 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 f… ▽ More 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. △ Less

Submitted 3 March, 2016; v1 submitted 5 April, 2014; originally announced April 2014.

Comments: 33 pages

MSC Class: 03C48; 03C45; 03C52 (Primary) 03C55; 03C75; 03C85; 03E55 (Secondary)

Journal ref: Annals of Pure and Applied Logic 167 (2016), no. 7, 590-613

Computing the Number of Types of Infinite Length

Authors: Will Boney

Abstract: 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 calcu… ▽ More 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. △ Less

Submitted 13 May, 2014; v1 submitted 17 September, 2013; originally announced September 2013.

Journal ref: Notre Dame J. Formal Logic 58, no. 1 (2017), 133-154

Tameness and Extending Frames

Authors: Will Boney

Abstract: 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. 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. △ Less

Submitted 13 May, 2014; v1 submitted 27 August, 2013; originally announced August 2013.

Forking in Short and Tame Abstract Elementary Classes

Authors: Will Boney, Rami Grossberg

Abstract: 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… ▽ More 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. △ Less

Submitted 4 January, 2017; v1 submitted 27 June, 2013; originally announced June 2013.

Tameness from Large Cardinal Axioms

Authors: Will Boney

Abstract: 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 mea… ▽ More 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. △ Less

Submitted 13 May, 2014; v1 submitted 3 March, 2013; originally announced March 2013.