Feasible constructivism

2026-02-06T15:54:05Z

Dummett's argument for intuitionism is well known. There is a concern that the argument proves too much, specifically, that it supports the extreme and apparently incoherent position of strict finitism. The central question is how to explicate the notion that it is possible in practice to construct an arithmetical term or verify a statement. The strict finitist answer is plagued by the sorites paradox. We propose and develop feasibilism as a more plausible view, where computational feasibility, as captured by the class of polynomial-time problems, yields a robust and expedient explication of "possible in practice". In this approach, the complexity is bounded by a polynomial function of the input size, rather than bounded by a constant (as in strict finitism), thus resolving the sorites issues. We show that a system of strictly bounded arithmetic, introduced by Sam Buss, precisely formalizes the feasibilist view so as to satisfy Dummett's requirements.

Residually Constructible Extensions

2026-02-06T14:56:22Z

Let $T$ be an o-minimal theory expanding $\mathrm{RCF}$ and $T_\mathrm{convex}$ be the common theory of its models expanded by predicate for a non-trivial $T$-convex valuation ring. We call an elementary extension $(\mathbb{E}, \mathcal{O}) \prec (\mathbb{E}_*, \mathcal{O}_*) \models T_{\mathrm{convex}}$ $\textit{res-constructible}$ if there is a tuple $\overline{s}$ in $\mathcal{O}_*$ such that $\mathbb{E}_* = \mathrm{dcl}(\mathbb{E},\overline{s})$, and the projection $\mathbf{res}(\overline{s})$ of $\overline{s}$ in the residue field sort is $\mathrm{dcl}$-independent over the residue field $\mathbf{res}(\mathbb{E}, \mathcal{O})$ of $(\mathbb{E}, \mathcal{O})$. We study factorization properties of res-constructible extensions. Our main result is that a res-constructible extension $(\mathbb{E}, \mathcal{O}) \prec (\mathbb{E}_*, \mathcal{O}_*)$ has the property that all $(\mathbb{E}_1, \mathcal{O}_1)$ with $(\mathbb{E}, \mathcal{O}) \prec (\mathbb{E}_1, \mathcal{O}_1) \prec (\mathbb{E}_*, \mathcal{O}_*)$ are res-constructible over $(\mathbb{E}, \mathcal{O})$, if and only if $\mathbb{E}_*$ has countable $\mathrm{dcl}$-dimension over $\mathbb{E}$ or the value group $\mathbf{val}(\mathbb{E}_*, \mathcal{O}_*)$ is $\textit{short}$ (i.e. contains no uncountable well-ordered subset). This analysis entails complete answers to [11, Problem 5.12].

On countability and representations

2026-02-06T14:23:58Z

The topic of this paper is the subtle interplay between countability and representations. In particular, we establish that the definition of countability of a certain set $X$ crucially hinges on the associated equivalence relation $=_{X}$. Armed with this knowledge, we study well-known and basic principles about countable sets, going back to Cantor, Sierpiński, and König, working in Kohlenbach's higher-order Reverse Mathematics. While these principles are relatively weak in second-order Reverse Mathematics, we obtain equivalences involving countable choice and Feferman's projection principle. The latter are essentially the strongest axioms studied in higher-order Reverse Mathematics and usually only come to the fore when dealing with the uncountable.

Model theory of differential-henselian pre-$H$-fields

2026-02-06T11:25:51Z

Pre-$H$-fields are ordered valued differential fields satisfying some basic axioms coming from transseries and Hardy fields. We study pre-$H$-fields that are differential-Hensel-Liouville closed, that is, differential-henselian, real closed, and closed under exponential integration, establishing an Ax--Kochen/Ershov theorem for such structures: the theory of a differential-Hensel-Liouville closed pre-$H$-field is determined by the theory of its ordered differential residue field; this result fails if the assumption of closure under exponential integration is dropped. In a two-sorted setting with one sort for a differential-Hensel-Liouville closed pre-$H$-field and one sort for its ordered differential residue field, we eliminate quantifiers from the pre-$H$-field sort, from which we deduce that the ordered differential residue field is stably embedded and if it has NIP, then so does the two-sorted structure. Similarly, the one-sorted theory of differential-Hensel-Liouville closed pre-$H$-fields with closed ordered differential residue field has quantifier elimination, is the model completion of the theory of pre-$H$-fields with gap~$0$, and is complete, distal, and locally o-minimal.

Constructibility real degrees in the side-by-side Sacks model

2026-02-06T09:48:25Z

We study the join-semilattice of constructibility real degrees in the side-by-side Sacks model, the model of set theory obtained by forcing with a countable-support product of infinitely many Sacks forcings over the constructible universe. In particular, we prove that in the side-by-side Sacks model the join-semilattice of constructibility real degrees is rigid, i.e. it does not have non-trivial automorphisms.

