arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

New this week

New in math.LO Logic

48 papers in math.LO from 6 November to 12 November 2026.

Includes papers cross-listed here; the counts on the field chips are by primary category.

More fields

Whole archives

showing 1–25 of 48, newest first RSS

On transformations in the Second Painlevé family

Christine Eagles, Joel Nagloo

math.CA · · arXiv ↗ · more like this ·

We complete the classification of algebraic relations among solutions of equations in the second Painlevé family $P_{II}(α): y''=2y^3+ty+α$, where $α\in\mathbb{C}$. More precisely, we prove that if $y_1,\ldots,y_n$ are generic solutions of $P_{II}(α_1),\ldots,P_{II}(α_n)$, respectively, and $tr.deg_{\mathbb{C}(t)}\mathbb{C}(t)(y_1,y_1',\ldots,y_n,y_n')<2n$, then for some $i<j$, we have that $α_i\pmα_j\in\mathbb{Z}$, and $y_i=T(y_j)$ for a classical Bäcklund transformation $T$. In particular, the classical Bäcklund transformations are the only Bäcklund transformations in the second Painlevé family.

Solovay's Construction via Proof Search

Justus Becker, Borja Sierra Miranda

math.LO · · arXiv ↗ · more like this ·

Solovay's celebrated result establishes the arithmetical completeness of GL by embedding Kripke models into arithmetic. We provide an alternative proof of the arithmetical completeness of GL, in which we instead embed failed proof searches into arithmetic. Our methodology requires only a well-behaved sequent calculus and does not rely on completeness with respect to Kripke semantics or any of its variants. This approach is particularly interesting for logics that do not behave well semantically, such as ER, for which we also provide a new proof of arithmetical completeness.

Covering numbers and pcf theory

Todd Eisworth

math.LO · · arXiv ↗ · more like this ·

We develop a general technique for deriving covering theorems from pcf-theoretic information by refining sequences of partitions. The method gives a direct proof of Shelah's cov vs. pp theorem and analogous results for diagonal coverings associated with normal ideals and covering modulo arbitrary $σ$-complete ideals, where $σ$ is regular and uncountable. In each setting, we characterize the covering invariant through pseudopowers, true cofinalities of reduced products of progressive sets, and appropriate notions of cofinality in (possible non-progressive) intervals of regular cardinals.

Why should $\mathbb{Z}$ be Diophantine in $\mathbb{Q}$?

Alexander Kozachinskiy, Hector Pasten, Xavier Vidaux

math.NT · · arXiv ↗ · more like this ·

We give a Diophantine definition of the integers in the rational numbers conditional on the $abc$ conjecture, Dickson's conjecture, and finiteness of $2$-primary parts of Shafarevich--Tate groups. We also discuss some consequences of the existence of a Diophantine definition of the integers in the rational numbers. The goal of this work is to serve as an entry point to recent developments around Hilbert's tenth problem for the rational numbers.

Mathematical foundations for symmetric programming and reasoning

Ohad Kammar, Matija Pretnar

cs.PL · · arXiv ↗ · more like this ·

We develop a mathematical abstraction for uniformly exploiting symmetries in programming and reasoning based on the mathematical proof principle `without-loss-of-generality' (w.l.o.g.). Given: group actions that describe symmetries of the input and the output; and a canoniser, which captures how arbitrary inputs get sent to canonical ones, our construction extends any function from the canonical inputs to the whole domain. We characterise the conditions on the canonisers which guarantee that the construction gives the unique equivariant (i.e. symmetry-preserving) extension. Furthermore, we adapt the construction to a dependently-typed setting, where it captures traditional symmetric w.l.o.g. arguments via the Curry-Howard correspondence. Finally, we extend the construction to algebraic data types, where the symmetries of the constructors both uniquely determine the symmetries of the…

Propositional Dynamic Logic without tests does not have Craig Interpolation

Malvin Gattinger

cs.LO · · arXiv ↗ · more like this ·

It was shown recently by Borzechowski et al. (2026) that Propositional Dynamic Logic (PDL) has Craig Interpolation. Whether test-free PDL, i.e. PDL without the `?' operator, has interpolation remained open. Here we answer this question in the negative with a counterexample: a test-free PDL validity for which no test-free interpolant exists. The validity only uses one atomic program and the Kleene star, so it implies that the basic modal logic K extended with the reflexive transitive closure does not have interpolation, as previously shown by Studer (2009). The example was originally obtained using LLMs and Lean. We describe our methodology and provide links to all prompts, LLM output summaries as well as the Lean proof.

