In previous publications, it was shown that finite non-deterministic matrices are quite powerful in providing semantics for a large class of normal and non-normal modal logics. However, some modal logics, such as those whose axiom systems contained the Löb axiom or the McKinsey formula, were not analyzed via non-deterministic semantics. Furthermore, other modal rules than the rule of necessitation were not yet characterized in the framework.

In this paper, we will overcome this shortcoming and present a novel approach for constructing semantics for normal and non-normal modal logics that is based on restricted non-deterministic matrices. This approach not only offers a uniform semantical framework for modal logics, while keeping the interpretation of the involved modal operators the same, and thus making different systems of modal logic comparable. It might also lead to a new understanding of the concept of modality.

We provide a complete characterization of theories of tracial von Neumann algebras that admit quantifier elimination. We also show that the theory of a separable tracial von Neumann algebra $\mathcal {M}$ is never model complete if its direct integral decomposition contains $\mathrm {II}_1$ factors $\mathcal {N}$ such that $M_2(\mathcal {N})$ embeds into an ultrapower of $\mathcal {N}$. The proof in the case of $\mathrm {II}_1$ factors uses an explicit construction based on random matrices and quantum expanders.

We prove an analog of the disintegration theorem for tracial von Neumann algebras in the setting of elementary equivalence rather than isomorphism, showing that elementary equivalence of two direct integrals of tracial factors implies fiberwise elementary equivalence under mild, and necessary, hypotheses. This verifies a conjecture of Farah and Ghasemi. Our argument uses a continuous analog of ultraproducts where an ultrafilter on a discrete index set is replaced by a character on a commutative von Neumann algebra, which is closely related to Keisler randomizations of metric structures. We extend several essential results on ultraproducts, such as Łoś’s theorem and countable saturation, to this more general setting.

Beth’s theorem equating explicit and implicit definability fails in all logics between Meyer’s basic logic ${\mathbf B}$ and the logic ${\mathbf R}$ of Anderson and Belnap. This result has a simple proof that depends on the fact that these logics do not contain classical negation; it does not extend to logics such as $\mathbf{KR}$ that contain classical negation. Jacob Garber, however, showed that Beth’s theorem fails for $\mathbf{KR}$ by adapting Ralph Freese’s result showing that epimorphisms may not be surjective in the category of modular lattices. We extend Garber’s result to show that the Beth theorem fails in all logics between ${\mathbf B}$ and $\mathbf{KR}$.

In the classification of complete first-order theories, many dividing lines have been defined in order to understand the complexity and the behavior of some classes of theories. In this paper, using the concept of patterns of consistency and inconsistency, we describe a general framework to study dividing lines and introduce a notion of maximal complexity by requesting the presence of all the exhibitable patterns of definable sets. Weakening this notion, we define new properties (Positive Maximality and the $\mathrm {PM}^{(k)}$ hierarchy) and prove some results about them. In particular, we show that $\mathrm {PM}^{(k+1)}$ theories are not k-dependent. Moreover, we provide an example of a $\mathrm {PM}$ but $\mathrm {NSOP}_4$ theory (showing that $\mathrm {SOP}$ and the $\mathrm {SOP}_n$ hierarchy, for $n \geq 4$, cannot be described by positive patterns) and, for each $1<k<\omega $, an example of a $\mathrm {PM}^{(k)}$ but $\mathrm {NPM}^{(k+1)}$ theory (showing that the newly defined hierarchy does not collapse).

The consistency of the theory $\mathsf {ZF} + \mathsf {AD}_{\mathbb {R}} + {}$‘every set of reals is universally Baire’ is proved relative to $\mathsf {ZFC} + {}$‘there is a cardinal that is a limit of Woodin cardinals and of strong cardinals’. The proof is based on the derived model construction, which was used by Woodin to show that the theory $\mathsf {ZF} + \mathsf {AD}_{\mathbb {R}} + {}$‘every set of reals is Suslin’ is consistent relative to $\mathsf {ZFC} + {}$‘there is a cardinal $\lambda $ that is a limit of Woodin cardinals and of $\mathord {<}\lambda $-strong cardinals’. The $\Sigma ^2_1$ reflection property of our model is proved using genericity iterations as in Neeman [18] and Steel [22].

