Related papers: On the $\Pi^1_2$ consequences of $\Pi^1_1$-$\maths…
An assumption of isospin symmetry permits the determination of sin(2 alpha) from the experimental study of B\to pi pi decays. Isospin, however, is merely an approximate symmetry; its breaking predicates a theoretical systematical error…
Simpson and the second author asked whether there exists a characterization of the natural numbers by a second-order sentence which is provably categorical in the theory RCA$^*_0$. We answer in the negative, showing that for any…
In this talk I summarize a recently proposed mechanism to understand pi pi scattering to 1 GeV. The model is motivated by the 1/Nc expansion to QCD, and includes a current algebra contact term and resonant pole exchanges. Chiral symmetry…
We show that the theory $I\Sigma_1$ of $\Sigma_1$-induction proves the following statement: For all $n\geq 2$, the uniform $\Sigma_1$-reflection principle over the theory $I\Sigma_n$ is equivalent to the totality of the function…
Let $\mathcal R$ be a $\Sigma^1_1$ binary relation and call a set $\mathcal R$-discrete iff no two distinct of its elements are $\mathcal R$-related. We show that in the extension of $\mathbf{L}$ by iterated Sacks forcing, there is a…
We study the radiative $\rho^0\to \pi^+\pi^-\gamma$ and $\rho^0\to \pi^0\pi^0\gamma$ decays and we calculate their branching ratios using a phenomenological approach by adding to the amplitude calculated within the framework of chiral…
We prove that if the linear-time and polynomial-time hierarchies coincide, then every model of $\Pi_1(\mathbb{N}) + \neg \Omega_1$ has a proper end-extension to a model of $\Pi_1(\mathbb{N})$, and so $\Pi_1(\mathbb{N}) + \neg \Omega_1…
We show that over the weak base theory $\mathrm{RCA}_0^*$, cohesive Ramsey's theorem for pairs $\mathrm{CRT}^2_2$ implies exponential closure of the definable cut $\mathrm{I}^0_1$, which is the intersection of all $\Sigma^0_1$-definable…
It is well known that whenever a class of structures $\mathcal{K}_1$ is interpretable in a class of structures $\mathcal{K}_2$, then the hereditary undecidability of (a fragment of) the theory of $\mathcal{K}_1$ implies the hereditary…
We study the pigeonhole principle for $\Sigma_2$-definable injections with domain twice as large as the codomain, and the weak K\"onig lemma for $\Delta^0_2$-definable trees in which every level has at least half of the possible nodes. We…
We discuss what we can understand from $\phi_1$ and $B^0_d\to \pi^+ \pi^- $ decay mode. Using a convention without weak phases $\phi_2$ and $\phi_3$, we can solve the parameters from the time-depended CP asymmetry. If we can put a condition…
The dimensionless parameter $\xi = M_\pi^2/(16 \pi^2 F_\pi^2)$, where $F_\pi$ is the pion decay constant and $M_\pi$ is the pion mass, is expected to control the convergence of chiral perturbation theory applicable to QCD. Here we…
We explore the relation between various versions of Ramsey theorem and bounding schemes in model ${N}$ of a fragment of arithmetic $F$. Our goal is to recast, in a different framework, and extend some results of Hirst \cite{Hirst-1987}, see…
Given a multiplicatively closed subset $S$ of the integers, there exist Structure Theorems for $LC$ modules over the localization $\mathbb{Z}S^{-1}$ that are "similar" to those of $LCA$ groups. The most notable one is the 1st Theorem: Given…
In reverse mathematics, is is possible to have a curious situation where we know that an implication does not reverse, but appear to have no information on on how to weaken the assumption while preserving the conclusion. A main cause of…
We examine several notions of randomness for elements in a given $\Pi^0_1$ class $\mathcal{P}$. Such an effectively closed subset $\mathcal{P}$ of $2^\omega$ may be viewed as the set of infinite paths through the tree $T_{\mathcal{P}}$ of…
There has been a recent interest in hierarchical generalisations of classic incompleteness results. This paper provides evidence that such generalisations are readibly obtainable from suitably hierarchical versions of the principles used in…
A universal map is derived for all deterministic 1D cellular automata (CA) containing no freely adjustable parameters. The map can be extended to an arbitrary number of dimensions and topologies and its invariances allow to classify all CA…
Automatic structures are finitely presented structures where the universe and all relations can be recognized by finite automata. It is known that the isomorphism problem for automatic structures is complete for $\Sigma^1_1$; the first…
The decays $\rho^0\to 2\pi^+2\pi^-$ and $\rho^0\to 2\pi^0\pi^+\pi^-$ are studied using various effective Lagrangians for $\pi$ and $\rho$ (and in some cases $a_1$) mesons, all of which respect the approximate chiral symmetry of the strong…