Non-standard analysis for coherent risk estimation: hyperfinite representations, discrete Kusuoka formulae, and plug-in asymptotics

2026-03-06T23:08:13Z

We develop a non-standard analysis framework for coherent risk measures and their finite-sample analogues, coherent risk estimators, building on recent work of Aichele, Cialenco, Jelito, and Pitera. Coherent risk measures on $L^\infty$ are realised as standard parts of internal support functionals on Loeb probability spaces, and coherent risk estimators arise as finite-grid restrictions. Our main results are: (i) a hyperfinite robust representation theorem that yields, as finite shadows, the robust representation results for coherent risk estimators; (ii) a discrete Kusuoka representation for law-invariant coherent risk estimators as suprema of mixtures of discrete expected shortfalls on $\{k/n:k=1,\ldots,n\}$; (iii) uniform almost sure consistency (with an explicit rate) for canonical spectral plug-in estimators over Lipschitz spectral classes; (iv) a Kusuoka-type plug-in consistency theorem under tightness and uniform estimation assumptions; (v) bootstrap validity for spectral plug-in estimators via an NSA reformulation of the functional delta method (under standard smoothness assumptions on $F_X$); and (vi) asymptotic normality obtained through a hyperfinite central limit theorem. The hyperfinite viewpoint provides a transparent probability-to-statistics dictionary: applying a risk measure to a law corresponds to evaluating an internal functional on a hyperfinite empirical measure and taking the standard part. We include a standardd self-contained introduction to the required non-standard tools.

Quantifier elimination for lovely pairs of strongly geometric fields

2026-03-06T21:37:21Z

Let $T$ be a complete strongly geometric theory of fields with quantifier elimination. We show that the theory of lovely pairs of $T$ has quantifier elimination in Delon's definitional expansion by predicates for linear independence and function symbols for the corresponding coordinate functions. Apart from recovering Delon's original results for pairs of algebraically closed fields and dense pairs of algebraically closed valued fields, we obtain as particular cases, quantifier elimination for theories of dense pairs of real closed and $p$-adically closed fields.

Big Ramsey degrees and the two-branching pseudotree

2026-03-06T20:40:36Z

We prove that each finite chain in the two-branching countable ultrahomogeneous pseudotree has finite big Ramsey degrees. This is in contrast to the recent result of Chodounský, Eskew, and Weinert that antichains of size two have infinite big Ramsey degree in the pseudotree. Combining a lower bound result of theirs with work in this paper shows that chains of length two in the pseudotree have big Ramsey degree exactly seven. The pseudotree is the first example of a countable ultrahomogeneous structure in a finite language in which some finite substructures have finite big Ramsey degrees while others have infinite big Ramsey degrees.

Automata system in finitelly generated groups

2026-03-06T20:37:04Z

We prove that any finite system of interacted automata can not leave some finite arear of Calley graph of periodic group. If group has non-periodic element, then its Calley graph can be explored by some finite automata with 3 pebbles. If group is finitely generated and aperiodic then it can not be explored by any system of finite automata.

Countable models of weakly quasi-o-minimal theories II

2026-03-06T16:08:10Z

We confirm Martin's conjecture for a broad subclass of weakly quasi-o-minimal theories.

Classical Logic without Bivalance

2026-03-06T15:50:40Z

Sandqvis's semantics for classical logic without bivalence resolves the question of an anti-realist account of classical reasoning after Dummett. This paper applies the framework to the essential questions of metamathematics. The system intuitively handles $ω$-incompleteness, makes induction meaning-constitutive, and yields an elementary consistency proof for Peano Arithmetic using only ordinary induction on the natural numbers, with no appeal to transfinite ordinals or recognition-transcendent truth.

Homogeneity of the Lévy collapse from the perspective of Fraïssé theory

2026-03-06T13:46:28Z

Given a strongly inaccessible cardinal $λ$, we study the Fraïssé class of all Boolean algebras of size $<λ$, together with regular embeddings. We prove that this is indeed a Fraïsséclass, and its limit has the same completion as the Lévy collapse. We also give a direct proof that the collapsing algebra of density $κ$ is not the union of a $κ$-chain of regular sub-algebras of density $<κ$.

$m$-Rigidity and Finite-One Degrees Inside Typical Many-One Degrees

2026-03-06T13:23:22Z

In recent work, the notion of $m$-rigidity was introduced as a sufficient condition for the existence of infinite antichains of $1$-degrees inside many-one degrees. Motivated by a recent preprint of Richter, Stephan, and Zhang on finite-one degrees inside many-one degrees, we study the finite-one structure of the many-one degree of an $m$-rigid set. First, combining bi-immunity of $m$-rigid sets with a theorem of Richter, Stephan, and Zhang, we show that for Lebesgue-almost every set $A$, and for a comeager class of sets $A$, the many-one degree $°_m(A)$ contains a least finite-one degree. Second, we prove that if $A$ is $m$-rigid, then $°_m(A)$ contains infinitely many pairwise incomparable finite-one degrees. More precisely, we construct representatives $B_S \equiv_m A$, indexed by computable sets $S$, such that $T \setminus S$ infinite implies $B_T \not\leq_{fin} B_S$. Third, inside a single finite-one degree we build a strict ascending chain \[ A_{(1)} <_1 A_{(2)} <_1 \cdots \] of $1$-degrees. These results yield almost-sure and comeager partial answers to the first two open problems posed by Richter, Stephan, and Zhang.

Ideal Analytic sets

2026-03-06T10:42:26Z

