https://arxiv.org/api/mH3sKWEqqZ90Qz7Q0mwelPy5Hn0 2026-04-04T17:57:04Z 15337 345 15 http://arxiv.org/abs/2602.14277v1 2026-02-15T19:01:23Z

We prove that chess played on the infinite chessboard $\mathbb{Z}^2$ with infinitely many pieces is as powerful as it could possibly be, by showing that every open Gale-Stewart game with draws is strategically equivalent to some infinite chess position and vice versa. As our construction is computable and open Gale-Stewart games are well understood, this allows us to resolve many open questions about the complexity of infinite chess with infinitely many pieces. In particular, all countable ordinals arise as the game value of some such chess position. We also give an alternate construction that realizes all countable ordinals as game values, with the pleasing property that it consists only of the king pair and pawns.

2026-02-15T19:01:23Z Matthew Bolan Andreas Tsevas http://arxiv.org/abs/2602.14243v1 2026-02-15T17:35:37Z

Constraint satisfaction problems are computational problems that naturally appear in many areas of theoretical computer science. One of the central themes is their computational complexity, and in particular the border between polynomial-time tractability and NP-hardness. In this course we introduce the universal-algebraic approach to study the computational complexity of finite-domain CSPs. The course covers in particular the cyclic terms and bounded width theorems. To keep the presentation accessible, we start the course in the tangible setting of directed graphs and graph homomorphism problems.

2026-02-15T17:35:37Z Manuel Bodirsky http://arxiv.org/abs/2511.12736v2 2026-02-15T16:18:14Z

We generalize the diamond principle and its variants using the notion of stationarity in trees introduced by Brodsky in [Brodsky, A. M., A theory of stationary trees and the balanced Baumgartner--Hajnal--Todorcevic theorem for trees. The Bulletin of Symbolic Logic]. In particular, we show that if $T$ is a nonspecial $ω_1$-tree, then $\diamondsuit_T \implies \diamondsuit$, and if $T$ is a Suslin tree, then $\diamondsuit_T \iff \diamondsuit$. We also prove that $\diamondsuit^*$ implies $\diamondsuit_T$ (yielding the consistency of $\diamondsuit_T$) and establish the consistency of $\neg\diamondsuit^* + (\forall T\text{ nonspecial }ω_1\text{-tree }(\diamondsuit_T))$. Finally, we demonstrate that it is consistent with $\diamondsuit$ that there exists a nonspecial $ω_1$-tree with $(\neg\diamondsuit_T)$, introducing two forcing properties -- $σ(S)$-closed and strategically closed in models -- which are preserved under countable support iterations.

2025-11-16T19:06:56Z 41 pages Osvaldo Guzmán Carlos López-Callejas http://arxiv.org/abs/2503.19930v2 2026-02-15T09:04:15Z

Proof-theoretic semantics (PTS) is normally understood today as Base-Extension Semantics (B-eS), i.e., as a theory of proof-theoretic consequence over atomic proof systems. Intuitionistic logic (IL) has been proved to be incomplete over a number of variants of B-eS, including a monotonic one where introduction rules play a prior role (miB-eS). In its original formulation by Prawitz, however, PTS consequence is not a primitive, but a derived notion. The main concept is that of argument structure valid relative to atomic systems and assignments of reductions for eliminating generalised detours of inferences in non-introduction form. This is called Proof-Theoretic Validity (P-tV), and it can be given in a monotonic and introduction-based form too (miP-tV). It is unclear whether, and under what conditions, the incompleteness results proved for IL over miB-eS can be transferred to miP-tV. As has been remarked, the main problem seems to be that the notion of argumental validity underlying the miB-eS notion of consequence is one where reductions are either forced to be non-uniform, or non-constructive. Building on some Prawitz-fashion incompleteness proofs for IL based on the notion of (intuitionistic) construction, I provide in what follows a set of reductions which are surely uniform (however uniformity is defined) and constructive, and which make the atomic Split rule logically valid over miP-tV, thus implying the incompleteness of IL over a Prawitzian (monotonic, introduction-based) framework strictly understood.

2025-03-22T13:55:37Z Antonio Piccolomini d'Aragona http://arxiv.org/abs/2602.13917v1 2026-02-14T23:15:47Z