Strong Completeness of Provability Logic for Languages of size at most continuum

Mohammad Golshani, Reihane Zoghifard

math.LO · · arXiv ↗ · more like this ·

We investigate the strong completeness of $\mathrm{GL}(\mathbb P)$ for an infinite set of propositional variables $\mathbb P$ over ordinal spaces equipped with the interval topology $\mathcal{I}_1$. For every infinite cardinal $κ$, we consider the set \[ Γ_κ= \{\Diamond p_ξ:ξ<κ\} \cup \{\Box(p_ξ\to\Diamond p_η):ξ<η<κ\}, \] and prove that $Γ_κ$ has a model on an ordinal space with $\mathcal{I}_1$ if and only if $κ\nrightarrow_{\mathrm{ipath}}(ω)^2_{ω,<ω}$. We also prove that if $|\mathbb P|<\mathfrak p$, then $\mathrm{GL}(\mathbb P)$ is strongly complete with respect to $(ω^ω+1,\mathcal I_1)$. Finally, we establish the strong completeness of $\mathrm{GL}(\mathbb P)$ with respect to the same space whenever $|\mathbb P|=\aleph_1$.

Free Gödel algebras over Gödel hoops

Manuel Mancini

math.CT · · arXiv ↗ · more like this ·

We give an explicit description of the left adjoint $F$ of the forgetful functor $U\colon\mathsf{GAlg}\to\mathsf{GHoops}$ from Gödel algebras to Gödel hoops. If $H$ is a Gödel hoop with a least element $m$, then $F(H)$ is the direct product of the Gödel algebra obtained by adjoining a new bottom element to $H$ and of $H$ itself, regarded as a Gödel algebra with bottom element $m$. For an arbitrary Gödel hoop $H$, we glue these products along the principal filters of $H$, and we describe the operations of $F(H)$, the action of $F$ on homomorphisms and the unit of the adjunction. As an application, we show that the unit of the adjunction $F\dashv U$ is not cartesian, and that the same holds for BL-algebras and basic hoops. Moreover, the semi-abelian categories of Gödel hoops and of basic hoops are not equivalent to the slice categories of Gödel algebras and of BL-algebras over their…

Strict $\mathcal{C}^\infty$-triangulation of subanalytic sets in low dimensions

Jos{é} F. Fernando, Riccardo Ghiloni, Wiesław Pawłucki

math.GT · · arXiv ↗ · more like this ·

Let $R$ be a real closed field expanded by an o-minimal structure, let $A$ be a definable, closed and bounded subset of $R^n$ and let $p$ be a positive integer. It was recently shown in \cite{pa2} that $A$ admits a strict ${\mathcal C}^p$-triangulation $({\mathcal T},h)$, i.e., there exist a finite simplicial complex ${\mathcal T}$ in $R^n$ and a homeomorphism $h:|{\mathcal T}|\to A$ that is definable and of class ${\mathcal C}^p$. The aim of this article is to analyze a generalization of the notion of strict ${\mathcal C}^p$-triangulation of subanalytic sets to the case $p=\infty$. Examples in dimension $n=3$ show that such a generalization is not always possible within subanalytic geometry, where the class ${\mathcal C}^\infty$ is equivalent to the class ${\mathcal C}^ω$. We formulate the conjecture that strict ${\mathcal C}^\infty$-triangulations of subanalytic sets always exist in…

Minimising Disquotational Truth

Pietro Brocci, Graham E. Leigh

math.LO · · arXiv ↗ · more like this ·

We present a new axiomatic theory of disquotational truth based on the theory of positive disquotation PUTB. Formulated in classical logic, PUTB restricts the T-schema to positive sentences and satisfies key epistemic desiderata (semantic conservativity and trustworthiness). However, it fares poorly in proof-theoretic strength compared to reflective truth frameworks. To address this, we propose a new theory of positive disquotation aimed at axiomatizing its least fixed-point model. Without requiring additional resources, we achieve this by incorporating ill-founded reasoning under suitable soundness restrictions, applying the tools of cyclic proof theory to axiomatic theories of truth. The resulting theory, CPUTB, is sound relative to the minimal fixed-point model and proves the same arithmetical theorems as the impredicative theory ID1.

Strong Lyndon Interpolation for Multi-Modal Logics with Converses: A Constructive Approach with Tree Sequents

Tim S. Lyon

