The magmatic universe revisited: we define ordered pairs, relations, numbers and a special form of Separation

2026-03-12T07:46:33Z

This is a companion article to \cite{Tz24}. We address the following two questions: 1) Can we define in the magmatic universe $M$ of \cite{Tz24} counterparts, or just analogues, of some very basic set-theoretic objects which are missing from $M$, specifically ordered pairs, binary relations, especially functions, as well as natural and ordinal numbers? 2) Are there restricted forms of the Separation and, perhaps, Replacement schemes that hold in $M$? We show the following: 1) Magmatic analogues of ordered pairs can indeed be defined by means of certain magmas called ``magmatic pairs''. However when we use them to generate relations and especially functions, some unsurmountable problems come up. These problems are due to the peculiarity of the elements of magmas to be distinguished into ``intended'' and ``collateral'' ones, a distinction due to their inherent relation of dependence. So magmatic functions are defined under very special conditions. 2) A certain class of formulas, called ``magmatic formulas'' is isolated, and the scheme of Separation restricted to these formulas, called ``Magmatic Separation Scheme'' (MSS), is proven to hold in $M$. On the other hand Replacement fails badly, and this is due to its functional form.

An observer-based approach to the sorites paradox and the logic derived from that

2026-03-12T07:34:57Z

We approach the sorites paradox (SP) through an observer-based and time-dependent approach to truth of vague assertions. Formally the approach gives rise to a semantics, called fluxing-object semantics (FOS), because it involves models that contain ``fluxing objects'', that is, entities changing with time and observer. The models are equipped with agents (observers) and a linear and discrete time axis for time. The changing entities are represented by partial functions of time and agent, and this partiality causes truth-value gaps. If we interpret a truth-value gap as a third truth value, then FOS becomes a three-valued logic, which, quite interestingly, is proved identical to strong Kleene three-valued logic. The sorites phenomena can be represented in a structure of FOS as special objects that change imperceptibly with respect to an observer and with respect to a particular attribute. In this account the key point that eliminates the paradoxical character of sorites is the partiality of functions. When the observer is fixed the partiality corresponds to interrupted watching on his part. The interruption creates watching gaps during which the attributed property of the object as understood by the observer may change, without violating the imperceptibility condition. Interrupted watching has, according to experts on visual attention and focusing capabilities of humans, a firm physiological justification. The relationship of watching gaps with horizon crossing is also discussed.

Power $Σ_1$ in Card with two Woodin cardinals

2026-03-11T22:42:33Z

Väänänen and Welch asked in the paper "When cardinals determine the power set: inner models and Härtig quantifier logic" which large cardinals are consistent with the power set operation $x\mapsto P(x)$ being $Σ_1$-definable in the predicate Card of all cardinals. We show that, relative to large cardinals, this property is consistent together with the existence of two Woodin cardinals.

Low level definability above large cardinals

2026-03-11T19:26:36Z

We study connections between definability in generalized descriptive set theory and large cardinals, under ZFC. We show that if $κ$ is a limit of measurables then there is no wellorder of a subset of $P(κ)$ of length $\geqκ^+$ which is $Σ_1(V_κ\cup\mathrm{OR})$, answering a question of Lücke and Müller. However, consistently, a Woodin cardinal exists and for every uncountable cardinal $κ$ which is not a limit of measurables, there is a $Σ_1(H_κ\cup\{κ\})$-good wellorder of $H_{κ^+}$. If $κ$ is a limit of measurables and $κ$ has uncountable cofinality then there is no $Σ_1(V_κ\cup\mathrm{OR})$ almost disjoint family $F\subseteq P(κ)$ of cardinality $>κ$. Consistently, $Π_1(\{κ\})$ mad families and maximal independent families $F\subseteq P(κ)$ exist, $κ$ is a limit of measurables, and more. If $κ$ is weakly compact and every $Σ_1(V_κ\cup\{κ\})$ subset of $P(κ)$ of cardinality $>κ$ contains a perfect subset of the right kind, then there is an inner model with a weakly compact limit of measurables. We prove some related facts regarding $Σ_1(V_λ\cup\{V_λ\}\cup\mathrm{OR})$ when $I_2(λ)$ holds. These depend on an analysis of fixed points of linear iterations involving $I_2(λ)$-extenders.

Rigid Real Closed Fields

2026-03-11T18:08:35Z

We construct a non-Archimedean real closed field of transcendence degree two with no non-trivial automorphisms

Four negations and the spectral presheaf

2026-03-11T17:46:11Z

