Directed schemes of ideals and cardinal characteristics, I: the meager additive ideal

2026-03-14T13:01:50Z

We introduce the notion of directed scheme of ideals to characterize peculiar ideals on the reals, which comes from a formalization of the framework of Yorioka ideals for strong measure zero sets. We prove general theorems for directed schemes and propose a directed scheme $\vec{\mathcal{M}} = \{\mathcal{M}_I \colon I\in\mathbb{I}\}$ for the ideal $\mathcal{MA}$ of meager-additive sets of reals. This directed scheme does not only helps us to understand more the combinatorics of $\mathcal{MA}$ and its cardinal characteristics, but provides us new characterizations of the additivity and cofinality numbers of the meager ideal of the reals. In addition, we display connections between the characteristics associated with $\mathcal{M}_I$ and other classical characteristics. Furthermore, we demonstrate the consistency of $\mathrm{cov}(\mathcal{NA})<\mathfrak{c}$ and $\mathrm{cof}(\mathcal{MA})<\mathrm{non}(\mathcal{SN})$. The first one answers a question raised by the authors in arXiv:2401.15364.

On the lack of colimits in various categories arising in pointfree topology and algebraic logic

2026-03-14T12:45:13Z

We prove that the category of McKinsey-Tarski algebras is not equivalent to a variety of algebras, thus answering a question of Peter Jipsen in the negative. More generally, we show that various categories of BAOs (boolean algebras with an operator), Heyting algebras, and frames with appropriate morphisms between them are not cocomplete. As a consequence, none of these categories is equivalent to a prevariety, let alone a variety.

Implicit operations in varieties of commutative monoids

2026-03-14T12:15:15Z

An implicit operation of a class of similar algebras $\mathsf{K}$ is a collection of first order definable partial functions on the members of $\mathsf{K}$ that is globally preserved by homomorphisms. For instance, "taking inverses" can be viewed as a unary implicit operation of the class of all monoids because its graph on a given monoid is defined by the equation $xy \thickapprox 1 \thickapprox yx$ and monoid homomorphisms preserve existing inverses. As this example demonstrates, the implicit operations of a class $\mathsf{K}$ need not be given by a term of $\mathsf{K}$. We show that an equational class of commutative monoids can be expanded with enough implicit operations so that every implicit operation can be interpolated by a family of terms if and only, in each of its members, for every $a$ there exists some $b$ such that $a = a^2b$, i.e., the class consists of inverse monoids. Our methods build on the interaction of the theory of implicit operations with Grillet's description of finitely generated subdirectly irreducible commutative semigroups and the combinatorics deriving from an extension of Isbell's Zigzag Theorem to all equational classes of commutative monoids.

Axiom Beta Implies Elementary Transfinite Recursion

2026-03-14T12:05:03Z

We show that $\mathbf{C}$, a weak theory of sets with Axiom Beta, proves the scheme of Elementary, or $Δ_0$ Transfinite Recursion and can generate, for every set, the corresponding relativized constructible hierarchy. We show that the theory $\mathbf{C}$ corresponds to Simpson's system $\mathbf{ATR}_0^\text{set}$ without the Axiom of Countability. In fact, $\mathbf{C}$ proves the totality of the Veblen function and of all primitive recursive set functions. In particular, this means our system $\mathbf{C}$ is equivalent to $\mathbf{PRS}ω+$ Axiom Beta. We also establish an upper bound, though not a sharp one, for the $Σ_1$-definable functions of $\mathbf{C}$. Finally, we show that the variant of $\mathbf{C}$ in which the Finite Powerset Axiom is replaced by the closure under the rudimentary functions is a strictly weaker theory and no longer ensures the existence of the relativized constructible hierarchy.

Polarities, voltages, and capacitors: a categorical approach to hulls, envelopes, and completions

2026-03-13T20:17:39Z

