https://arxiv.org/api/883dlkpKOWrw5qouVf81kF1K+Do 2026-03-25T08:44:19Z 15294 165 15 http://arxiv.org/abs/2508.07892v3 2026-03-03T12:04:10Z

If $\mathcal{L}$ is an abstract logic (a.k.a. model theoretic logic), we can define the inner model $C(\mathcal{L})$ by replacing first order logic with $\mathcal{L}$ in Gödel's definition of the inner model $L$ of constructible sets. Set theoretic properties of such inner models $C(\mathcal{L})$ have been investigated recently and a spectrum of new inner models is emerging between $L$ and $\mathrm{HOD}$. The topic of this paper is the effect on $C(\mathcal{L})$ of a slight modification of $\mathcal{L}$ i.e. how sensitive is $C(\mathcal{L})$ on the exact definition of $\mathcal{L}$? The $Δ$-extension $Δ(\mathcal{L})$ of a logic is generally considered a "mild" extension of $\mathcal{L}$. We give examples of logics $\mathcal{L}$ for which the inner model $C(\mathcal{L})$ is consistently strictly smaller than the inner model $C(Δ(\mathcal{L}))$, and in one case we show this follows from the existence of $0^{\sharp}$.

2025-08-11T12:09:04Z 18 pages; minor revisions; accepted to Israel Journal of Mathematics Jouko Väänänen Ur Ya'ar http://arxiv.org/abs/2508.16892v3 2026-03-03T10:21:32Z

We investigate the continuous function $f$ defined by $$x\mapsto \sum_{σ\le_L x }2^{-K(σ)}$$ as a variant of Chaitin's Omega from the perspective of analysis, computability, and algorithmic randomness. Among other results, we obtain that: (i) $f$ is differentiable precisely at density random points; (ii) $f(x)$ is $x$-random if and only if $x$ is weakly low for $K$ (low for $Ω$); (iii) the range of $f$ is a null, nowhere dense, perfect $Π^0_1(\emptyset')$ class with Hausdorff dimension $1$; (iv) $f(x)\oplus x\ge_T\emptyset'$ for all $x$; (v) there are $2^{\aleph_0}$ many $x$ such that $f(x)$ is not 1-random; (vi) $f$ is not Turing invariant but is Turing invariant on the ideal of $K$-trivial reals. We also discuss the connection between $f$ and other variants of Omega.

2025-08-23T03:48:36Z Yuxuan Li Shuheng Zhang Xiaoyan Zhang Xuanheng Zhao http://arxiv.org/abs/2602.17240v2 2026-03-03T08:04:20Z

We introduce a fundamental homological invariant, called Serre depth, which stratifies Serre's conditions in the same way that depth stratifies the Cohen-Macaulay property. We study the Serre depths of modules over arbitrary Noetherian local rings and over standard graded algebras over a field, extending the polynomial ring case due to Muta and Terai. Under mild hypotheses, we show that the $r$-th Serre depth of a finitely generated module $M$ measures the deviation of $M$ from satisfying Serre's condition $(S_r)$. The main results of the paper can be summarized as follows: (i) We establish the basic properties of Serre depth and prove that it is invariant under completion. (ii) If the base ring $R$ is a homomorphic image of a Gorenstein ring, we show that a finitely generated $R$-module $M$ is equidimensional and satisfies $(S_r)$ if and only if its $r$-th Serre depth equals its Krull dimension. Analogous statements are obtained for schemes. (iii) For a homogeneous ideal in a standard graded polynomial ring over a field, we compare its Serre depths with those of its initial ideal. (iv) We characterize the Serre depths of a monomial ideal in terms of its skeletons and prove that the Serre depths of sufficiently large powers of a monomial ideal stabilize; the proof uses Presburger arithmetic.

2026-02-19T10:37:30Z A few minor typos were fixed Antonino Ficarra http://arxiv.org/abs/2507.11685v4 2026-03-03T07:13:13Z

Relations and interactions between the theorems of Ash, Herwig--Lascar and Ribes--Zalesskii are discussed and it is shown that these three theorems are equivalent in the sense that each of them can be derived from each other one. Some strengthenings of these theorems are obtained with the use of groups provided by a construction of the third author. Evidence is given that these strengthenings are substantially stronger than the classical results. Yet, it turns out that both kinds of results can be interpreted as different instances of the same common scheme, namely as \emph{finite approximation of free groups}.

2025-07-15T19:41:01Z 89 pages, 11 figures, follow up paper to arXiv:2208.03273; in v4, in Sections 1 and 5 the explanation of the main results has been improved K. Auinger J. Bitterlich M. Otto http://arxiv.org/abs/2603.02492v1 2026-03-03T00:49:29Z