Ordinals and recursively defined functions on the reals

2026-02-06T09:24:16Z

We determine sufficient conditions under which certain recursively defined functions are well defined for all real inputs. Given a function $f:\mathbb R\to\mathbb R$, call a decreasing sequence $x_1>x_2>x_3>\cdots$ "$f$-bad" if $f(x_1)>f(x_2)>f(x_3)>\cdots$, and call the function $f$ "ordinal decreasing" if there exist no infinite $f$-bad sequences. We prove the following result: Given ordinal decreasing functions $f,g_1,\ldots,g_k,s$ that are everywhere larger than $0$, define the recursive algorithm "$M(x)$: if $x<0$ return $f(x)$, else return $g_1(-M(x-g_2(-M(x-\cdots-g_k(-M(x-s(x)))\cdots))))$". Then $M(x)$ halts and is ordinal decreasing for all $x \in \mathbb{R}$. The recursive algorithms $M$ and $M_n$ previously studied in the context of fusible numbers by Ericskon et al. (2022) and Bufetov et al. (2024), respectively, are special cases of this scheme. Moreover, given an ordinal decreasing function $f$, denote by $o(f)$ the ordinal height of the root of the tree of $f$-bad sequences. Then we prove that, for $k\ge 2$, the function $M(x)$ defined by the above algorithm satisfies $o(M)\le\varphi_{k-1}(γ+o(s)+1)$, where $γ$ is the smallest ordinal such that $\max\{o(s),o(f),o(g_1), \ldots, o(g_k)\} <\varphi_{k-1}(γ)$.

PBNF-transform as a formulation of Propositional Calculus, I

2026-02-06T00:13:32Z

Here, in a series of articles, we show methods for calculating propositional statements using algebraic polynomials as symbols for the connectives, which are named operators. These polynomials originate from the transformation between the principles of duality and the Disjunctive Boolean Normal Form, DBNF, and they appear if we use a geometrization in the unit square and simple algebraic methods, modulo 2. This we call the PBNF-transform. PBNF stands for Polynomial Boolean Normal Form as these families are based on DBNF involved here. In the first paper in this series, we show that statements can be mapped bijectively into different polynomial families g(p,q) belonging to H(g)$, which we call the The House of PBNF. We can also replace the connectives of logic with PBNF, as the polynomials are, in fact, a geometrization of these connectives; the systems are isomorphic. The benefit of this formulation of the Propositional Calculus(PC) is a near trivialization of the methods. No axioms are needed, no truth tables, just a list of polynomials (which in themselves are self-explanatory), the only law of inference is the rule of Substitution.

The proof theory and semantics of second-order (intuitionistic) tense logic

2026-02-05T23:03:38Z