This article provides a general framework in the context of category theory where one can recognize as particular instances of the same abstract construction several notions of completion, envelope, and hull, such as the Boolean algebra completion of a Boolean algebra, the Dedekind--MacNeille completion of an ordered set, the multiplier ring of a ring, the multiplier algebra and the von Neumann envelope of a C*-algebra. Towards our goal, we lay the foundations of \emph{polarized} category theory, which is a refinement of classical category theory where categories are endowed with two distinguished classes of \emph{positive} and \emph{negative} arrows. We define in this context the notion of \emph{polarity}, and \emph{voltage}. We explain how a voltage can be created through a \emph{capacitor}, which is essentially a polarized version of the notion of reflective subcategory. In particular, this produces a \emph{completion functor} (which in the classical case is just the reflector) which assigns to each object its completion or hull. These applies even when the completion is not (and cannot be) given by a functor on the whole category, as it is most often the case. In this framework, we obtain a general theorem ensuring the existence and uniqueness of a functorial completion functor. The corresponding completion of each object is characterized by its two universal properties with respect to positive and negative arrows.

Hypercontact semilattices

2026-03-13T17:38:18Z

Contact Boolean algebras are one of the main algebraic tools in region-based theory of space. T. Ivanova provided strong motivations for the study of merely semilattices with a contact relation. Another significant motivation for considering an even weaker underlying structure comes from event structures with binary conflict in the theory of concurrent systems in computer science. All the above-hinted notions deal with a binary contact relation. Several authors suggested the more general study of $n$-ary ``hypercontact'' relations and noticed that, in general, a hypercontact relation cannot be retrieved from just a binary contact relation. A similar evolution occurred in the study of the just mentioned event structures in computer science. In an effort to unify the above lines of research, in this paper we study join semilattices with a hypercontact relation. We provide representation theorems into Boolean algebras, with or without overlap hypercontact relation. With a single exception, our proofs are choice-free. We also present several examples and problems; in particular, we briefly discuss some connections with event structures and hypergraphs.

In Defence of the Material Conditional

2026-03-13T15:14:17Z

