Mathematics

We prove undecidability for every positive relevant logic extending the system axiomatized by hypothetical syllogism, prefixing, and suffixing and contained in the logic of the semilattice frame $(P_{\mathrm{fin}}(\mathbb{N}), \cup,…

The term Gibbons conjecture is widely used in connection with symmetry results for the Allen-Cahn equation. However, its origin is less transparent than its frequent citation suggests. In this note, we revisit its emergence, tracing it to a…

In this short note we give a negative answer to the following open question: \emph{Let $X$ be a $\sigma$-compact paratopological group. Does there exist a continuous isomorphism of $X$ onto a topological group $G$?} Specifically, we…

This paper introduces a Laws of Form version of the Quaternions. We call this the Q-Calculus, a 16-valued extension of Laws of Form (LoF) which is closely related to the BF Calculus (where we have a single square root of the mark) and the…

We prove some results about the theory of independence in $\mathrm{NSOP}_{3}$ theories that do not hold in $\mathrm{NSOP}_{4}$ theories. We generalize Chernikov's work on simple and co-simple types in $\mathrm{NTP}_{2}$ theories to types…

In chapter 9 of his book "The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal", Woodin shows how to force the Strong Chang Conjecture over models of determinacy using $\mathbb{P}_{\mathrm{max}}$. We show here how a…

In a previous paper we introduced a version of associativity for a partial infinitary operation. We prove here that if $\gamma$ is an infinite ordinal and some associative infinitary operation is defined for all sequences indexed by…

We investigate B\"uchi Arithmetic $\mathsf{BA}_k$ -- the elementary theory of the natural numbers equipped with addition and the function mapping a number $x$ to the greatest power of $k$ dividing $x$. $\mathsf{BA}_k$ is known to be…

We analyze a construction of Cherlin, van den Dries, and Macintyre to code graphs in PAC fields. We show that, in many cases, model-theoretic properties of the graph are preserved in the passage from the graph to the field. As a corollary,…

In one of his posthumous papers, conserved in G\"ottingen, Riemann considers the derivatives of $\log\zeta(s)$ at the point $1/2$, giving explicit values for them. Around 2010 we shared Riemann's value of the second derivative with some…

We extend a property of Mazzola's theory of cadential sets in relation to the modulation between minor and major tonalities from triadic to tetradic harmony, using the PLRQ group of Cannas et al. (2017) as the analogue of the classical PLR…

Unbounded {\L}ukasiewicz logic is a substructural logic that combines features of infinite-valued {\L}ukasiewicz logic with those of abelian logic. The logic is finitely strongly complete w.r.t.~the additive $\ell$-group on the reals…

For an $\omega$-categorical theory $T$ and model $\mathcal{M}$ of $T$ we define a hierarchy of ranks, the $n$-ranks for $n < \omega$ which only care about imaginary elements ``up to level $n$'', where level $n$ contains every element of $M$…

In this paper, we explore the connections between Christiaan Huygens and Niels Henrik Abel through the tautochrone problem. The problem -- determining the curve along which a particle descends under gravity in the same time, regardless of…

In 1964 Shepherdson \cite{shepherdson:1964} proved that a discretely ordered semiring $\mathcal{M}^+$ satisfies $\sf{IOpen}$ (quantifier free induction) iff the corresponding ring $\mathcal{M}$ is an integer part of the real closure of the…

We consider a logic with truth values in the unit interval and which uses aggregation functions instead of quantifiers, and we describe a general approach to asymptotic elimination of aggregation functions and, indirectly, of asymptotic…

Forcing was first introduced by Paul J. Cohen in his work on the independence of the Continuum Hypothesis. Other formulations of forcing appeared using Model Theory, Boolean-valued Models, and Topos Theory. There is a folkloric claim that…

Cruz Chapital, Goto, Hayashi and the author showed that the game-theoretic variants $\mathfrak{s}_{\mathrm{game}^*}^\mathrm{I}$ and $\mathfrak{s}_{\mathrm{game}^{**}}^\mathrm{I}$ of the splitting number $\mathfrak{s}$ are consistently…

In this paper we present new ways to construct external subsets of nonstandard models of arithmetic using mostly internal sets, and show that if an ultraproduct of prime finite fields includes a copy of the algebraic real numbers then…

A formal system called cologic is proposed for the study of compacta. A counterpart of countable model theory is developed for this system, and it is applied to model theory of the pseudo-arc.