In many axiomatic set theories, Gödel's constructible universe $L$ is known as an inner model, that is, a definable class satisfying the same axioms (and containing the same ordinals). This gives a trivial proof that adding the axiom $V = L$ does not increase the consistency strength of the theory. In this paper, we shall look at a system of intuitionistic set theory known as $\mathrm{CZF}$, where $L$ fails to exhibit such nice properties. We will demonstrate that, here, the theory $\mathrm{CZF} + V = L$ is still equiconsistent with $\mathrm{CZF}$, but the proof will involve a much more complicated realisability model and a recursion-theoretic argument.

2026-02-14T23:15:47Z Shuwei Wang http://arxiv.org/abs/2602.13908v1 2026-02-14T22:03:43Z

This paper extends implication-space semantics to include first-order quantification. Implication-space semantics has recently been introduced as an inferentialist formal semantics that can capture nonmonotonic and nontransitive material inferences. Extant versions, however, include only propositional logic. This paper extends the framework so as to recover classical first-order logic. The goal is to formulate a theory in which consequence relations can be nonmonotonic and supraclassical, while obeying the deduction-detachment theorem and disjunction simplification, while also including conjunctions that behave multiplicatively as premises and counterexamples to the usual quantifier rules. The paper explains these constraints and shows how they can be met jointly. The result is a first-order version of implication-space semantics that has all the virtues for which inferentialists and inferential expressivists praise propositional implication-space semantics.

2026-02-14T22:03:43Z Ulf Hlobil http://arxiv.org/abs/2505.09836v2 2026-02-14T21:40:25Z

The article offers a fresh perspective on Grzegorczyk logic Grz, introducing a simplified axiomatization and extending the analysis to its natural modal extensions, Grz.2 and Grz.3. I develop a control statement theory for these logics, utilizing concepts such as buttons, switches, and ratchets. Through this framework, I establish that Grz.2 is characterized by finite Boolean algebras.

2025-05-14T22:28:58Z Wojciech Aleksander Wołoszyn http://arxiv.org/abs/2503.18383v2 2026-02-14T16:52:16Z

We investigate the logical strength of the cohesiveness principle when restricted to finite sequences of sets, denoted by fin-COH, over different base theories. Our main result shows that fin-COH entails $IΣ_1^0$ over the weaker base theory $RCA_0^*$, thereby answering a question posed by Fiori-Carones, Kołodziejczyk and Kowalik. In addition, we show that fin-COH is not provable over $WKL_0$.

2025-03-24T06:44:11Z 8 pages Mengzhou Sun http://arxiv.org/abs/2602.13819v1 2026-02-14T15:30:14Z

It is a consequence of the axiom of choice that every preorder can be extended to a total preorder while respecting the strict preorder relation. We call such an extension a prelinearization of the preorder and study the extent to which the axiom of choice is needed to construct prelinearizations. We isolate the class of funicular preorders, and show that these have prelinearizations in models of $\mathsf{ZF+DC}$ containing no nonprincipal ultrafilters over $ω$. Funicular preorders include coordinatewise domination on $\mathbb{R}^ω$, Turing reducibility, and various preorders arising in social choice theory. The relevant models are constructed first using tools from the geometric set theory of Larson and Zapletal, which requires an inaccessible cardinal, and then the inaccessible cardinal is eliminated using methods of amalgamation for Cohen reals.

2026-02-14T15:30:14Z 23 pages. Comments are welcome Azul Fatalini Luke Serafin http://arxiv.org/abs/2602.13663v1 2026-02-14T08:15:20Z

We study Cantor's powerset theorem from a graph-theoretic perspective, consider some alternative proofs to Cantor's original, and provide a new proof.

2026-02-14T08:15:20Z 2 pages (an extended version to appear in the Mathematical Gazette) Saeed Salehi http://arxiv.org/abs/2602.13077v1 2026-02-13T16:35:42Z

We force the Axiom of Choice over the least initial segment of a Nairian model satisfying ZF. In the forcing extension, square_kappa fails at all uncountable cardinals kappa, and every regular cardinal is omega-strongly measurable in HOD, as witnessed by the omega-club filter. Thus the failure of square everywhere is within the current reach of inner model theory, and the HOD Hypothesis is not provable in ZFC.

2026-02-13T16:35:42Z Douglas Blue Paul Larson Grigor Sargsyan http://arxiv.org/abs/2509.24343v2 2026-02-13T14:36:12Z

