The Logical Structure of Physical Laws: A Fixed Point Reconstruction

2026-02-03T17:38:46Z

We formalise the self-referential definition of physical laws using monotone operators on a lattice of theories, resolving the pathologies of naive set-theoretic formulations. By invoking Tarski fixed point theorem, we identify physical theories as the least fixed points of admissibility constraints derived from Galois connections. We demonstrate that QED and GR can be represented in such a logical structure with respect to their symmetry and locality principles.

Forcing and classes of $\mathsf{HYP}$-dominating functions

2026-02-03T11:13:45Z

This paper is aimed at showing separations between three subsets of $ω^ω$, namely $\mathsf{HYP}\text{-}\mathsf{SNE}$, $\mathsf{HYP}\text{-}\mathsf{SME}$, and $\mathsf{HYP}\text{-}\mathsf{DOM}$. These classes are natural computational analogues of cardinal characteristics from Cichon's diagram and are known to satisfy $\mathsf{HYP}\text{-}\mathsf{SNE} \subseteq \mathsf{HYP}\text{-}\mathsf{SME} \subseteq \mathsf{HYP}\text{-}\mathsf{DOM}$. To show that both of these inclusions are strict we introduce effectivizations of Laver and Hechler forcing, which we believe are of independent interest. Our techniques allow us to show similar results relative to any Turing ideal closed under $\leq_{\mathsf{HYP}}$.

On some NIP Fragments of Fields

2026-02-03T08:45:03Z

In this note we study sets of NIP formulas in some theories of fields and valued fields, with a special focus on the sets of quantifier-free and existential formulas. First, we give a new proof of the fact that Separably Closed Valued Fields of any characteristic and any imperfection degree are NIP, and use this result to fill some gaps of a proof of the so-called NIP Transfer Theorem for henselian valued fields of equal characteristic. Second, we prove a variant of a theorem of Johnson: every positive characteristic valued field whose existential formulas are NIP is henselian. Finally, we set the ground for the finer question of transfer of NIP formulas of valued fields with bounded quantifier rank. Namely, we prove that for any henselian equicharacteristic valued field, any formula of quantifier rank at most $n\geq 1$ is NIP if and only if the same is true for the residue field and the value group, provided that the valued field is separably defectless Kaplansky and conditional on a multi-variable generalization of a well known statement about indiscernible sequences of singletons in ac-valued fields.

On the isomorphism problem for ultraproducts of $\mathrm{C}^*$-algebras in continuous model theory

2026-02-03T07:17:23Z

In classical model theory, the Keisler-Shelah theorem establishes a fundamental connection between the elementary equivalence of structures and the isomorphism of their ultrapowers. Motivated by this, one may ask whether an analogous relationship holds in the framework of continuous model theory, which naturally encompasses metric structures such as $\mathrm{C}^\ast$-algebras. In this paper, we investigate the isomorphism problem for ultraproducts of operator algebras from a model-theoretic perspective. We prove that, assuming the negation of the continuum hypothesis, there exist two elementarily equivalent infinite-dimensional unital $\mathrm{C}^\ast$-algebras $A$ and $B$ of size $\le \mathfrak c$ such that for all non-principal ultrafilters $\mathcal U, \mathcal V$ on $ω$, the ultrapowers $A^{\mathcal U}$ and $B^{\mathcal V}$ are not isomorphic. This result provides a continuous analogue of certain classical theorems concerning ultraproducts and demonstrates that the model-theoretic behavior of $\mathrm{C}^\ast$-algebras is closely related to set-theoretic principles such as the Continuum Hypothesis.

Computational techniques for sheaf cohomology of locally profinite sets

2026-02-03T01:25:53Z

We compute the sheaf cohomology with constant $\mathbb{Z}_2$ coefficients of a concrete class of locally profinite sets of independent interest. We introduce $k$-Fubini partitions to aid in constructions, which witness a failure of a Fubini theorem analog for these spaces. It is also shown that questions of intermediate cohomology degrees can be reduced to questions about top cohomology degrees by exhibiting nontrivial top cocycles as pointwise limits of coboundaries.

A vector logic for intensional formal semantics

2026-02-03T00:24:37Z