Using Vakarelov's theory of lattice logics with negation, we introduce the (co)quasiintuitionistic logic, and prove its soundness and completeness with respect to the class of (co)quasiintuitionistic algebras. Combining these algebras together, we obtain biquasiintuitionistic algebras and the biquasiintuitionistic logic. Their further extension with the Skolem algebra structure defines Akchurin algebras and the respective logic, which is a product of biquasiintuitionistic and biintuitionistic logics, featuring four distinct negations. Next we generalise the framework of spectral presheaves (which is a main object in the Butterfield--Isham--Döring topos theoretic approach to quantum mechanics) to arbitrary complete orthocomplemented lattices, and show that the orthocomplementation determines two negation operators on the spectral presheaf (one paraconsistent, another paracomplete), equipping the set of all closed-and-open subpresheaves of a spectral presheaf with the structure of a biquasiintuitionistic algebra. Combined with the generic Skolem (i.e. Heyting and Brouwer) algebra structure of this set, this gives a particular instance of an Akchurin algebra. We also show that the underlying orthocomplemented lattice can be reconstructed as an internal object of the spectral presheaf, resulting as the image of a double coquasiintuitionistic (resp., quasiintuitionistic) negation monad (resp., comonad). Finally, we prove a no-go theorem for the claim that the spectral presheaf is a model of a dialectical (or any other) relevance logic.

Applications of the Gelfand--Naimark duality

2026-03-11T16:45:58Z

