Source author record

Will Boney

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.CT

Catalog footprint

Research overview

14works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

A Lower Bound for the Hanf Number for Joint Embedding

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 $μ$ .

preprint2022arXiv

Model Theoretic Characterizations of Large Cardinals Revisited

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.

preprint2020arXiv

Tameness, powerful images, and large cardinals

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].

preprint2020arXiv

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

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.

preprint2016arXiv

$μ$ -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.

preprint2016arXiv

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.

preprint2016arXiv

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.

preprint2016arXiv

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.

preprint2016arXiv

Large Cardinal Axioms from Tameness in AECs

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

preprint2015arXiv

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

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.

preprint2015arXiv

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.

preprint2015arXiv

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.

preprint2014arXiv

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.

preprint2014arXiv

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Will Boney

Research overview

Is this your work?

14 publications

A Lower Bound for the Hanf Number for Joint Embedding

Model Theoretic Characterizations of Large Cardinals Revisited

Tameness, powerful images, and large cardinals

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

$μ$ -Abstract Elementary Classes and other generalizations

A presentation theorem for continuous logic and Metric Abstract Elementary Classes

Canonical forking in AECs

Hanf Numbers and Presentation Theorems in AECs

Large Cardinal Axioms from Tameness in AECs

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

Categoricity and infinitary logics

No Maximal Models from Looking Down

Tameness and Extending Frames

Tameness from Large Cardinal Axioms

See the researcher in context

Building this map preview

Will Boney

Research overview

Is this your work?

14 publications

A Lower Bound for the Hanf Number for Joint Embedding

Model Theoretic Characterizations of Large Cardinals Revisited

Tameness, powerful images, and large cardinals

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

μμμ-Abstract Elementary Classes and other generalizations

A presentation theorem for continuous logic and Metric Abstract Elementary Classes

Canonical forking in AECs

Hanf Numbers and Presentation Theorems in AECs

Large Cardinal Axioms from Tameness in AECs

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

Categoricity and infinitary logics

No Maximal Models from Looking Down

Tameness and Extending Frames

Tameness from Large Cardinal Axioms

See the researcher in context

Building this map preview

$μ$ -Abstract Elementary Classes and other generalizations