Formal semantics and distributional semantics are distinct approaches to linguistic meaning: the former models meaning as reference via model-theoretic structures; the latter represents meaning as vectors in high-dimensional spaces shaped by usage. This paper proves that these frameworks are structurally compatible for intensional semantics. We establish that Kripke-style intensional models embed injectively into vector spaces, with semantic functions lifting to (multi)linear maps that preserve composition. The construction accommodates multiple index sorts (worlds, times, locations) via a compound index space, representing intensions as linear operators. Modal operators are derived algebraically: accessibility relations become linear operators, and modal conditions reduce to threshold checks on accumulated values. For uncountable index domains, we develop a measure-theoretic generalization in which necessity becomes truth almost everywhere and possibility becomes truth on a set of positive measure, a non-classical logic natural for continuous parameters.

Nonstandard free groups

2026-02-03T00:07:09Z

Interpretation of a structure $\mathbb A$ in $\mathbb B$ allows to produce structures elementarily equivalent to $\mathbb A$ given those elementarily equivalent to $\mathbb B$. In particular, interpretation of the free group in $\mathbb N$ enables us to introduce and study a family of elementary free groups, which we call nonstandard free groups. More generally, for a wide class of groups we introduce nonstandard models arising from interpretation in $\mathbb N$. We exploit interpretation to show that under mild assumptions, ultrapowers of a group can be viewed as nonstandard models of that group. This leads us to describe the structure of the ultrapowers in terms of structure of nonstandard models of natural numbers, offering insight into a longstanding question of Malcev. We also introduce fundamentals of nonstandard combinatorial group theory such as the notions of nonstandard subgroups, nonstandard normal subgroups, and nonstandard group presentations.

Topologically free non-Hausdorff groupoids

2026-02-02T23:56:35Z

We study three conditions that control the behaviour of isotropy in étale groupoids, and their relationships under the additional assumptions of second-countability and Hausdorffness. We examine a number of examples that show these properties are distinct. Working under the assumption of the Zermelo-Fraenkel axioms, excluding choice, we then examine an alternate characterization of topological freeness, first introduced by Anantharaman-Delaroche, in the non-Hausdorff setting. Finally, we prove an equivalence between the Baire Category Theorem and an étale groupoid theorem, along with similar equivalences to other weakenings of the Axiom of Choice.

Categoricity for inferential $ω$-logic and $L_{ω_1,ω}$

2026-02-02T21:59:43Z