Stone duality is an indispensable tool for the study of compact, zero-dimensional, Hausdorff spaces. In the case of general compact Hausdorff spaces one can get quite a bit of mileage by considering the `Wallman duality' between compact spaces and lattices of closed sets. I will argue that the Gelfand--Naimark duality between compact Hausdorff spaces and unital, commutative \cstar-algebras provides great insight into compact Hausdorff spaces, and \v Cech--Stone remainders and their autohomeomorphisms in particular.

Deciding winning strategies in Yu-Gi-Oh! TCG is hard

2026-03-11T16:43:11Z

Motivated by the results for Magic: The Gathering presented in [CBH20] and [Bid20], we study a (different) computability problem about winning strategies in Yu-Gi-Oh! Trading Card Game, a popular card game developed and published by Konami. We show that the problem of establishing whether, from a given game state, a given computable strategy is winning is undecidable. In particular, not only do we prove that the Halting Problem can be reduced to this problem, but also that this problem is actually $Π^1_1$-complete. We extend this last result to all strategies with a reduction on the set of countable well orders, a classic $\boldsymbolΠ^1_1$-complete set. For these reductions, we present two legal decks (according to the current Forbidden & Limited List of Yu-Gi-Oh! Trading Card Game) that can be used by the player who goes first to perform them.

A Formalization of Abstract Rewriting in Agda

2026-03-11T16:21:54Z

We present a constructive formalization of Abstract Rewriting Systems (ARS) in the Agda proof assistant, focusing on standard results in term rewriting. We define a taxonomy of concepts related to termination and confluence and investigate the relationships between them and their classical counterparts. We identify, and eliminate where possible, the use of classical logic in the proofs of standard ARS results. Our analysis leads to refinements and mild generalizations of classical termination and confluence criteria. We investigate logical relationships between several notions of termination, arising from different formulations of the concept of a well-founded relation. We illustrate general applicability of our ARS development with an example formalization of the lambda calculus.

Forcing with random variables in bounded arithmetics and set theory

2026-03-11T15:53:02Z

We analyse the Boolean-valued random forcing $B_{M,Ω}$ in bounded arithmetics developed in Krajicek (Forcing with random variables and proof complexity, vol. 382, Cambridge University Press, 2011) from the perspective of the forcing in set theory. We observe that under the assumption that $M$ is a non-standard $ω_1$-saturated model of true arithmetics of size $ω_1$, and $Ω\in M$ is a non-standard number, $B_{M,Ω}$ is isomorphic to the probability (random) algebra corresponding to the product measure space on $2^{ω_1}$ (and hence does not depend on $M$ and $Ω$). Thus, in a well-defined sense, the forcing $B_{M,Ω}$ adds a "random integer" to the model $M$, using a non-separable algebra corresponding to $2^{ω_1}$. If $G$ is a generic filter for $B_{M,Ω}$ over a transitive model of set theory $V$, we naturally define in $V[G]$ two-valued generic extensions $M[G]^{R}$ of $M$ which correspond to Boolean-valued models in Krajicek's book (where $R$ ranges over collections of random variables which function as names for new integers). We study the relationship between the linear order $(M,<)$ and its extensions $(M[G]^R,<)$, proving several results on the extent of the mutual density of new integers in $M[G]^{R}$ and the "ground-model" integers in $M$. At the end, we discuss some advantages and limitations of interpreting forcing in bounded arithmetics (and other weak theories) in the framework of set-theoretic forcing, providing an alternative to an axiomatic approach to forcing in bounded arithmetics formulated by Atserias and Müller in Partially definable forcing and bounded arithmetic, Archive for Mathematical Logic 54 (2015), 1-33.

On the word problem for just infinite groups

2026-03-11T15:23:42Z

We establish several results on the word problem for just infinite groups. First, for finitely generated just infinite groups we show that the word problem is uniformly decidable for presentations with recursively enumerable sets of relations. Our proof does not use the Wilson--Grigorchuk theorem on the classification of just infinite groups and proceeds directly from the definition, using ideas from classical results on decidability of the word problem: Kuznetsov's theorem and Dyson--Mostowski theorem. For countably generated presentations of just infinite groups with a recursively enumerable set of relations we show that in most cases the word problem is decidable. These cases include all just infinite groups which are not locally finite and (more generally) the case when there exists an algorithm enumerating an infinite set of distinct elements. Finally, we construct presentations of countably generated locally finite groups with recursively enumerable set of relations, for which the word problem is undecidable. Yet, there exist other presentations of these groups, for which the word problem is decidable.

Stable Canonical Rules and Formulas for Pre-transitive Logics via Definable Filtration

2026-03-11T13:10:19Z

We generalize the theory of stable canonical rules by adopting definable filtration, a generalization of the method of filtration. We show that for a modal rule system or a modal logic that admits definable filtration, each extension is axiomatizable by stable canonical rules. Moreover, we provide an algebraic presentation of Gabbay's filtration and generalize stable canonical formulas and the axiomatization results via stable canonical formulas for $\mathsf{K4}$ to pre-transitive logics $\mathsf{K4^{m+1}_{1}} = \mathsf{K} + \Diamond^{m+1} p \to \Diamond p$ $(m \geq 1)$. As consequences, we obtain the fmp of $\mathsf{K4^{m+1}_{1}}$-stable logics and a characterization of splitting and union-splitting logics in the lattice $\mathsf{NExt}\mathsf{K4^{m+1}_{1}}$. There are continuum many $\mathsf{K4^{m+1}_{1}}$-stable logics that are neither $\mathsf{K4}$-stable logics nor subframe logics. Finally, we introduce $m$-stable canonical formulas, strengthening the axiomatization results for these logics.

Decomposition of Borel graphs and cohomology

2026-03-11T10:40:24Z

We give a cohomological criterion for certain decomposition of Borel graphs, which is an analog of Dunwoody's work on accessibility of groups. As an application, we prove that a Borel graph $(X,G)$ with uniformly bounded degrees of cohomological dimension one is Lipschitz equivalent to a Borel acyclic graph on $X$. This gives a new proof of a result of Chen-Poulin-Tao-Tserunyan on Borel graphs with components quasi-isometric to trees.

Punctually Standard and Nonstandard Models of Natural Numbers

2026-03-11T09:46:15Z

Abstract models of computation often treat the successor function $S$ on $\mathbb{N}$ as a primitive operation, even though its low-level implementations correspond to non-trivial programs operating on specific numerical representations. This behaviour can be analyzed without referring to notations by replacing the standard interpretation $(\mathbb{N}, S)$ with an isomorphic copy ${\mathcal A} = (\mathbb{N}, S^{\mathcal A})$, in which $S^{\mathcal A}$ is no longer computable by a single instruction. While the class of computable functions on $\mathcal{A}$ is standard if $S^{\mathcal{A}}$ is computable, existing results indicate that this invariance fails at the level of primitive recursion. We investigate which sets of operations have the property that if they are primitive recursive on $\mathcal A$ then the class of primitive recursive functions on $\mathcal A$ remains standard. We call such sets of operations \emph{bases for punctual standardness}. We exhibit a series of non-basis results which show how the induced class of primitive recursive functions on $\mathcal A$ can deviate substantially from the standard one. In particular, we demonstrate that a wide range of natural operations, including large subclasses of primitive recursive functions studied by Skolem and Levitz, fail to form such bases. On the positive side, we exhibit natural finite bases for punctual standardness. Our results answer a question recently posed by Grabmayr and establish punctual categoricity for certain natural finitely generated structures.

Almost Kurepa Suslin trees and destructibility of the Guessing Model Property

2026-03-11T08:43:45Z

Building on recent work of Krueger and the second author, we prove the consistency of the Guessing Model Principle at $ω_2$ together with the existence of an almost Kurepa Suslin tree. In particular, it is consistent that the Guessing Model Principle holds but is destructible by a ccc forcing of size $ω_1$. We also prove the consistency of the existence of a weak Kurepa tree together with the failure of the Kurepa Hypothesis and a certain guessing model principle that, for example, implies the tree property at $ω_2$.