The material conditional has long been charged with paradox. Defined truth-functionally, it renders true any conditional whose antecedent is false or consequent true -- hence, seemingly absurd statements such as `If unicorns exist, then $2+2=4$'. This has been taken as proof that the connective cannot capture the meaning of ordinary if-then sentences, which appear to imply a causal or evidential link. I argue, by contrast, that the paradoxes arise from a confusion of what it expresses caused by cognitive biases. The material conditional properly belongs to the class of indicative, not subjunctive, conditionals -- those that register patterns of co-variation rather than counterfactual dependence. When understood as a formal device marking entailment under a background theory, it faithfully represents a mode of reasoning essential to science itself: correlation without causation. The faults ascribed to it, therefore, are not flaws in meaning or standard use, but as misapplication and misreading.

Support is Search

2026-03-13T14:24:04Z

Sandqvist's base-extension semantics for intuitionistic propositional logic defines a support relation parametrised by atomic bases, with validity identified as support in every base. Sandqvist's completeness theorem answers the global question: which formulae are valid? This paper addresses the local question: given a fixed base, what does support in that base correspond to? We show that support in a fixed base coincides with proof-search in a second-order hereditary Harrop logic program, via an encoding of formulae as logic-programming goals. This encoding proceeds by reading the semantic clauses in continuation-passing style, revealing that the universal quantifiers over base extensions and atoms appearing in those clauses are not domain-ranging quantifiers over a completed totality, but eigenvariables governed by a standard freshness discipline. Base-extension semantics thereby admits a fully constructive and computationally transparent interpretation: support is proof-search. The result complements Sandqvist's global theorem with a local correspondence, vindicates the anti-realist foundations of the framework on its own terms, and opens the way for implementing the semantics in modelling tasks.

Generic differentiability and $P$-minimal groups

2026-03-13T08:22:52Z

We prove generic differentiability in $P$-minimal theories, strengthening an earlier result of Kuijpers and Leenknegt. Using this, we prove Onshuus and Pillay's $P$-minimal analogue of Pillay's conjectures on o-minimal groups. Specifically, let $G$ be an $n$-dimensional definable group in a highly saturated model $M$ of a $P$-minimal theory. Then there is an open definable subgroup $H \subseteq G$ such that $H$ is compactly dominated by $H/H^{00}$, and $H/H^{00}$ is a $p$-adic Lie group of the expected dimension. Additionally, the generic differentiability theorem immediately implies a classification of interpretable fields in $P$-minimal theories, by work of Halevi, Hasson, and Peterzil.

Normalizing Asymptotic Differential Equations

2026-03-13T08:00:54Z

We define the universal exponential extension of an algebraically closed differential field and investigate its properties in the presence of a nice valuation and in connection with linear differential equations. Next we prove normalization theorems for algebraic differential equations over $H$-fields, as a tool in solving such equations in suitable extensions. The results in this monograph are essential in our work on Hardy fields in [6].

Forcing with Symmetric Systems of Models of Two Types

2026-03-12T20:57:12Z

The purpose of this paper is to present a general method for forcing on $ω_2$ and $ω_3$ with finite conditions, while preserving all cardinals and some fragments of $\mathrm{GCH}$. This method is based on the technique of forcing with finite symmetric systems of elementary submodels, and improves earlier versions of this forcing by including models of two types. We will present several applications of the pure side condition forcing and variants thereof, by adding a Kurepa tree on $ω_2$, a club subset of $ω_2$ that avoids infinite sets from the ground model, a function bounding every canonical function below $ω_3$ on a club, and a simplified $(ω_2,1)$-morass.

The conjectures of Kumbhakar, Roy, and Srinivasan

2026-03-12T19:07:15Z

We prove a conjecture of Kumbhakar, Roy, and Srinivasan (2024) on the classification of order one differential equations, and a conjecture of Kumbhakar and Srinivasan (2025) on higher order equations. Both conjectures are shown to be results of recent work in differential Galois theory. In both cases, stronger versions of the conjectures hold when working over the field of constants. We use inverse Galois theory to show the conjectures cannot be improved over any nonconstant differential field. We also show how certain recent results of Jaoui and Moosa (2024) on abelian reductions of differential equations can be recovered from the work of Kumbhakar and Srinivasan (2025) and vice versa.

Varieties of De Morgan bisemilattices

2026-03-12T17:08:40Z

De Morgan bisemilattices are expansions of distributive bisemilattices by an involution satisfying De Morgan properties. They have attracted interest both as algebraic models of analytic containment logics, and as a case study for a certain generalisation of the Płonka sum construction (De Morgan- Płonka sums). In this paper, we provide a complete description of the lattice of subvarieties of the variety DMBL of De Morgan bisemilattices. For each subvariety in the lattice, we identify a finite set of finite generators, a characterisation of the De Morgan-Płonka representations of its members, and a syntactic description of its valid identities. In many cases, we also give an axiomatisation relative to DMBL.

On Contextuality as a Feature of Logic and Probability Theory

2026-03-12T12:25:43Z

In quantum mechanics, not everything that can be observed can be observed simultaneously. Observational data exhibits \emph{contextuality} -- a generalisation of nonlocality -- if the result of an observation is necessarily dependent on which combination of observables was measured. This article gives a mathematical introduction to contextuality, emphasising its nature as a general feature of probability theory and logic, rather than of any particular quantum theory.

The number of measures on very large measurable cardinals

2026-03-12T09:15:49Z

We study the possible number of normal measures on a measurable cardinal in settings where inner model techniques are unavailable. Instead, we exploit consequences of the Ultrapower Axiom to obtain our theorems. We show that the classical Kimchi-Magidor result -that the first $n$ measurable cardinals can be strongly compact- can be combined with an arbitrary prescribed pattern for the number of normal measures they carry. We also prove that the first measurable cardinal above a supercompact cardinal can carry any given number of normal measures; the same conclusion is established for the first measurable limit of supercompact cardinals. As further applications of our techniques, we strengthen an unpublished theorem of Goldberg--Woodin and a theorem of Goldberg, Osinski, and Poveda. Our analysis circumvents both the reliance of Friedman--Magidor on core model methods and the limitations of the Prikry-type forcing iterations of Gitik--Kaplan.