Iterated club shooting and the stationary-logic constructible model

2026-03-09T12:04:24Z

We investigate iterating the construction of $C(\mathtt{aa})$, the $L$-like inner model constructed using stationary-logic. We show that it is possible to force over generic extensions of $L$ to obtain a model of $V=C(\mathtt{aa})$, and to obtain models in which the sequence of iterated $C(\mathtt{aa})$s is decreasing of arbitrarily large order types. For this we prove distributivity and stationary-set preservation properties for countable iterations of club-shooting forcings using mutually stationary sets, and introduce the notion of mutually fat sets which yields better distributivity results even for uncountable iterations.

On Vector Spaces with Formal Infinite Sums

2026-03-09T11:39:24Z

I discuss possible definitions of categories of vector spaces enriched with a notion of formal infinite linear combination in the likes of the formal infinite linear combinations one has in the context of generalized power series, I call these \emph{reasonable categories of strong vector spaces} (r.c.s.v.s.). I show that, in a precise sense, the more general possible definition for a strong vector space is that of a small $\mathrm{Vect}$-enriched endofunctor of $\mathrm{Vect}$ that is right orthogonal for every cardinal $λ$, to the cokernel of the canonical inclusion of the $λ$-th copower in the $λ$-th power of the identity functor: these form the objects for a universal r.c.s.v.s. I call $Σ\mathrm{Vect}$. I show this is equivalent to the category of \emph{ultrafinite summability spaces} defined independently in arXiv:2403.05827. I relate this category to what could be understood to be the obvious category of strong vector spaces $BΣ\mathrm{Vect}$ and to the r.c.s.v.s. $K\mathrm{TVect}_s$ of separated linearly topologized spaces that are generated by linearly compact spaces. I analyze the monoidal closed structures on various r.s.v.s. induced by the natural one on $\mathrm{Ind}(\mathrm{Vect}^{\mathrm{op}})$. In particular with respect to the problem of closure under the tensor product of $\mathrm{Ind}(\mathrm{Vect}^{\mathrm{op}})$. Most of the technical results apply to a more general class of orthogonal subcategories of $\mathrm{Ind}(\mathrm{Vect}^{\mathrm{op}})$ and we work with that generality as it's cost-free.

The Borel monadic theory of order is decidable

2026-03-09T11:23:24Z

The monadic theory of $(\mathbb R,\le)$ with quantification restricted to Borel sets is decidable. The Boolean combinations of $F_σ$ sets form an elementary substructure of the Borel sets. Under determinacy hypotheses, the proof extends to larger classes of sets.

Primitive recursive categoricity spectra of functional structures

2026-03-09T06:31:48Z

For the notion of degree of categoricity, we study an analogous notion for punctual structures. We show that such notions coincide for non-$Δ_{1}^{0}$-categorical injection structures, and construct an example of a $Δ_{1}^{0}$-categorical injection structure for which these notions differ. Additionally, we also show that in every non-zero c.e.~Turing degree, there exists a PR-degree that is low for punctual isomorphism (to be defined), and also a PR-degree that is a degree of punctual categoricity.

Primitive recursive categoricity spectra

2026-03-09T06:25:26Z

We study the primitive recursive analogue of computable categoricity spectra for various natural classes of structures. We show that these notions coincide for all relatively $Δ_{2}^{0}$-categorical equivalence structures and linear orders, relatively $Δ_{3}^{0}$-categorical Boolean algebras, and computably categorical tree as partial orders.

A countable-support symmetric iteration separating PP from AC

2026-03-09T04:49:59Z

We construct, from a ground model of $ZFC$, a transitive symmetric model $M$ satisfying $ZF + DC + PP + AC_{wo} + \neg AC$. The construction starts with a Cohen symmetric seed model $N$ over $Add(ω,ω_1)$ and performs an Ord-length countable-support symmetric iteration. For fixed parameters $S:=A^ω$ and $T:=PowerSet(S)$ (as computed in $N$), successor stages add orbit-symmetrized packages which force the localized splitting principle $PP^{\mathrm{split}}\!\restriction T$ (hence $PP\restriction T$) and the choice principle $AC_{wo}$, while preserving $DC$ and keeping $A$ non-well-orderable. A diagonal-lift/diagonal-cancellation scheme produces $ω_1$-complete normal limit filters. A persistence argument yields $SVC^+(T)$ in M, and Ryan--Smith localization then upgrades $PP\restriction T$ and $AC_{wo}$ to $PP$.