The aim of this paper is to give natural examples of $\mathbfΣ_1^1$-complete and $\mathbfΠ_1^1$-complete sets. In the first part, we consider ideals on $ω$. In particular, we show that the Hindman ideal $\mathcal{H}$ is $\mathbfΠ_1^1$-complete and consider a number of ideals generated in the similar fashion. Moreover, we show that the ideal $\mathcal{D}$ is also $\mathbfΠ_1^1$-complete. In the second part, we focus on families of trees (on $ω$ and $2$) containing a specific tree type. We show the connection between two topics and explore some classical tree types (like Sacks and Miller).

On a Theorem by Bezboruah & Shepherdson

2026-03-06T09:23:09Z

We discuss an incompleteness result proven by Bezboruah and Shepherdson. This result tells us that the weak theory ${\sf PA}^-$ does not prove the consistency of any theory (under certain assumptions explained in the paper). Kreisel argued that such a result is not meaningful. We discuss Kreisel's objection and conclude that his argument does not hold water. We compare Pudlák's extension of the Second Incompleteness Theorem with the Bezboruah-Sheperdson Theorem. Finally, we reprove the Bezboruah-Sheperdson Theorem for a sequence coding based on an insight of Nielsen and Markov.

On a Question of Hamkins'

2026-03-06T09:11:29Z

Joel Hamkins asks whether there is a $Π^0_1$-formula $ρ(x)$ such that $ρ({\ulcorner φ\urcorner})$ is independent over ${\sf PA}+φ$, if this theory is consistent, where this construction is extensional in $φ$ with respect to {\sf PA}-provable equivalence. We show that there can be no such extensional Rosser formula of any complexity. We give a positive answer to Hamkins' question for the case where we replace Extensionality by a weaker demand that we call \emph{Conditional Extensionality}. For this case, we prove an even stronger result, to wit, there is a $Π^0_1$-formula $ρ(x)$ that is extensional and $Π^0_1$-flexible. We leave one important question open: what happens when we weaken Extensionality to Consistent Extensionality, i.e., Extensionality for consistent extensions?

Dp-finite and Noetherian NIP integral domains

2026-03-06T07:21:41Z

We prove some results on NIP integral domains, especially those that are Noetherian or have finite dp-rank. If $R$ is an NIP Noetherian domain that is not a field, then $R$ is a semilocal ring of Krull dimension 1, and the fraction field of $R$ has characteristic 0. Assuming the henselianity conjecture (on NIP valued fields), $R$ is a henselian local ring. Additionally, we show that integral domains of finite dp-rank are henselian local rings. Finally, we lay some groundwork for the study of Noetherian domains of finite dp-rank, and we classify dp-minimal Noetherian domains.

Three Fixed-Dimension Satisfiability Semantics for Quantum Logic: Implications and an Explicit Separator

2026-03-06T06:29:45Z

We compare three satisfiability notions for propositional formulas in the language {not, and, or} over a fixed finite-dimensional Hilbert space H=F^d with F in {R, C}. The first is the standard Hilbert-lattice semantics on the subspace lattice L(H), where meet and join are total operations. The second is a global commuting-projector semantics, where all atoms occurring in the formula are interpreted by a single pairwise-commuting projector family. The third is a local partial-Boolean semantics, where binary connectives are defined only on commeasurable pairs and definedness is checked nodewise along the parse tree. We prove, for every fixed d >= 1, Sat_COM^d(phi) implies Sat_PBA^d(phi) implies Sat_STD^d(phi) for every formula phi. We then exhibit the explicit formula SEP-1 := (p and (q or r)) and not((p and q) or (p and r)) which is satisfiable in the standard semantics for every d >= 2, but unsatisfiable under both the global commuting and the partial-Boolean semantics. Consequently, for every d >= 2, the satisfiability classes satisfy SAT_COM^d subseteq SAT_PBA^d subset SAT_STD^d and SAT_COM^d subset SAT_STD^d, while the exact relation between SAT_COM^d and SAT_PBA^d remains open. The point of the paper is semantic comparison, not a new feasibility reduction or a generic translation theorem.

Proof by Mechanization: Cubic Diophantine Equation Satisfiability is $Σ^0_1$-Complete

2026-03-06T00:32:07Z

We prove that satisfiability of a single Diophantine equation of total degree $\le 3$ over $\mathbb{N}$, with the number of variables encoded in the input instance, is $Σ^0_1$-complete and hence undecidable. Concretely, we give a uniform primitive recursive compiler mapping arithmetic sentence codes to cubic Diophantine constraint systems such that provability in $\mathrm{I}Δ_0+\mathrm{B}Σ_1$ (restricted to $\mathcal{L}_{\mathsf{RA}}$) is equivalent to solvability of the emitted constraints. Degree control is local: all syntactic checks and inference verification compile to equations of degree $\le 2$, and the only degree-$3$ terms occur when a linear selector activates a quadratic obligation. The resulting finite system is then collapsed to a single cubic equation by a degree-preserving aggregation construction. We further internalize the compiler into a fixed four-instruction register kernel with bounded deterministic trace unrolling and a two-level aggregation layout, yielding a single explicit universal cubic polynomial in a fixed number of variables. The concrete coefficient table and a kernel-checked degree certificate are mechanized in $\textsf{Rocq}$; the semantic bridge relating arithmetic theoremhood to solvability of the pinned polynomial is proved in a separate layer without normalizing the coefficient table. Undecidability follows by diagonalization.

Constraint satisfaction problems, compactness and non-measurable sets

2026-03-06T00:11:49Z

A finite relational structure A is called compact if for any infinite relational structure B of the same type, the existence of a homomorphism from B to A is equivalent to the existence of homomorphisms from all finite substructures of B to A. We show that if A has width one, then the compactness of A can be proved in the axiom system of Zermelo and Fraenkel, but otherwise, the compactness of A implies the existence of non-measurable sets in 3-space.