E-variables are a relatively new approach for testing statistical hypotheses that has been experiencing major development during the last several years. In this paper we introduce the method of e-variable-approximability and use it to develop a general approximation technique allowing us to construct e-variables for popular distribution classes important for applications. E-variables were originally based on a concept of Levin's (average-bounded) randomness tests from Algorithmic Information Theory. We show that our construction of e-variables can be used to provide an explicit construction for a randomness test with respect to a class of distributions.

2026-03-03T00:49:29Z Georgii Potapov Yuri Kalnishkan http://arxiv.org/abs/2505.02544v3 2026-03-02T18:31:41Z

In this paper we study a very general finite Ramsey theorem, where both the sets being colored and the homogeneous set must satisfy some largeness notion. For the homogeneous set this has already been done using the notion of $α$-largeness, where $α$ is a countable ordinal equipped with a system of fundamental sequences. To extend this approach the more appropriate notion is barrier largeness. Since the complexity of barriers can be measured by countable ordinals, we define Ramsey ordinals and, using appropriate iterations of the Veblen functions, we are able to compute them.

2025-05-05T10:31:19Z Revised following referee reports Alberto Marcone Antonio Montalbán Andrea Volpi http://arxiv.org/abs/2603.02136v1 2026-03-02T17:56:52Z

We study whether a logic based on team semantics can be enriched with a conditional satisfying minimal requirements--namely, preservation of the closure property of the logic, Modus Ponens, and the Deduction Theorem. We show that such well-behaved conditionals exist for downward or upward closed logics, but do not typically exist for union closed, convex or intersection closed logics. We also briefly investigate conditionals satisfying weaker requirements.

2026-03-02T17:56:52Z Fausto Barbero Fan Yang http://arxiv.org/abs/2505.14516v4 2026-03-02T17:20:24Z

Assuming that no family of polynomial-size Boolean circuits can factorize a constant fraction of all products of two $n$-bit primes, we show that the bounded arithmetic theory $\text{PV}_1$, even when augmented by the sharply bounded choice scheme $BB(Σ^b_0)$, cannot prove that every number has some prime divisor. By the completeness theorem, it follows that under this assumption there is a model $M$ of $\text{PV}_1$ that contains a nonstandard number $m$ which has no prime factorization.

2025-05-20T15:43:25Z LMCS version Ondřej Ježil http://arxiv.org/abs/2603.02013v1 2026-03-02T15:59:23Z

We review second-order homogeneous linear differential equations with coefficient functions whose germs lie in a Hardy field (and hence are strongly non-oscillating). We prove a conjecture of Boshernitzan (1982): the oscillating solutions to such an equation are given by amplitude and phase functions with germs in a bigger Hardy field, and hence oscillate in a very regular way. We give sharp conditions for the uniqueness of such germs, study their asymptotic behavior, and use this to obtain information about the zeros and critical points of oscillating solutions.

2026-03-02T15:59:23Z 50 pp Matthias Aschenbrenner Lou van den Dries Joris van der Hoeven http://arxiv.org/abs/2509.03371v2 2026-03-02T14:59:51Z

We establish a DK-equivalence between the relative category of $π$-tribes and the relative category of locally cartesian closed quasicategories. From this follows one of the internal languages conjecture: Martin-Löf type theory with dependent sums, intensional identity types, and dependent products satisfying functional extensionality is the internal language of locally cartesian closed $(\infty,1)$-categories.

2025-09-03T14:51:19Z v2; 41 pages, includes several corrections and information refactoring: parts of v1 have been made independent and expanded on separately (arXiv:2602.17347 and arXiv:2602.21083) El Mehdi Cherradi http://arxiv.org/abs/2603.01871v1 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.

2026-03-02T13:51:10Z Baptiste Schilling AGL, ICJ http://arxiv.org/abs/2406.03860v2 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.

2024-06-06T08:46:52Z We have corrected some typos and improved our notation. 28 pages Matthias Kunik http://arxiv.org/abs/2603.01815v1 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.

2026-03-02T12:50:49Z 31 pages. Comments are welcome :) Felipe Gambardella Konstantinos Kartas http://arxiv.org/abs/2412.01176v2 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.

2024-12-02T06:33:02Z Book. 128 pages. ISBN: 978-1-59973-868-0. Publisher: Neutrosophic Science International Association (NSIA) Publishing House Takaaki Fujita Florentin Smarandache http://arxiv.org/abs/2603.01595v1 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.

2026-03-02T08:25:13Z 27 pages, 5 figures Nick Galatos Peter Jipsen Søren Brinck Knudstorp Revantha Ramanayake