Transfer of generalized amalgamation in simple theories

2026-03-02T13:51:10Z

We give an abstract framework to transfer generalized amalgamation from a simple theory to another, and we apply it to theories of lovely pairs and of bounded PAC structures. We show in particular that bounded pseudo-algebraically closed fields have generalized amalgamation, regardless of their imperfection degree.

On the downward Löwenheim-Skolem Theorem for elementary submodels

2026-03-02T13:41:26Z

We introduce a new definition of a model for a formal mathematical system. The definition is based upon the substitution in the formal systems, which allows a purely algebraic approach to model theory. This is very suitable for applications due to a general syntax used in the formal systems. For our models we present a new proof of the downward Löwenheim-Skolem Theorem for elementary submodels.

Transfer principles and the Kato-Kuzumaki conjecture

2026-03-02T12:50:49Z

We show that for tame valued fields of equal characteristic with divisible value group, the $C_i$ property lifts from the residue field to the valued field under suitable hypotheses on the residue field. We apply this transfer principle to prove Kato-Kuzumaki's conjecture in full generality for several arithmetically significant fields, for instance the field $\mathbf{C}(x_1,\dots,x_m)(\!(t_1)\!)\dots(\!(t_n)\!)$, and the perfections of both $\overline{\mathbf{F}}_p(x_1,\dots,x_m)(\!(t_1)\!)\dots(\!(t_n)\!)$ and $\mathbf{F}_p(\!(t_1)\!)\dots(\!(t_n)\!)$. Finally, we prove that $\mathbf{Q}_p$ satisfies the strong $C_1^1$ property, thereby answering a question of Wittenberg.

Theoretical Foundations of Superhypergraph and Plithogenic Graph Neural Networks

2026-03-02T12:21:51Z

Hypergraphs generalize classical graphs by allowing a single edge to connect multiple vertices, providing a natural language for modeling higher-order interactions. Superhypergraphs extend this paradigm further by accommodating nested, set-valued entities and relations, enabling the representation of hierarchical, multi-level structures beyond the expressive reach of ordinary graphs or hypergraphs. In parallel, neural networks-especially Graph Neural Networks (GNNs)-have become a standard tool for learning from relational data, and recent years have seen rapid progress on Hypergraph Neural Networks (HGNNs) and their theoretical properties. To model uncertainty and multi-aspect attributes in complex networks, several graded and multi-valued graph frameworks have been developed, including fuzzy graphs and neutrosophic graphs. The plithogenic graph framework unifies and refines these approaches by incorporating multi-valued attributes together with membership and contradiction mechanisms, offering a flexible representation for heterogeneous and partially inconsistent information. This book develops the theoretical foundations of SuperHyperGraph Neural Networks (SHGNNs) and Plithogenic Graph Neural Networks, with the goal of extending message-passing principles to these advanced higher-order structures. We provide rigorous definitions, establish fundamental structural properties, and prove well-definedness results for key constructions, with particular emphasis on strengthened formulations of Soft Graph Neural Networks and Rough Graph Neural Networks.

The logic of bunched implications is undecidable

2026-03-02T08:25:13Z

The logic of bunched implications (BI), introduced by O'Hearn and Pym (1999), has attracted significant attention due to its elegant proof calculus, varied semantics, and close connections to the propositional fragment of separation logic. We show here that provability in BI is undecidable by encoding Wang tilings into its ternary relational semantics. Equivalently, this yields the undecidability of the equational theory of BI-algebras. Our result is much more general, applying to the {and, or, not, --*}-fragment of stronger and weaker logics: the negation simply needs to be disjointive, and the multiplicative conjunction need not be commutative (then --* splits into two divisions \, /). Consequently, our result covers an interval that includes BI, the non-commutative logic GBI, and Boolean BI (BBI), the latter already known to be undecidable. This result contrasts with a long-standing expectation that BI might be decidable. We also identify the gaps in the publications claiming decidability.

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics

2026-03-02T04:46:07Z