This paper provides two extensions of first order logic by `$ω$-rules'. In each case we characterize the countable structures whose theory in the logic is categorical (has a unique model). In the one-sorted inferential $ω$-logic, both Robinson's system $Q$ and Peano Arithmetic become categorical. In the two-sorted generalized $ω$-logic we show each complete $L_{ω_1,ω}$ sentence defines the same class of structures as a first-order theory with the appropriate $G-ω$-rule. These logics are much weaker than second order logic and we argue that they do not appeal to the arithmetical concepts that the categoricity theorems themselves aim to secure. The results depend on proving that the inferential rules for the logics are categorical, i.e. they uniquely determine certain truth-conditions for the logical connectives and quantifiers. We provide an extensive answer to the doxological challenge (on referential determinacy) proposed in \cite{ButtonWalshbook} and we develop a philosophical view of mathematics -which we call {\em cognitive modelism}- according to which classical mathematics is best understood as a complex process of constructing and developing a distinctive class of concepts, rather than merely describing a fixed pre-existing realm of structures. KEYWORDS: categoricity, inferentialism, first-order logic, first-order theories, $ω$-rules, $L_{ω_1,ω}$.

Monotonicity versus positivity in modal logics

2026-02-02T21:38:14Z

We say that a logic L has the Lyndon positivity property (LPP) if all formulas which are monotone in L (that is, are preserved under increasing the valuation on L-algebras) are L-equivalent to positive formulas (formulas without negation and implication symbols). In the present paper, we investigate LPP in propositional monotone modal logics. First, we transfer Lyndon's result from classical predicate calculus and prove LPP for all normal modal logics with the Lyndon interpolation property (LIP). Then we prove that all logics between K4.3 and S4.3 do not have LPP. We also show that among tabular extensions of S4 there are infinitely many logics with LPP and infinitely many logics without this property. Finally, we prove that all canonical monotone modal logics which are preserved under bisimulation products have both LIP and LPP. In particular, we show LIP and LPP for all logics that are axiomatizable over the minimal monotone logic EM by means of closed formulas and formulas of the form A(p) -> <>p, where A is positive.

Club guessing and the universal models

2026-02-02T21:17:15Z

We survey the use of club guessing and other pcf constructs in the context of showing that a given partially ordered class of objects does not have a largest, or a universal element. The article was published in 2006. On rereading we noticed a missing parameter in Definition 1.1, which makes the rest the recounting of the Kojman-Shelah incorrect. We correct the (minor) error in this version, changes marked in red.

A formula for any real number, maybe

2026-02-02T17:48:14Z

We discuss how to write down three specific natural numbers $A$, $B$, $C$ such that for any real number $r$ you've probably ever thought of, it is consistent with $\mathsf{ZFC}$ set theory that $$\def\Rb{\mathbb{R}}\def\Nb{\mathbb{N}}r = \log\left(\sup_{x_0,x_1 \in \Rb} \inf_{x_2 \in \Rb} \sup_{x_3 \in \Rb}\inf_{x_4 \in \Rb}\sup_{m \in \Nb}\inf_{n_0,\dots,n_{A} \in \Nb} x^2_0 \begin{bmatrix} \phantom{+}(n_0 - 2)^2 + (n_1-m)^2 \\ + n_2 + (n_B - n_C)^2 \\ + n_3 \sum_{k=0}^4 ( x_k - \frac{n_{k+5}}{1+n_4} +n_4)^2 \\ + \sum_{i,j = 0}^B (n_{9+2^i3^j} - n_i^{n_j})^2 \end{bmatrix} \right).$$ We also discuss why it's possible, assuming the existence of certain large cardinals, for there to be a real number $s$ which cannot be the value of this formula for our particular $A$, $B$, $C$. This involves set-theoretic mice.

Decidability of Interpretability

2026-02-02T16:36:08Z

The Bodirsky-Pinsker conjecture asserts a P vs. NP-complete dichotomy for the computational complexity of Constraint Satisfaction Problems (CSPs) of first-order reducts of finitely bounded homogeneous structures. Prominently, two structures in the scope of the conjecture have log-space equivalent CSPs if they are pp-bi-interpretable, or equivalently, if their polymorphism clones are topologically isomorphic. The latter gives rise to the algebraic approach which regards structures with topologically isomorphic polymorphism clones as equivalent and seeks to identify structural reasons for hardness or tractability in topological clones. We establish that the equivalence relation of pp-bi-interpretability underlying this approach is reasonable: On the one hand, we show that it is decidable under mild conditions on the templates; this improves a theorem of Bodirsky, Pinsker and Tsankov (LICS'11) on decidability of equality of polymorphism clones. On the other hand, we show that within the much larger class of transitive $ω$-categorical structures without algebraicity, the equivalence relation is of lowest possible complexity in terms of descriptive set theory: namely, it is smooth, i.e., Borel-reduces to equality on the real numbers. On our way to showing the first result, we establish that the model-complete core of a structure that has a finitely bounded Ramsey expansion (which might include all structures of the Bodirsky-Pinsker conjecture) is computable, thereby providing a constructive alternative to previous non-constructive proofs of its existence.

Maximal Prikry Sequences

2026-02-02T16:09:01Z

In this paper we investigate the covering machinery of the Jensen-Steel core model $K$, under the hypothesis that there is no inner model with a Woodin cardinal. In an earlier work, Mitchell and the first author showed that if $ν>ω_2$ is a regular cardinal in $K$ but a singular ordinal in $V$, then $ν$ is a measurable cardinal in $K$. In this article, we further show that under certain circumstances, there exists a maximal Prikry sequence $C$ for a measure on $ν$ in $K$. The first author shows that the anti-large cardinal hypothesis is necessary. In a more restrictive setting, we prove that every subset of $ν$ with size $<|ν|$ can be covered by a set in $K[C]$ with size $<|ν|$. Benhamou and the first author show that the result is optimal.

Small measurable cardinals

2026-02-02T11:48:50Z

We continue the work from [8] and make a small -- but significant -- improvement to the definition of $j$-decomposable system. This provides us with a better lifting of elementary embeddings to symmetric extensions. In particular, this allows us to more easily lift weakly compact embeddings and thus preserve the notion of weakly critical cardinals. We use this improved lifting criterion to show that the first measurable cardinal can be the first weakly critical cardinal or the first Mahlo cardinal, both relative to the existence of a single measurable cardinal. However, if the first inaccessible cardinal is the first measurable cardinal, then in a suitable inner model it has Mitchell order of at least $2$.