cs.LO · · arXiv ↗ · more like this ·

Grammar logics with converses are multi-modal logics that generalize tense logics and whose frame conditions are determined by context-free production rules. We study the strong Lyndon interpolation property (strong LIP) for these logics, which requires interpolants to respect both the polarities of propositional atoms and the indices of modalities. We show that the strong LIP properly strengthens the Lyndon interpolation property over grammar logics, since it fails for certain grammar logics with bridge axioms, i.e., path axioms relating modalities with distinct indices. We then prove that every bridge-free grammar logic, possibly extended with seriality axioms, has the strong LIP. This class includes the multi-modal tense logics obtained by imposing any combination of seriality, reflexivity, transitivity, symmetry, and Euclideanity on each pair of converse modalities. Our proof is…

A Diophantine definition of $\mathbb{Z}$ in $\mathbb{Q}$

Ashay Burungale

math.NT · · arXiv ↗ · more like this ·

We prove that the integers form a Diophantine subset of the rational numbers. More precisely, there exist an integer $n\ge1$ and a polynomial $P\in\mathbb{Z}[T,W_1,\dots,W_n]$ of total degree at most four such that $q\in\mathbb{Q}$ is an integer if and only if $P(q,\mathbf w)=0$ for some $\mathbf w\in\mathbb{Q}^n$. Consequently, any recursively enumerable subset of $\mathbb{Q}^r$ is Diophantine, and Mazur's conjecture on the topology of rational points fails. The proof is inspired by OpenAI's work on Hilbert's tenth problem over $\mathbb{Q}$. It does not use the $2$-converse or the $2$-adic Fontaine--Mazur results announced and employed by OpenAI. We define the rational numbers with square denominator using rational points on certain quadratic twists of the congruent number elliptic curve. The criterion of Tian, Yuan and Zhang, in Smith's formulation, implies that these quadratic twists…

Rigid Theories

Mirko Engler, Benjamin Zayton

math.LO · · arXiv ↗ · more like this ·

A structure is rigid if it admits no non-trivial automorphisms. We investigate an analogous invariance property for first-order theories, with relative interpretations playing the role of morphisms. A theory $T$ is called rigid if and only if every self-interpretation of $T$ is definably isomorphic to the identity interpretation. Extending work of Pakhomov and Zapryagaev (2020) on Presburger Arithmetic, we establish rigidity for Successor Arithmetic and Skolem Arithmetic (with respect to one-dimensional interpretations), True Arithmetic, and the theories of fields $\mathrm{RCF}$ and $\mathrm{ACF}$. By contrast, $\mathrm{PA}$ and $\mathrm{ZF}$ admit infinitely many self-interpretations, though both remain rigid with respect to (co-)retractions. Our main negative result is that $\mathrm{ZFC}$ has no consistent rigid extension in its own language. We compare rigidity with categoricity…

The norm formula in a Banach space and in its complete theory

Pedro Poitevin

math.LO · · arXiv ↗ · more like this ·

We study how stability and the independence property of the norm formula $φ(x,y)=\lVert x+y\rVert$ on a real Banach space relate to the same properties in its complete theory. We construct separable Banach spaces $X$ and $Y$ and a separable elementary extension $W$ of $X$. The norm formula is stable on $X$ and has the independence property on $W$, and therefore in $\operatorname{Th}(X)$. It is unstable on $Y$ and has no independence property in any model of $\operatorname{Th}(Y)$. Together with $\ell_2$ and $X\oplus_2Y$, these spaces realize all five possible combinations of stability, instability without the independence property, and the independence property on a space with the presence or absence of the independence property in its complete theory. All five spaces are uniformly convex and $\sqrt3$-isomorphic to Hilbert space. Their norms satisfy the common midpoint estimate $\lVert…

Normality in generalized Rudin spaces

Todd Eisworth, Menachem Kojman

math.LO · · arXiv ↗ · more like this ·

In \cite{Kojman2026}, Kojman generalized Mary Ellen Rudin's construction of a ZFC Dowker space to larger cardinals and gave a pcf-theoretic condition ensuring that the resulting spaces are collectionwise normal. A subsequent manuscript by Eisworth, Kojman, Lambie-Hanson, and Marun \cite{EKLM2026} develops the theory further and leaves open whether these generalized Rudin spaces can fail to be normal. We answer this question by proving that, for cardinals $μ<δ$ with $\operatorname{cf}(δ)=\aleph_0$, the generalized Rudin space $X(μ,δ)$ is normal if and only if $\operatorname{pp}(ν)<δ$ for every cardinal $ν\in(μ,δ)$ with $\operatorname{cf}(ν)=\aleph_0$. Given this characterization, known consistency results provide consistent examples of nonnormal generalized Rudin spaces.