Limit Filters and Dependent Choice in Countable-Support Symmetric Iterations

2026-03-09T04:46:27Z

We isolate the limit-stage filter construction needed for countable-support symmetric iterations built from standard successor-step symmetric systems. At successor stages we take the $ω_1$-completion of the usual successor-stage symmetry filter. At limit stages of uncountable cofinality, countable supports are bounded and the direct-limit filter is $ω_1$-complete by stage-bounding; at limits of cofinality $ω$, we define the limit filter as the smallest normal $ω_1$-complete filter extending the head-pullback generators. In all cases the resulting limit filter is normal and $ω_1$-complete. Using these limit filters, we prove that the class of hereditarily symmetric names is closed under the operations required for ZF, that the resulting symmetric model satisfies ZF, and that over a ZFC ground it satisfies DC=DC_$ω$. We also explain why no general class-length ZF-preservation theorem is claimed here, although specific class-length symmetric iterations may still be analyzable separately over a GBC background. As a self-contained application, we construct, for any uncountable cardinal $κ$ with cofinality greater than or equal to $ω_1$, a model of ZF+DC+$\neg$AC_$κ(\mathcal{F})$, where $\mathcal{F}$ is a $κ$-indexed family of $2$-element sets of reals with no choice function. Each step of the iteration adds one unpickable pair, so the degree of AC-failure is controlled by the iteration length. We also prove that the analogous finite-support construction fails DC at the first $ω$-limit stage, showing why $ω_1$-complete limit filters are structurally needed for this application.

Quantifying Information Loss under Coarse-Grained Partitions: A Discrete Framework for Explainable Artificial Intelligence

2026-03-09T03:13:37Z

As artificial intelligence (AI) systems are increasingly used in ethically sensitive domains such as education, healthcare, and transportation, balancing accuracy and interpretability has become a central concern. Coarse ethics (CE) motivates coarse-grained evaluations under cognitive, institutional, and contextual constraints, but it still lacks a simple mathematical formalization of admissible coarse-graining and its informational consequences. This paper introduces coarse-grained partitions (CGPs) as a discrete framework for modeling coarse evaluation on a finite totally ordered score scale. A CGP represents coarse evaluation as a partition into grains with an index assignment, and induces a coarse-grained distribution by pushforward. To compare admissible coarse-grainings, we introduce categorical unification (CU), which constructs a canonical fine-scale reconstruction from the coarse representation under minimal assumptions. On this basis, we define a KL-based measure of information loss, $D_{\mathrm{KL\text{-}CU}}$, as the divergence between the original fine-grained distribution and its CU-based reconstruction. We prove that $D_{\mathrm{KL\text{-}CU}}=0$ if and only if the original distribution is already uniform within each grain. This shows that zero loss, in the sense of the proposed measure, is a highly exceptional limiting case rather than a realistic benchmark for ordinary evaluative practice. We also show that the framework leads naturally to an optimization problem for comparing alternative admissible CGPs. Applications to educational grading and explainable AI (XAI) illustrate how the framework clarifies trade-offs among informational fidelity, interpretability, and coarsening cost.

Structured sunflowers and canonical Ramsey properties

2026-03-09T00:14:51Z

A first-order structure $M$ is said to have the infinite sunflower property if, for each $k \in \mathbb{N}_+$ and each structure $M' \cong M$ whose elements are $k$-sets, there is $S \subseteq M'$, $S \cong M$, such that $S$ is a sunflower: a collection of sets such that each pair of elements has the same intersection. A class $\mathcal{K}$ of finite structures is said to have the finite sunflower property if for all $k \in \mathbb{N}_+$ and $B \in \mathcal{K}$, there is $C \in \mathcal{K}$ such that any structure $C' \cong C$ whose elements consist of $k$-sets contains a copy of $B$ which is a sunflower. These two notions were introduced by Ackerman, Karker and Mirabi in a recent paper, and give a structural generalisation of the well-known Erdős-Rado sunflower lemma for sets. We show two results for countable ultrahomogeneous relational structures with strong amalgamation: first, the infinite sunflower property is equivalent to the canonical infinite point-Ramsey property; second, a certain strengthening of the canonical finite point-Ramsey property implies the finite sunflower property. (Here, "canonical" refers to statements analogous to the Erdős-Rado canonical Ramsey theorem, involving colourings with infinitely many colours.) We also show that all free amalgamation classes with a single vertex isomorphism-type have the finite sunflower property, as do many classes of finite metric spaces, and we give a variety of further examples and observations.