We study the parametrized complexity of fundamental relations between multidimensional subshifts, such as equality, conjugacy, inclusion, and embedding, for subshifts of finite type (SFTs) and effective subshifts. We build on previous work of E. Jeandel and P. Vanier on the complexity of these relations as two-input problems, by fixing one subshift as parameter and taking the other subshift as input. We study the impact of various dynamical properties related to periodicity, minimality, finite type, etc. on the computational properties of the parameter subshift, which reveals interesting differences and asymmetries. Among other notable results, we find choices of parameter that reach the maximum difficulty for each problem; we find nontrivial decidable problems for multidimensional SFT, where most properties are undecidable; and we find connections with recent work relating having computable language and being minimal for some property, showing in particular that this property may not always be chosen conjugacy-invariant.

2025-09-29T06:46:15Z 20 pages Nicanor Carrasco-Vargas Benjamin Hellouin de Menibus Rémi Pallen http://arxiv.org/abs/2601.06455v2 2026-02-13T10:26:29Z

We introduce pseudofinite W*-probability spaces. These are W*-probability spaces that are elementarily equivalent to Ocneanu ultraproducts of finite-dimensional von Neumann algebras equipped with arbitrary faithful normal states. We are particularly interested in the case where these finite-dimensional von Neumann algebras are full matrix algebras: the pseudofinite factors. We show that these are indeed factors. We see as a consequence that pseudofinite factors are never of type $\mathrm{III}_0$. Mimicking the construction of the Powers factors, we give explicit families of examples of matrix algebra ultraproducts that are $\mathrm{III}_λ$ factors for $λ\in (0,1]$. We show that these examples share their universal theories with the corresponding Powers factor and thus have uncomputable universal theories. Finally, we show that pseudofinite factors are full. This generalizes a theorem of Farah-Hart-Sherman which shows that pseudofinite tracial factors do not have property $Γ$. It has the consequence that hyperfinite factors of type $\mathrm{III}$ (the Powers factors) are never pseudofinite. Our proofs combine operator algebraic insights with routine continuous logic syntactic arguments: using Łos' theorem to prove that certain sentences which are true for all matrix algebras are inherited by their ultraproducts.

2026-01-10T06:48:20Z 21 pages. Minor changes and removed an incorrect statement Jananan Arulseelan http://arxiv.org/abs/2601.18711v2 2026-02-12T19:42:07Z

We prove the claim in the title by showing that a definable Grauert Direct Image Theorem in o-minimal geometry would imply a weak representability-like property of the definable Picard functor. However, this weak representability cannot hold because of the Definable Chow Theorem of Peterzil and Starchenko. v2: small typos corrected.

2026-01-26T17:36:47Z Hélène Esnault Moritz Kerz http://arxiv.org/abs/2602.12334v1 2026-02-12T19:00:08Z

Quasi-probabilities appear across diverse areas of physics, but their conceptual foundations remain unclear: they are often treated merely as computational tools, and operations like conditioning and Bayes' theorem become ambiguous. We address both issues by developing a principled framework that derives quasi-probabilities and their conditional calculus from structural consistency requirements on how statements are valued across different universes of discourse, understood as finite Boolean algebras of statements.We begin with a universal valuation that assigns definite (possibly complex) values to all statements. The central concept is Syntactic Locality: every universe can be embedded within a larger ambient one, and the universal valuation must behave coherently under such embeddings and restrictions. From a set of structural principles, we prove a representation theorem showing that every admissible valuation can be re-expressed as a finitely additive measure on mutually exclusive statements, mirroring the usual probability sum rule. We call such additive representatives pre-probabilities. This representation is unique up to an additive regraduation freedom. When this freedom can be fixed canonically, pre-probabilities reduce to finite quasi-probabilities, thereby elevating quasi-probability theory from a computational device to a uniquely determined additive representation of universal valuations. Classical finite probabilities arise as the subclass of quasi-probabilities stable under relativisation, i.e., closed under restriction to sub-universes. Finally, the same framework enables us to define a coherent theory of conditionals, yielding a well-defined generalized Bayes' theorem applicable to both pre-probabilities and quasi-probabilities. We conclude by discussing additional regularity conditions, including the role of rational versus irrational probabilities in this setting.

2026-02-12T19:00:08Z 22 pages of main text, 3 pages of bibliography, 19 pages of appendix Jacopo Surace