A negative answer to the final question in "Les petits cailloux"

Mihai Prunescu

math.LO · · arXiv ↗ · more like this ·

We consider polynomial-time computation over arbitrary structures, with unit cost for the primitive operations and relations and with nondeterministic witnesses consisting of arbitrary structure elements. We prove that every finite-signature structure with two distinct available elements and containing a binary operation $*$ and total unary operations $L,R$ such that $L(x*y)=x$ and $R(x*y)=y$ satisfies $P\ne NP$. The proof encodes an exponentially long computation in one element. An incorrect transition has a polynomial-size binary address, and hence the existence of an error is an $NBP$ problem. Existence of a correct accepting trace belongs to the mixed second level $Σ_2^{S,B}$, with an arbitrary-element existential block followed by a binary universal block. We obtain $EXP\subseteqΣ_2^{S,B}\subseteq PH$. A hypothetical equality $P=NP$ would collapse this hierarchy to $P$ and imply…

Splitting Number at Singular Cardinals

Andrés F. Uribe-Zapata

math.LO · · arXiv ↗ · more like this ·

We study the splitting number at singular cardinals with emphasis on what we call the reduction to the cofinality problem: whether $\mathfrak{s}_κ = \mathfrak{s}_{\mathrm{cf}(κ)}$ holds for a singular cardinal $κ$. Our main tool is the transfinite logarithm function $\mathrm{log}_{2}(μ) := \min \{ λ\in \mathrm{card} \colon μ\leq 2^λ \}$ defined for every infinite cardinal $μ$. We prove that the reduction holds, and in fact $\mathfrak{s}_κ = \mathrm{log}_{2}(\mathrm{cf}(κ))$, whenever $\mathrm{cf}(κ)$ is uncountable and not weakly compact. When $\mathrm{cf}(κ) = \aleph_{0}$, we show that $\mathfrak{s}_κ = \mathfrak{s}$ provided that $\mathfrak{s} \leq \log_{2}(κ)$, while the failure of the reduction is consistent with $\mathrm{ZFC}$. When $\mathrm{cf}(κ)$ is weakly compact, we use a model constructed by Ben-Neria and Gitik to prove that, under suitable large cardinals hypothesis…

Nearly Computable Numbers with Additional Properties

Peter Hertling, Philip Janicki

math.LO · · arXiv ↗ · more like this ·

A real number is called \emph{nearly computable} if it is the limit of a computable sequence of rational (or dyadic) numbers that has the additional property that for any computable subsequence the sequence of differences of consecutive elements converges to $0$ computably. The main result of this article provides methods for constructing nearly computable numbers with additional properties. The main result is proved by an infinite injury priority argument. Using these methods, we construct nearly computable numbers with several different additional properties: - a nearly computable number that is not divergence bounded computable, - for any left-computable number $α$ that is neither in the least nor in the highest Solovay degree, a left-computable, nearly computable number that is Solovay incomparable with $α$, - a nearly computable number $γ$ that can be written as the difference of…

$\mathbb Z$ is Diophantine over $\mathbb Q$ with 28 unknowns

Zhi-Wei Sun

math.NT · · arXiv ↗ · more like this ·

Recently, OpenAI proved that Hilbert's Tenth Problem over the field $\mathbb Q$ of rational numbers has a negative solution. Motivated by this work, G. Conant et al. showed that $\mathbb Z$ is diophantine over $\mathbb Q$, i.e., there is an integer-coefficient polynomial $F(x,y_1,\ldots,y_n)$ such that for any $x\in\mathbb Q$ we have $$ x\in\mathbb Z\quad\iff \exists\,y_1,\ldots,y_{n}\in\mathbb Q\ [F(x,y_1,\ldots,y_{n})=0].$$ They constructed such a polynomial $F$ with deg $F=4$ and $n=393$. In this paper, we prove the existence of such a polynomial $F$ with $n=28$.

Automatic Continuity for projective clone homomorphisms

Leopold Karl, Michael Pinsker

math.RA · · cited 0× · arXiv ↗ · more like this ·