Dynamic logic is a modal logic for reasoning about programs. A cyclic proof system is a proof system that allows proofs containing cycles and is an alternative to a proof system containing (co-)induction. This paper introduces a sequent calculus and a non-labelled cyclic proof system for an extension of propositional dynamic logic obtained by adding backwards modal operators. We prove the soundness and completeness of these systems and show that cut-elimination fails in both. Moreover, we show the cut-elimination property of the cyclic proof system for propositional dynamic logic obtained by restricting ours.

The logic of KM belief update is contained in the logic of AGM belief revision

2026-03-01T20:06:26Z

For each axiom of KM belief update we provide a corresponding axiom in a modal logic containing three modal operators: a unimodal belief operator $B$, a bimodal conditional operator $>$ and the unimodal necessity operator $\square$. We then compare the resulting logic to the similar logic obtained from converting the AGM axioms of belief revision into modal axioms and show that the latter contains the former. Denoting the latter by $\mathcal L_{AGM}$ and the former by $\mathcal L_{KM}$ we show that every axiom of $\mathcal L_{KM}$ is a theorem of $\mathcal L_{AGM}$. Thus AGM belief revision can be seen as a special case of KM belief update. For the strong version of KM belief update we show that the difference between $\mathcal L_{KM}$ and $\mathcal L_{AGM}$ can be narrowed down to a single axiom, which deals exclusively with unsurprising information, that is, with formulas that were not initially disbelieved.

Azumaya algebras and Barr Theorem

2026-03-01T14:35:28Z

We study etale topology and the notion of Azumaya algebra over a commutative ring constructively. As an application of the syntactic version of Barr's Theorem, we show the equivalence between two definitions of Azumaya algebra.

Suszko's Thesis and Many-valued Logical Structures

2026-03-01T14:26:13Z

In this article, we try to formulate a definition of ''many-valued logical structure''. For this, we embark on a deeper study of Suszko's Thesis ($\mathbf{ST}$) and show that the truth or falsity of $\mathbf{ST}$ depends, at least, on the precise notion of semantics. We propose two different notions of semantics and three different notions of entailment. The first one helps us formulate a precise definition of inferentially many-valued logical structures. The second and the third help us to generalise Suszko Reduction and provide adequate bivalent semantics for monotonic and a couple of nonmonotonic logical structures. All these lead us to a closer examination of the played by language/metalanguage hierarchy vis-á-vis $\mathbf{ST}$. We conclude that many-valued logical structures can be obtained if the bivalence of all the higher-order metalogics of the logic under consideration is discarded, building formal bridges between the theory of graded consequence and the theory of many-valued logical structures, culminating in generalisations of Suszko's Thesis.

A Classifying Topos for the Spectrum of Equivalences

2026-03-01T11:25:19Z

What makes two computational systems equivalent? Topos theory answers with classifying toposes: a system's semantic content is encoded in the geometric theory it classifies, and two presentations are equivalent when their classifying toposes coincide. Process algebra answers with the linear time-branching time spectrum of van Glabbeek: a hierarchy of behavioral equivalences from trace equivalence to bisimilarity, each determined by which observations can distinguish processes. We show these are aspects of a single structure in which behavioral abstraction is localization. Each labeled transition system receives a geometric theory $\mathbb{T}_M$ whose classifying topos $\mathcal{E}[\mathbb{T}_M]$ determines its provable geometric sequents. Mutual simulation is strictly coarser than bisimulation, strictly coarser than topos equivalence; diamond-only Hennessy-Milner logic characterizes the bisimulation-invariant fragment of geometric logic -- a geometric van Benthem theorem. Grothendieck topologies yield $J_{\mathrm{bisim}} \subsetneq J_{\mathrm{sim}} \subsetneq J_{\mathrm{trace}}$, constructive for trace and bisimulation; a counterexample shows the observation-class approach inadequate for simulation, motivating Caramello's duality. Energy-topology extends this to all 13 named equivalences. Lattice closure yields 30 elements including 17 unnamed hybrids absent because the energy-game framework computes but does not close. $L_{30}$ is indecomposable with $S \to F = \mathrm{IF}$; a Geometric Closure Theorem computes presheaf Heyting implications at a single free extension. The hierarchy, bi-Heyting structure, and Closure Theorem are proved constructively with no known process-algebraic proof. The spectrum is a finite sub-poset of an infinite coframe whose operations (meets, implications, subtractions) yield structure inaccessible from process algebra. Formalized in Lean 4/Mathlib.