Assuming the Generalized Continuum hypothesis, this paper answers the question: when is the tensor product of two ultrafilters equal to their Cartesian product? It is necessary and sufficient that their Cartesian product is an ultrafilter; that the two ultrafilters commute in the tensor product; that for all cardinals $\lambda $, one of the ultrafilters is both $\lambda $-indecomposable and $\lambda ^+$-indecomposable; that the ultrapower embedding associated with each ultrafilter restricts to a definable embedding of the ultrapower of the universe associated with the other.

In a recent proof mining application, the proof-theoretical analysis of Dykstra’s cyclic projections algorithm resulted in quantitative information expressed via primitive recursive functionals in the sense of Gödel. This was surprising as the proof relies on several compactness principles and its quantitative analysis would require the functional interpretation of arithmetical comprehension. Therefore, a priori one would expect the need of Spector’s bar-recursive functionals. In this paper, we explain how the use of bounded collection principles allows for a modified intermediate proof justifying the finitary results obtained, and discuss the approach in the context of previous eliminations of weak compactness arguments in proof mining.

Heyting’s intuitionistic predicate logic describes very general regularities observed in constructive mathematics. The intended meaning of the logical constants is clarified through Heyting’s proof interpretation. A re-evaluation of proof interpretation and predicate logic leads to the new constructive Basic logic properly contained in intuitionistic logic. We develop logic and interpretation simultaneously by an axiomatic approach. Basic logic appears to be complete. A brief historical overview shows that our insights are not all new.

We give a unified overview of the study of the effects of additional set theoretic axioms on quotient structures. Our focus is on rigidity, measured in terms of existence (or rather non-existence) of suitably non-trivial automorphisms of the quotients in question. A textbook example for the study of this topic is the Boolean algebra $\mathcal {P}({\mathbb N})/\operatorname {\mathrm {Fin}}$, whose behavior is the template around which this survey revolves: Forcing axioms imply that all of its automorphisms are trivial, in the sense that they are induced by almost permutations of ${\mathbb N}$, while under the Continuum Hypothesis this rigidity fails and $\mathcal {P}({\mathbb N})/\operatorname {\mathrm {Fin}}$ admits uncountably many non-trivial automorphisms. We consider far-reaching generalisations of this phenomenon and present a wide variety of situations where analogous patterns persist, focusing mainly (but not exclusively) on the categories of Boolean algebras, Čech–Stone remainders, and $\mathrm {C}^{*}$-algebras. We survey the state of the art and the future prospects of this field, discussing the major open problems and outlining the main ideas of the proofs whenever possible.

Arithmetic and logic seem to enjoy an especially close relationship. Frege once wrote that arithmetic is reason’s nearest kin. To deny any of the basic laws of arithmetic seems tantamount to denying a basic law of logic. My dissertation is concerned with two great attempts to make something more of this informal idea. In one direction, Frege tried to reduce arithmetic to nothing but quantificational logic and definitions. Neologicists continue to follow in Frege’s footsteps, pursuing a version of this program today. In the other direction, Gödel tried to reduce certain applications of quantificational logic to nothing but arithmetic and definitions, by means of his Dialectica translation.

In the first half of my dissertation, I prove new theorems (with Jeremy Avigad) that shed a surprising light on the prospects for neologicism. An important objection against neologicism is that it makes use of allegedly stipulative definitions that are not conservative over pure logic, i.e., definitions that yield new consequences expressible in old vocabulary. This violates a basic requirement on stipulative definitions. I argue that by passing to a richer logical and definitional framework, it is possible to overcome the conservativeness objection. However, there is a subtlety: the strategy succeeds only if conservativeness is understood semantically rather than deductively. This suggests that the viability of neologicism is highly sensitive to the way in which epistemic commitments are represented in formal theories.

In the second half of my dissertation, I argue that Gödel’s Dialectica translation succeeds in assigning a constructive meaning to quantificational theories of arithmetic. Virtually all commentators have objected that Gödel’s translation makes use of definitions which presuppose the very quantificational logic that Gödel was trying to eliminate. This would render the translation philosophically circular. Gödel was adamant that there was no circularity here. He attempted to explain the matter in a page-long footnote, which, however, no one has been able to understand. I vindicate Gödel, showing that there is no circularity and answering a longstanding exegetical question in Gödel scholarship.

Abstract prepared by Stephen Mackereth

E-mail: sgmackereth@gmail.com

URL: http://d-scholarship.pitt.edu/id/eprint/46578

In this thesis, we study the complexity of theorems that may be considered partially impredicative from the point of view of reverse mathematics and Weihrauch degrees.

