逻辑

Answering a question of Ketonen from the late 1970's, it is proved that a weakly compact cardinal carrying an indecomposable ultrafilter need not be measurable. The result is obtained by analyzing the limit of a decreasing sequence of…

We discuss the accuracy of the attribution commonly given to Turing's 1936 paper "On computable numbers..." for the computable undecidability of the halting problem, coming eventually to a nuanced conclusion.

We prove that every abstract elementary class (a.e.c.) with LST number $\kappa$ and vocabulary $\tau$ of cardinality $\leq \kappa$ can be axiomatized in the logic ${\mathbb L}_{\beth_2(\kappa)^{+++},\kappa^+}(\tau)$. In this logic an a.e.c.…

Historically, proofs of $\mathrm{BPI}$ in models without choice have relied on a contradiction framework that was introduced by Halpern. We introduce the filter extension property for permutation models and symmetric extensions, which…

We study the relations under Weihrauch reducibility of the well-ordering preservation principle for the operator $X \mapsto X^\omega$ and the Ordered Ramsey Theorem. Both principles are known to be equivalent to $\Sigma^0_2$-induction in…

The ternary extended contact relation was introduced in (Ivanova, 2020) as a more expressive counterpart of the standard binary contact relation. The class of Boolean algebras expanded with the relation was named Extended Contact Algebras…

We develop a proof-theoretic analysis of the Operational Standard of Matsas, Pleitez, Saa, Vanzella (2024) showing that admissible measurement in Minkowski Spacetime yields only finite observational sequences and thereby restricts the class…

This paper grew out of our investigation into a simple, but natural, question: Can 'F implies T' be distinct from F and T? To this end, we introduce five 'unorthodox' algebras that will play a major role, not only in providing a positive…

We answer the question in the title. In the process, we correct an error in our AMS Memoir The Shape of Congruence Lattices.

BS4 is a natural Belnapian conservative extension of Lewis modal system S4 via strong negation. In [24] it was proved that the translation TB that naturally generalises the Godel-Tarski translation T embeds faithfully Nelsons logic N4 into…

We introduce the theory $\mathrm{PF}^{+,\times}$ of pseudofinite fields with generic additive and multiplicative character added as continuous logic predicates. Using the Weil bounds on character sums over finite fields as well as the…

Abstractly, the generic extensions after $\aleph_\omega$-many Cohen reals and $\aleph_{\omega+1}$-many Cohen reals must be different for reasons of uniform density the relevant Boolean algebras. Nevertheless this is not satisfying and it…

This paper explores the interplay between star operations, microscopic sets, and porous sets. The study focuses on the Galvin-Mycielski-Solovay theorem, which characterizes strongly measure zero sets and their interactions with meager sets.…

Given an ordered structure, we study a natural way to extend the order to preorders on type spaces. For definably complete, linearly ordered structures, we give a characterisation of the preorder on the space of 1-types. We apply these…

We prove the uniqueness of high cofinality limit models in stable abstract elementary classes (AECs) with amalgamation, assuming the existence of a rather weak independence relation. $\textbf{Theorem.}$ Suppose $\mathbf{K}$ is a…

We isolate a model-theoretic "standard-cut" phenomenon for true Pi0_1 sentences: if a model M satisfies ZFC + not-phi, then omega^M is not the standard omega, and any internal "witness" to not-phi is computationally inaccessible by…

We study definably primitive pseudo-finite permutation groups of finite $SU$-rank. We show that if $(G,X)$ is such a permutation group, then the rank of $G$ can be bounded in terms of the rank of $X$, providing an analogue of a theorem of…

This paper investigates the Hausdorff dimension properties of chains and antichains in Turing degrees and hyperarithmetic degrees. Our main contributions are threefold: First, for antichains in hyperarithmetic degrees, we prove that every…

The Bristol model is an inner model of $L[c]$, where $c$ is a Cohen real, which is not constructible from a set. The idea was developed in 2011 in a workshop taking place in Bristol, but was only written in detail by the author in [8]. This…

This is a short introductory course to Set Theory, based on axioms of von Neumann--Bernays--G\"odel (briefly NBG). The text can be used as a base for a lecture course in Foundations of Mathematics, and contains a reasonable minimum which a…