Explicit affine formulas for distances between tuples in classical discrete structures

2026-03-08T13:16:08Z

Answering a question of Ben Yaacov, Ibarlucía, and Tsankov [5], we show an explicit way to construct an affine formula for the distance between two $n$-tuples in a $\{0,1\}$-valued $\varnothing$-structure, using $\lceil \log_2 n \rceil$ quantifier alternations.

The reals as a subset of an ultraproduct of finite fields

2026-03-08T07:25:46Z

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 either this copy or its algebraic closure can be constructed in some of these ways. We also show that no copy of the field of real numbers inside such an ultraproduct can ever be constructed in any of these ways, but there is either a hyperreal field or an algebraically closed field of cardinality larger or equal to the continuum that can be.

Ranked Forcing and the Length of Generalized Borel Hierarchies

2026-03-07T23:34:42Z

We extend A. Miller's framework of $α$-forcing to the case of a regular uncountable cardinal $κ= κ^{<κ}$ and apply it to study the structure of the $κ$-Borel hierarchy on subspaces of the generalized Baire space ${}^κκ$. We isolate a class of iterations of $α$-forcing and show that it satisfies a certain combinatorial property of admitting a sufficiently rich family of rank functions; this fact is then used to construct several models in which nontrivial constellations for the length of the $κ$-Borel hierarchy on multiple subspaces of ${}^κκ$ are realized simultaneously. Finally, we provide a higher variant of Steel's forcing with tagged trees and generalize arguments of Stern to derive the exact $κ$-Borel complexity of certain classes of well-founded trees.

Algorithmic randomness and the weak merging of computable probability measures

2026-03-07T15:01:15Z

We characterize Martin-Löf randomness and Schnorr randomness in terms of the merging of opinions, along the lines of the Blackwell-Dubins Theorem. After setting up a general framework for defining notions of merging randomness, we focus on finite horizon events, that is, on weak merging in the sense of Kalai-Lehrer. In contrast to Blackwell-Dubins and Kalai-Lehrer, we consider not only the total variational distance but also the Hellinger distance and the Kullback-Leibler divergence. Our main result is a characterization of Martin-Löf randomness and Schnorr randomness in terms of weak merging and the summable Kullback-Leibler divergence. The main proof idea is that the Kullback-Leibler divergence between $μ$ and $ν$, at a given stage of the learning process, is exactly the incremental growth, at that stage, of the predictable process of the Doob decomposition of the $ν$-submartingale $L(σ)=-\ln \frac{μ(σ)}{ν(σ)}$. These characterizations of algorithmic randomness notions in terms of the Kullback-Leibler divergence can be viewed as global analogues of Vovk's theorem on what transpires locally with individual Martin-Löf $μ$- and $ν$-random points and the Hellinger distance between $μ,ν$.

Nontrivial automorphisms of $\mathcal P(ω)/\mathrm{Fin}$ in Cohen models

2026-03-07T13:39:55Z

We show that if $κ< \aleph_ω$ Cohen reals are added to a model of $\mathsf{CH}$, then there are nontrivial automorphisms of $\mathcal P(ω)/\mathrm{Fin}$ in the extension. Under some further hypotheses on the ground model, namely the existence of long enough sage Davies trees (which follows from $\mathsf{SCH}$ plus $\square_λ$ for every $λ$ with $\mathrm{cf}(λ) = ω$), we prove the same result for cardinals $κ\geq \aleph_ω$ as well. This extends a result a Shelah and Steprāns, who proved the result for $κ= \aleph_2$.

Large implies henselian

2026-03-07T01:24:34Z

Fix a field $K$. We show that $K$ is large if and only if some elementary extension of $K$ is the fraction field of a henselian local domain which is not a field. The proof uses a new result about the étale-open topology over $K$: if $K$ is not separably closed and $V \to W$ is an étale morphism of $K$-varieties then $V(K) \to W(K)$ is a local homeomorphism in the étale-open topology. This, in turn, follows from results comparing the étale-open topology on $V(K)$ and the finite-closed topology on $V(K)$, newly introduced in this paper. We show that the étale-open topology refines the finite-closed topology when $K$ is perfect, and that the finite-closed topology refines the étale-open topology when $K$ is bounded. It follows that these two topologies agree in many natural examples. On the other hand, we construct several examples where these two differ, which allows us to answer a question of Lampe.