Related papers: On the $\Pi^1_2$ consequences of $\Pi^1_1$-$\maths…
Building on Simpson's original definition over the complex numbers, we introduce the notion of restricted sheaf $\Lambda$ of rings of differential operators on a variety defined over a field of positive characteristic. We define the notion…
We show that Nash-Williams' theorem asserting that the countable transfinite sequences of elements of a better-quasi-ordering ordered by embeddability form a better-quasi-ordering is provable in the subsystem of second order arithmetic…
We develop an obstruction theory for Hirsch extensions of cbba's with twisted coefficients. This leads to a variety of applications, including a structural theorem for minimal cbba's, a construction of relative minimal models with twisted…
In this paper we develop the homological version of $\Sigma$-theory for locally compact Hausdorff groups, leaving the homotopical version for another paper. Both versions are connected by a Hurewicz-like theorem. They can be thought of as…
A `whole-part' theory is developed for a set of finite quantum systems $\Sigma (n)$ with variables in ${\mathbb Z}(n)$. The partial order `subsystem' is defined, by embedding various attributes of the system $\Sigma (m)$ (quantum states,…
In the theory of open quantum systems, divisibility of the system dynamical maps is related to memory effects in the dynamics. By decomposing the system Hilbert space as a direct sum of several Hilbert spaces, we study the relationship…
For which choices of $X,Y,Z\in\{\Sigma^1_1,\Pi^1_1\}$ does no sufficiently strong $X$-sound and $Y$-definable extension theory prove its own $Z$-soundness? We give a complete answer, thereby delimiting the generalizations of G\"odel's…
The exclusion process in which particles may jump any distance l>=1 with the probability that decays as l^-(1+sigma) is studied from coarse-grained equation for density profile in the limit when the lattice spacing goes to zero. For…
In arXiv:2208.12944 it is shown that an ordinal $\sup_{N<\omega}\psi_{\Omega_{1}}(\varepsilon_{\Omega_{\mathbb{S}+N}+1})$ is an upper bound for the proof-theoretic ordinal of a set theory ${\sf KP}\ell^{r}+(M\prec_{\Sigma_{1}}V)$. In this…
Computably enumerable equivalence relations (ceers) received a lot of attention in the literature. The standard tool to classify ceers is provided by the computable reducibility $\leq_c$. This gives rise to a rich degree-structure. In this…
The pion mass difference generates a pronounced cusp in the pi0 pi0 invariant mass distribution of K+ --> pi0 pi0 pi+ decays. As originally pointed out by Cabibbo, an accurate measurement of the cusp may allow one to pin down the S-wave…
A rank is a notion in descriptive set theory that describes ranks such as the Cantor-Bendixson rank on the set of closed subsets of a Polish space, differentiability ranks on the set of differentiable functions in $C[0,1]$ such as the…
Let $\mathsf{TT}^1$ be the combinatorial principle stating that every finite coloring of the infinite full binary tree has a homogeneous isomorphic subtree. Let $\mathsf{RT}^2_2$ and $\mathsf{WKL}_0$ denote respectively the principles of…
We show that the set of codes for Ramsey positive analytic sets is $\mathbf{\Sigma}^1_2$-complete. This is a one projective-step higher analogue of the Hurewicz theorem saying that the set of codes for uncountable analytic sets is…
We introduce a classification of locally compact Hausdorff topological spaces with respect to the behavior of $\sigma$-compact subsets, and relying on this classification we study properties of corresponding $C^*$-algebras in terms of frame…
First we summarize the quark-level linear $\sigma$ model compositeness conditions and verify that indeed $m_\sigma = 2 m_q$ when $m_\pi = 0$ and $N_c=3$, rather than in the $N_c\to\infty$ limit, as is sometimes suggested. Later we show that…
We describe a "slow" version of the hierarchy of uniform reflection principles over Peano Arithmetic ($\mathbf{PA}$). These principles are unprovable in Peano Arithmetic (even when extended by usual reflection principles of lower…
Consider the equation div$(\varphi^2 \nabla \sigma)=0$ in $\mathbb{R}^N,$ where $\varphi>0$. Berestycki, Caffarelli and Nirenberg proved that if there exists $C>0$ such that $\int_{B_R}(\varphi \sigma)^2 \leq CR^2$ for every $R\geq 1$ then…
K -> Pi Pi decays are investigated in the framework of the SU(2)left x U(1) gauge theory of J=0 mesons proposed in ref.[1], to which is added an interaction between mesons respecting the two symmetries generally attributed to strong…
We present and analyze $F_\sigma$-Mathias forcing, which is similar but tamer than Mathias forcing. In particular, we show that this forcing preserves certain weak subsystems of second-order arithmetic such as $\mathsf{ACA}_0$ and…