From the perspective of reverse mathematics and ordinal analysis, the axiomatic system $\mathsf {ATR}_0$ is known as the limit of predicativity, and $\Pi ^1_{1}\text {-}\mathsf {CA}_0$ is known as an impredicative system. In this thesis, we study the complexity of some theorems that are stronger than $\mathsf {ATR}_0$ and weaker than $\Pi ^1_{1}\text {-}\mathsf {CA}_0$ from the point of view of reverse mathematics and Weihrauch degrees.

In Chapter 3, we study some problems related to Knaster–Tarski’s theorem. Knaster–Tarski’s theorem states that any monotone operator on $2^{\omega }$ has a least fixed point. Avigad introduced a weaker variant, $\mathsf {FP}$, which asserts the existence of a fixed point instead of the least fixed point, and proved that $\mathsf {FP}$ for arithmetical operators is equivalent to $\mathsf {ATR}_0$ over $\mathsf {RCA}_0$. In this thesis, we show that $\mathsf {FP}$ for $\Sigma ^0_2$-operators is strictly stronger than $\mathsf {ATR}_2$, a Weihrauch degree corresponding to $\mathsf {ATR}_0$, in terms of Weihrauch reduction. In addition, we study the bottom-up proof of Knaster–Tarski’s theorem. It is known that the least fixed point of a monotone operator is given by the $\omega _1$-times iteration of the operator at the empty set. This implies that any monotone operator involves a hierarchy formed by the iterative applications of the operator, starting with the empty set and reaching the least fixed point. We prove that although the existence of a hierarchy is equivalent to $\mathsf {ATR}_0$ over $\mathsf {ACA}_0$, it is stronger than $\mathsf {C}_{\omega ^{\omega }}$ in the terms of Weirhauch reduction.

In Chapter 5, we study the relative leftmost path principle in Weihrauch degrees. This principle was introduced by Towsner to study partial impredicativity in reverse mathematics. He gave a hierarchy between $\mathsf {ATR}_0$ and $\Pi ^1_1\text {-}\mathsf {CA}_0$ by this principle. We show that this principle also makes a hierarchy between $\mathsf {ATR}_2$ and $\mathsf {C}_{\omega ^{\omega }}$ in Weihrauch degrees. We also show that the relative leftmost path principle is, not the same as, but very close to a variant of $\beta $-model reflection.

In Chapter 6, we introduce a hierarchy dividing $\{\sigma \in \Pi ^1_2 : \Pi ^1_1\text {-}\mathsf {CA}_0 \vdash \sigma \}$. Then, we give some characterizations of this hierarchy using some principles equivalent to $\Pi ^1_1\text {-}\mathsf {CA}_0$: leftmost path principle, Ramsey’s theorem for $\Sigma ^0_n$ classes of $[\mathbb {N}]^{\mathbb {N}}$ and the determinacy of Gale–Stewart game for $(\Sigma ^0_1)_n$ classes. As an application, our hierarchy explicitly shows that the number of applications of the hyperjump operator needed to prove $\Sigma ^0_n$ Ramsey’s theorem or $(\Sigma ^0_1)_n$ determinacy increases when the subscript n increases.

Abstract prepared by Yudai Suzuki.

E-mail: yudai.suzuki.research@gmail.com.

In 1967, Gerencsér and Gyárfás [16] proved a result which is considered the starting point of graph-Ramsey theory: In every 2-coloring of $K_n$, there is a monochromatic path on $\lceil (2n+1)/3\rceil $ vertices, and this is best possible. There have since been hundreds of papers on graph-Ramsey theory with some of the most important results being motivated by a series of conjectures of Burr and Erdős [2, 3] regarding the Ramsey numbers of trees (settled in [31]), graphs with bounded maximum degree (settled in [5]), and graphs with bounded degeneracy (settled in [23]).

In 1993, Erdős and Galvin [13] began the investigation of a countably infinite analogue of the Gerencsér and Gyárfás result: What is the largest d such that in every $2$-coloring of $K_{\mathbb {N}}$ there is a monochromatic infinite path with upper density at least d? Erdős and Galvin showed that $2/3\leq d\leq 8/9$, and after a series of recent improvements, this problem was finally solved in [7] where it was shown that $d={(12+\sqrt {8})}/{17}$.

This paper begins a systematic study of quantitative countably infinite graph-Ramsey theory, focusing on infinite analogues of the Burr-Erdős conjectures. We obtain some results which are analogous to what is known in finite case, and other (unexpected) results which have no analogue in the finite case.