A unique $Q$-point and infinitely many near-coherence classes of ultrafilters

2026-03-01T10:15:44Z

We show that in the model obtained by iteratively pseudo-intersecting a Ramsey ultrafilter via a length-$ω_2$ countable support iteration of restricted Mathias forcing over a ground model satisfying $\textsf{CH}$, there is a unique $Q$-point up to isomorphism. In particular, it is consistent that there is only one $Q$-point while there are $2^{\mathfrak{c}}$-many near-coherence classes of ultrafilters.

Morita Rigidity for Kleene Algebras

2026-02-28T17:24:07Z

We introduce Morita equivalence to the study of Kleene algebras and modules. Classical characterizations of Morita-equivalent semirings such as having equivalent categories of modules and one semiring being a full matrix algebra over the other carry over. We also observe that Morita equivalence can be applied to extending and restricting scalars in Lindenbaum Tarski algebras of propositional dynamic logics. But the signature result which we obtain is a form of rigidity for Kleene algebras, which states that if the semiring reducts of two Kleene algebras are Morita-equivalent, then the Morita equivalence is in fact witnessed by Kleene bimodules.

Infima and cardinal characteristics of critical ideals for countable compact spaces

2026-02-28T14:31:34Z

For each countable ordinal $α\ge 2$, the ideals $\mathsf{conv}_α$ were introduced in ``Critical ideals for countable compact spaces'' (to appear in Fund. Math., see also arXiv:2503.12571) to characterize compact countable spaces homeomorphic to $ω^α\cdot n+1$ with the order topology. We study the structure of these ideals in the Katětov order, namely for limit ordinals $α$, we show that $\mathsf{conv}_α$ do not serve as greatest lower bounds of the $\mathsf{conv}_β$ for $β<α$. We therefore define the ideals $\mathsf{conv}_{<α}$ with this property and show that together, the ideals $\mathsf{conv}_α$ and $\mathsf{conv}_{<α}$ form intertwined decreasing hierarchies of $Σ^0_4$- and $Π^0_5$-complete ideals. Furthermore, we examine several cardinal invariants of $\mathsf{conv}_α$, computing invariants that have recently appeared in the literature in various contexts.

Speedups for Presburger Arithmetic and Real Closed Fields

2026-02-28T13:18:16Z

In the present paper, we consider Presburger arithmetic PrA and the theory of real closed fields RCF. Due to quantifier elimination in these theories, there are two kinds of natural ways to axiomatize them. Namely, on one hand, PrA can be axiomatized with the full schema of first-order induction, and RCF with the full schema of the first-order least upper bound principle. At the same time, there are natural axiomatizations of these theories that avoid the use of formulas of unbounded quantifier depth. In the present paper, we compare these two groups of axiomatizations from the perspective of proof lengths. We show that the first group of axiomatizations enjoys at least a double exponential speedup.

Unreachability of Inductive-Like Pointclasses in $L(\mathbb{R})$

2026-02-28T01:57:34Z

Hjorth proved from $ZF + AD + DC$ that there is no sequence of distinct $Σ^1_2$ sets of length $δ^1_2$. Sargsyan extended Hjorth's technique to show there is no sequence of distinct $Σ^1_{2n}$ sets of length $δ^1_{2n}$. Sargsyan conjectured an analogous property is true for any regular Suslin pointclass in $L(R)$ -- i.e. if $κ$ is a regular Suslin cardinal in $L(R)$, then there is no sequence of distinct $κ$-Suslin sets of length $κ^+$ in $L(R)$. We prove this in the case that the pointclass $S(κ)$ is inductive-like.