We develop a second-order extension of intuitionistic modal logic, allowing quantification over propositions, both syntactically and semantically. A key feature of second-order logic is its capacity to define positive connectives from the negative fragment. Duly we are able to recover the diamond (and its associated theory) using only boxes, as long as we include both forward and backward modalities (`tense' modalities). We propose axiomatic, proof theoretic and model theoretic definitions of `second-order intuitionistic tense logic', and ultimately prove that they all coincide. In particular we establish completeness of a labelled sequent calculus via a proof search argument, yielding at the same time a cut-admissibility result. Our methodology also applies to the classical version of second-order tense logic, which we develop in tandem with the intuitionistic case.

On some algebraic properties of Plonka sums and regularized varieties

2026-02-05T20:50:25Z

Płonka sums consist of a general construction that provides structural description for algebras in regularized varieties, whose examples range from Clifford semigroups to many algebras of logic including involutive bisemilattices, Bochvar algebras and certain residuated structures. While properties such as subdirectly irreducible algebras, subvariety lattices, and free algebras are well-understood for plural types without constants, the general case involving nullary operations remains largely unexplored. In this paper, we extend these results to algebraic types with constants and provide new insights into splittings within the lattice of subvarieties of a regularized variety. Furthermore, we offer a complete characterization of the congruences of a Płonka sum and establish that the construction preserves surjective epimorphisms and injective monomorphisms.

An arithmetic algebraic regularity lemma

2026-02-05T18:13:58Z

We give an 'arithmetic regularity lemma' for groups definable in finite fields, analogous to Tao's 'algebraic regularity lemma' for graphs definable in finite fields. More specifically, we show that, for any $M>0$, any finite field $\mathbf{F}$, and any definable group $(G,\cdot)$ in $\mathbf{F}$ and definable subset $D\subseteq G$, each of complexity at most $M$, there is a normal definable subgroup $H\leqslant G$, of index and complexity $O_M(1)$, such that the following holds: for any cosets $V,W$ of $H$, the bipartite graph $(V,W,xy^{-1}\in D)$ is $O_M(|\mathbf{F}|^{-1/2})$-quasirandom. Various analogous regularity conditions follow; for example, for any $g\in G$, the Fourier coefficient $||\widehat{1}_{H\cap Dg}(π)||_{\mathrm{op}}$ is $O_M(|\mathbf{F}|^{-1/8})$ for every non-trivial irreducible representation $π$ of $H$.

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures

2026-02-05T17:09:53Z

Higman's lemma and Kruskal's theorem are two of the most celebrated results in the theory of well quasi-orders. In his seminal paper G. Higman obtained what is known as Higman's lemma as a corollary of a more general theorem, dubbed here Higman's theorem. While the lemma deals with finite sequences over a well quasi-order, the theorem is about abstract operations of arbitrary high arity. J.B. Kruskal was fully aware of this broader framework: in his seminal paper, he not only applied Higman's lemma at crucial points of his proof but also followed Higman's proof schema. At the conclusion of the paper, Kruskal noted that Higman's theorem is a special case, restricted to trees of finite degree, of his own tree theorem. Although he provided no formal reduction, he included a glossary translating concepts between the tree and algebraic settings. The equivalence between these versions was later clarified by D. Schmidt and M. Pouzet. In this work, we revisit that equivalence to illuminate the proof-theoretical relationships between the two theorems within the base system $RCA_0$, of reverse mathematics. Moreover, some independence results over first- and second-orders are treated. In particular, tree-like structures, involving either Ackermannian terms or exponential expressions, are studied unveiling well-foundedness properties that are independent from Peano arithmetic and relevant fragments of second-order arithmetic.

Remarks on relative categoricity

2026-02-05T16:46:17Z

We make some elementary observations about relative categoricity and the Gaifman property. T will be a complete theory in a countable language L with a distinguished unary predicate P. We will assume L is relational and T has quantifier elimination. For M a model of of T, M^P is the substructure of M with universe P(M), and T^P is the common L-theory of these M^P. T is said to be relatively categorical if for any models M_1, M_2 of T any isomorphism between M_1^P and M_2^P lifts to an isomorphism between M_1 and M_2. T has the Gaifman property (or P-existence) if every model of T^P is of the form M^P for a model M of T. It was conjectured that if T is relatively categorical then T has the Gaifman property. T is said to be relatively (omega, omega) categorical if relative categoricity holds when restricted to countable models of T. We observe that (i) if T is relatively (omega, omega) categorical then any model of T^P of cardinality at most aleph_1 is of the form M^P for M a model of T, and (ii) if in addition every model M of T is in the algebraic closure of P(M) together with a (finite) subset of M, then T is relatively categorical and has the Gaifman property.

Representability for distributive quasi relation algebras via nested sums

2026-02-05T14:28:48Z

We extend the work of Galatos (2004) on nested sums, originally called generalised ordinal sums, of residuated lattices. We show that the nested sum of an odd quasi relation algebra (qRA) satisfying certain conditions and an arbitrary qRA is again a qRA. In a recent paper by Craig and Robinson (2025) the notion of representability for distributive quasi relation algebras (DqRAs) was developed. For certain pairs of representable DqRAs, we prove that their nested sum is again representable. An important consequence of this result is that finite Sugihara chains are finitely representable.

On the Rudin-Blass Ordering of Measures

2026-02-05T14:16:13Z

We study the Rudin-Blass (and the Rudin-Keisler) ordering on the finite additive measures on $ω$. We propose a generalization of the notion of Q-point and selective ultrafilter to measures: Q-measures and selective measures. We show some symmetries between Q-points and Q-measures but also we show where those symmetries break up. In particular we present an example of a measure which is minimal in the sense of Rudin-Blass but which is not a Q-measure.

On the computational properties of ambivalent sets and functions

2026-02-05T12:57:04Z

Examples of discontinuous functions already appear in the work of Euler, Abel, Dirichlet, Fourier, and Bolzano. A ground-breaking discovery due to Baire was that many discontinuous functions are well-behaved in that they are the pointwise limit of a sequence of continuous functions; the latter form a class nowadays simply called `Baire 1'. We shall study a class strictly between the semi-continuous and Baire 1 functions, called the ambivalent fuctions. In particular, we investigate the computational properties of the class of ambivalent functions and sets, denoted $\bf Δ$, working with Kleene's S1-S9 schemes. Computational equivalences for various standard operations (supremum, Baire 1 representation, \dots) on $\bf Δ$ are established, including the structure functional $Ω_{\bf Δ}$ that decides if a given ambivalent set is non-empty. A selector is shown to be computable relative to $Ω_{\bf Δ}$ and Kleene's quantifier $\exists^{2}$.