We introduce the notion of echeloned spaces – an order-theoretic abstraction of metric spaces. The first step is to characterize metrizable echeloned spaces. It turns out that morphisms between metrizable echeloned spaces are uniformly continuous or have a uniformly discrete image. In particular, every automorphism of a metrizable echeloned space is uniformly continuous, and for every metric space with midpoints, the automorphisms of the induced echeloned space are precisely the dilations.

Next, we focus on finite echeloned spaces. They form a Fraïssé class, and we describe its Fraïssé-limit both as the echeloned space induced by a certain homogeneous metric space and as the result of a random construction. Building on this, we show that the class of finite ordered echeloned spaces is Ramsey. The proof of this result combines a combinatorial argument by Nešetřil and Hubička with a topological-dynamical point of view due to Kechris, Pestov and Todorčević. Finally, using the method of Katětov functors due to Kubiś and Mašulović, we prove that the full symmetric group on a countable set topologically embeds into the automorphism group of the countable universal homogeneous echeloned space.

Clans are categorical representations of generalized algebraic theories that contain more information than the finite-limit categories associated to the locally finitely presentable categories of models via Gabriel–Ulmer duality. Extending Gabriel–Ulmer duality to account for this additional information, we present a duality theory between clans and locally finitely presentable categories equipped with a weak factorization system of a certain kind.

We prove that the class of separably algebraically closed valued fields equipped with a distinguished Frobenius endomorphism $x \mapsto x^q$ is decidable, uniformly in q. The result is a simultaneous generalization of the work of Chatzidakis and Hrushovski (in the case of the trivial valuation) and the work of the first author and Hrushovski (in the case where the fields are algebraically closed).

The logical setting for the proof is a model completeness result for valued fields equipped with an endomorphism $\sigma $ which is locally infinitely contracting and fails to be onto. Namely, we prove the existence of a model complete theory $\widetilde {\mathrm {VFE}}$ amalgamating the theories $\mathrm {SCFE}$ and $\widetilde {\mathrm {VFA}}$ introduced in [5] and [11], respectively. In characteristic zero, we also prove that $\widetilde {\mathrm {VFE}}$ is NTP$_2$ and classify the stationary types: they are precisely those orthogonal to the fixed field and the value group.

Using motivic integration theory and the notion of riso-triviality, we introduce two new objects in the framework of definable nonarchimedean geometry: a convenient partial preorder $\preccurlyeq$ on the set of constructible motivic functions, and an invariant $V_0$, nonarchimedean substitute for the number of connected components. We then give several applications based on $\preccurlyeq$ and $V_0$: we obtain the existence of nonarchimedean substitutes of real measure geometric invariants $V_i$, called the Vitushkin variations, and we establish the nonarchimedean counterpart of a real inequality involving $\preccurlyeq$, the metric entropy and our invariants $V_i$. We also prove the nonarchimedean Cauchy–Crofton formula for definable sets of dimension $d$, relating $V_0$ (and $V_d$) and the motivic measure in dimension $d$.

We present a counterexample to [Kan08, Conjecture 14.1.6], regarding Borel equivalence relations on product spaces.

A first-order expansion of $(\mathbb {R},+,<)$ is dp-minimal if and only if it is o-minimal. We prove analogous results for algebraic closures of finite fields, p-adic fields, ordered abelian groups with only finitely many convex subgroups (in particular archimedean ordered abelian groups), and abelian groups equipped with archimedean cyclic group orders. The latter allows us to describe unary definable sets in dp-minimal expansions of $(\mathbb {Z},+,S)$, where S is a cyclic group order. Along the way we describe unary definable sets in dp-minimal expansions of ordered abelian groups. In the last section we give a canonical correspondence between dp-minimal expansions of $(\mathbb {Q},+,<)$ and o-minimal expansions ${\mathscr R}$ of $(\mathbb {R},+,<)$ such that $({\mathscr R},\mathbb {Q})$ is a “dense pair.”.

It is shown that if $\{H_n\}_{n \in \omega}$ is a sequence of groups without involutions, with $1 \lt |H_n| \leq 2^{\aleph_0}$, then the topologist’s product modulo the finite words is (up to isomorphism) independent of the choice of sequence. This contrasts with the abelian setting: if $\{A_n\}_{n \in \omega}$ is a sequence of countably infinite torsion-free abelian groups, then the isomorphism class of the product modulo sum $\prod_{n \in \omega} A_n/\bigoplus_{n \in \omega} A_n$ is dependent on the sequence.