Related papers: Pseudojump inversion in special r. b. $\Pi^0_1$ cl…

We systematically study several versions of the disjunction and the existence properties in modal arithmetic. First, we newly introduce three classes $\mathrm{B}$, $\Delta(\mathrm{B})$, and $\Sigma(\mathrm{B})$ of formulas of modal…

We consider a bivariate process $X_t=(X^1_t,X^2_t)$, which is observed on a finite time interval $[0,T]$ at discrete times $0,\Delta_n,2\Delta_n,....$ Assuming that its two components $X^1$ and $X^2$ have jumps on $[0,T]$, we derive tests…

We consider a conception of reality that is the following: An object is 'real' if we know that if we would try to test whether this object is present, this test would give us the answer 'yes' with certainty. If we consider a conception of…

In [LZ02] published in Annals of Mathematics, Long and Zhu established originally the common index jump theorem (CIJT) for symplectic paths in 2002, which has played an important role in later studies on periodic solution orbits for…

Large deviations for sums of i.i.d.\ random variables with stretched-exponential tails (also called Weibull or semi-exponential tails) have been well understood since the 60's, going back to Nagaev's seminal work. Many extensions in the…

The blow-up lemma states that a system of super-regular pairs contains all bounded degree spanning graphs as subgraphs that embed into a corresponding system of complete pairs. This lemma has far-reaching applications in extremal…

The infinite pigeonhole principle for 2-partitions asserts the existence, for every set $A$, of an infinite subset of $A$ or of its complement. In this paper, we develop a new notion of forcing enabling a fine analysis of the…

The jump of the Milnor number of an isolated singularity $f_0$ is the minimal non-zero difference between the Milnor numbers of $f_0$ and one of its deformations $(f_s)).$ We prove that for the singularities in the $X_9$ singularity class…

Everyone knows that if you have a bivariant homology theory satisfying a base change formula, you get an representation of a category of correspondences. For theories in which the covariant and contravariant transfer maps are in mutual…

Let $G$ be a complex reductive group and $V$ a $G$-module. Then the $m$th jet scheme $G_m$ acts on the $m$th jet scheme $V_m$ for all $m\geq 0$. We are interested in the invariant ring $\mathcal{O}(V_m)^{G_m}$ and whether the map…

The PBR theorem is widely seen as one of the most important no-go theorems in the foundations of quantum mechanics. Recently, in Found. Phys. 53(3): 64 (2023), it has been argued that there is no reality to the PBR theorem using a pair of…

Given an ideal $a \subseteq R$ in a (log) $Q$-Gorenstein $F$-finite ring of characteristic $p > 0$, we study and provide a new perspective on the test ideal $\tau(R, a^t)$ for a real number $t > 0$. Generalizing a number of known results…

We prove Rump's 100-euro conjecture by deriving a weighted affine escape theorem from Ball's plank theorem in [Invent. Math. \textbf{104} (1991)]. More precisely, let $\mathbb{K}\in\{\mathbb{R},\mathbb{C}\}$ and let $A\in\mathbb{K}^{n\times…

A measurable map $T$ on a measure space induces a representation $\Pi_{T}$ of a Cuntz algebra ${\cal O}_{N}$ when $T$ satisfies a certain condition. For such two maps $\tau$ and $\sigma$ and representations $\Pi_{\tau}$ and $\Pi_{\sigma}$…

It is shown that Bell's counterfactuals admit joint quasiprobability distributions (i.e. joint distributions exist, but may not be non-negative). A necessary and sufficient condition for the existence among them of a true probability…

The Addition Theorem for the algebraic entropy of group endomorphisms of torsion abelian groups was proved in [4]. Later, this result was extended to all abelian groups [3] and, recently, to all torsion finitely quasihamiltonian groups [7].…

We use reverse mathematics to analyze "iterated jump" versions of the following four principles: the atomic model theorem with subenumerable types (AST), the diagonally noncomputable principle (DNR), weak weak K\H{o}nig's lemma (WWKL), and…

In this paper we use the Recursion Theorem to show the existence of various infinite sequences and sets. Our main result is that there is an increasing sequence e_0, e_1, e_2 .. such that W_{e_n}={e_{n+1}} for every n. Similarly, we prove…

Let $G$ be a finite abeilian group. A sequence $S$ with terms from $G$ is zero-sum if the sum of terms in $S$ equals zero. It is a minimal zero-sum sequence if no proper, nontrivial subsequence is zero-sum. The maximal length of a minimal…

A new integral with respect to an integer-valued random measure is introduced. In contrast to the finite variation integral ubiquitous in semimartingale theory (Jacod and Shiryaev, 2003, II.1.5), the new integral is closed under stochastic…