Related papers: On the $\Pi^1_2$ consequences of $\Pi^1_1$-$\maths…
The Robinson Splitting Theorem states that a c.e. degree $\mathbf{b}$ splits over any low c.e. degree $\mathbf{c}<\mathbf{b}$. We prove that a weaker version of this theorem holds in models of $\mathrm{P}^-+\mathrm{I}\Sigma_1$, with lowness…
We consider what constraints unitarity and CPT invariance yield on the strong and electromagnetic phases entering K -> pi pi decay. In particular, we show that the relative size of the electromagnetically-induced changes in the I=0 and I=2…
A classical theorem of Luzin is that the separation principle holds for the Pi^0_alpha sets but fails for the Sigma^0_alpha sets. We show that for every Sigma^0_alpha set A which is not Pi^0_alpha there exists a Sigma^0_alpha set B which is…
This paper continues the program connecting reverse mathematics and computable analysis via the framework of Weihrauch reducibility. In particular, we consider problems related to perfect subsets of Polish spaces, studying the perfect set…
The string equation of type $(2,2g+1)$ may be thought of as a higher order analogue of the first Painlev\'e equation that corresponds to the case of $g = 1$. For $g > 1$, this equation is accompanied with a finite set of commuting…
We study the effect of the sigma(600) and a_1(1260) resonances in the rho^0 -> pi^+ pi^- gamma decay, within the meson dominance model. Major effects are driven by the mass and width parameters of the sigma(600), and the usually neglected…
We provide dichotomy results characterizing when two disjoint analytic binary relations can be separated by a countable union of ${\bf\Sigma}^0_1 \!\times\! {\bf\Sigma}^0_\xi$ sets, or by a ${\bf\Pi}^0_1 \!\times\! {\bf\Pi}^0_\xi$ set.
We propose a sequential topology on the space of sub-$\sigma$-algebras of a separable probability space $(\Omega,\mathcal{F},\mathbb{P})$ by linking conditional expectations on $L^{2}$ along sequences of sub-$\sigma$-algebras. The varying…
In this paper the lightface $\Pi^{1}_{1}$-Comprehension axiom is shown to be proof-theoretically strong even over $\mbox{RCA}_{0}^{*}$, and we calibrate the proof-theoretic ordinals of weak fragments of the theory $\mbox{ID}_{1}$ of…
The pursuit of experimental precision in the $CP$-violating weak phase $\phi_2$ ($\alpha$) is not without its challenges, in part due to the need to combine multiple physical observables from various related decay channels, and therein lies…
We classify the computability-theoretic complexity of two index sets of classes of first-order theories: We show that the property of being an $\aleph_0$-categorical theory is $\Pi^0_3$-complete; and the property of being an Ehrenfeucht…
We study maximal independent families (m.i.f.) in the projective hierarchy. We show that (a) the existence of a $\boldsymbol{\Sigma}^1_2$ m.i.f. is equivalent to the existence of a $\boldsymbol{\Pi}^1_1$ m.i.f., (b) in the Cohen model,…
We describe a proof-theoretic bound on $Sigma_{2}$-definable countable ordinals in Kripke-Platek set theory with $Pi_{1}$-Collection and the existence of $omega_{1}$.
In this article we want to see that it is possible to iterate and generalize the notions presented in "Carlson's <_1-relation on the class of epsilon numbers" such that we can obtain the higher or thinner classes of ordinals induced by the…
A standard tool for classifying the complexity of equivalence relations on $\omega$ is provided by computable reducibility. This reducibility gives rise to a rich degree structure. The paper studies equivalence relations, which induce…
In this note let us give two remarks on proof-theory of PA. First a derivability relation is introduced to bound witnesses for provable $\Sigma_{1}$-formulas in PA. Second Paris-Harrington's proof for their independence result is…
We use porosity to study differentiability of Lipschitz maps on Carnot groups. Our first result states that directional derivatives of a Lipschitz function act linearly outside a $\sigma$-porous set. The second result states that irregular…
A set partition $\sigma$ of $[n]=\{1,\dots,n\}$ contains another set partition $\pi$ if restricting $\sigma$ to some $S\subseteq[n]$ and then standardizing the result gives $\pi$. Otherwise we say $\sigma$ avoids $\pi$. For all sets of…
We present the ingredients necessary for the determination of physical K->pi pi decay amplitudes for Delta I=3/2 transitions, from lattice simulations at unphysical kinematics and the use of chiral perturbation theory at next-to-leading…
We show that the Priess-Crampe & Ribenboim fixed point theorem is provable in $\mathsf{RCA}_0$. Furthermore, we show that Caristi's fixed point theorem for both Baire and Borel functions is equivalent to the transfinite leftmost path…