We show that every projective clone homomorphism from a closed function clone containing the automorphism group of a countable homogeneous Ramsey structure $Δ$ in a finite relational language is uniformly continuous. This answers, for such structures, open questions previously raised by Barto, Bodirsky, Marimon, Pongrácz, and the second author in several papers (Bodirsky, Pinsker, Pongrácz, J. Symb. Log. 2021; Barto, Pinsker, SIAM J. Comput. 2020; Marimon, Pinsker, arXiv:2512.01086). Consequently, the polymorphism clone of a first-order reduct $Γ$ of $Δ$ admits a projective clone homomorphism if and only if $Γ$ primitively positively interprets all finite structures; in other words, this ability of $Γ$ is characterised by the absence of non-trivial identities in its polymorphism clone, a purely algebraic condition.

Independent Families Under Determinacy-Like Hypotheses

Stewart Bahrke, Nam Trang

math.LO · · cited 0× · arXiv ↗ · more like this ·

We generalize the notion of an independent family on $ω$ to $\mathcal{J}$-independent families on an arbitrary cardinal $κ$ and then show that under determinacy-like hypotheses that there can be no such families for reasonable $\mathcal{J}$. This is quite atypical as all other generalizations of the kinds of combinatorial families coming from the theory of cardinal characteristics follow a very different pattern, which will also be explained; in this sense independent families seem particularly special. The base theory assumed throughout is $\textsf{ZF + }$All infinite sets are Dedekind infinite.

Topology idealized

Grzegorz Wełyczko, Szymon Żeberski

math.GN · · cited 0× · arXiv ↗ · more like this ·

Inspired by recent work of A. Njamcul and A. Pavlović, we study topological spaces expanded by ideals of sets. We investigate the relationship between the cardinal invariants of the ideal topological space $(X, τ_\mathcal{I})$, the underlying topology $(X, τ)$, and the cardinal characteristics of the ideal $\mathcal{I}$. Furthermore, we analyze continuous maps between standard Polish spaces and their ideal expansions. We establish rigidity phenomena showing that continuous functions from $(X, τ)$ into $(X, τ_\mathcal{I})$ are severely constrained (e.g., taking at most countably many values on Polish spaces and being strictly constant on $\mathbb{R}$), whereas continuous functions from $(\mathbb{R}, τ_\mathcal{I})$ to $(\mathbb{R}, τ)$ collapse to standard continuous functions under mild conditions on the ideal.

Gödel's Incompleteness Theorems in Grounded Arithmetic

Bryan Ford

math.LO · · cited 0× · arXiv ↗ · more like this ·

Reflective Grounded Arithmetic (RGA) is a paracomplete arithmetic in which every term is a program and truth is grounded evaluation. RGA discharges a hypothesis only when it proves the hypothesis decided. This paper shows, in a machine-checked Isabelle/HOL development, how Gödel's incompleteness theorems hold for RGA and for systems built on it. RGA's implication is material and RGA has the disjunction property, so the implications the textbook proof of the second theorem uses fail while its entailments and rules hold: Gödel's proof survives as entailments. RGA does not prove its consistency sentence Con, and RGA derives its own second theorem as the entailment $\mathit{Con}\vdash\neg\mathit{Pr}(\ulcorner\mathit{Con}\urcorner)$ and as one sentence quantified over proofs. The second theorem is then proved once, for every Gödel extension of RGA: an entailment relation on RGA's language…

Adding unbounded and not bounded sets to a singular cardinal

Mirna D{\vz}amonja, Vladimir Kanovei

math.LO · · cited 0× · arXiv ↗ · more like this ·

This paper solves a problem (SP) attributed to Solovay in the 1960s, which is to add an unbounded sequence to a singular cardinal $κ$ without adding bounded subsets to $κ$, while preserving $κ^+$. The solution applies to any cofinality of the singular cardinal, with the assumption that $κ$ is a strong limit needed for the case of uncountable cofinality. Unsuccessful attempts to solve (SP), mostly for the countable cofinality, have appeared in published papers by various authors.

The unavoidable minor in graphs of uncountable edge-connectivity

Max Pitz, Lucas Real, Roman Schaut

math.LO · · cited 0× · arXiv ↗ · more like this ·

For any given uncountable cardinal $κ$, we show that every $κ$-edge-connected graph admits a minor embedding of the graph $T_κ\star1$ (the $κ$-regular tree with a new apex vertex adjacent to all its nodes), which is itself $κ$-edge-connected. This extends a previous result of Kurkofka regarding unavoidable minors of $\aleph_0$-edge-connected graphs to all uncountable cardinalities $κ$.