Related papers: On the $\Pi^1_2$ consequences of $\Pi^1_1$-$\maths…
We present an abstract, categorical formulation of dependent functions in a fundamental manner and independently from the Sigma-construction. For that, we define first the notion of a category with family-arrows, or a $\f$-category. A $(\f,…
We apply hard pion Chiral Perturbation Theory to charmonium decays to $\pi\pi$, $KK$ and $\eta\eta$. We first discuss why we expect to be able to provide results for the chiral logarithms in $\chi_{c0}$ and $\chi_{c2}$ decays to two…
Recently BES at BEPC found evidence for the existence of the $\sigma$ meson in the process of $J/\Psi \to \sigma\omega \to\pi\pi\omega$. In this paper we firstly discuss the relevant coupling $g_{\sigma\pi\pi}$ and show that the linear…
We evaluate the $a_1(1260) \to \pi \sigma (f_0(500))$ decay width from the perspective that the $a_1(1260)$ resonance is dynamically generated from the pseudoscalar-vector interaction and the $\sigma$ arises from the…
We make use of a finite support product of the Jensen minimal forcing to define a model of set theory in which the separation theorem fails for projective classes $\mathbf\Sigma^1_n$ and $\mathbf\Pi^1_n$, for a given $n\ge3$.
The decay $\eta'\to\eta\pi^{0}\pi^{0}$ is studied in the framework of isobar model. It is shown, that good agreement with the experiment is achieved if $a_0$- and $\sigma$-meson contributions are taken into account. The contribution of…
The parameter-free part $\text{PA}_2^\ast$ of $\text{PA}_2$, the 2nd order Peano arithmetic, is considered. We make use of a product/iterated Sacks forcing to define an $\omega$-model of $\text{PA}_2^\ast + \text{CA}(\Sigma^1_2)$, in which…
Two mechanisms for the $\pi_1$ ($J^{PC}=1^{-+}$) hybrid meson decay processes $\pi_1\to\eta\pi,\eta'\pi$ are investigated. These mechanisms are applied to $\phi\to\eta\gamma,\eta'\gamma$ and $J/\psi\to\eta\gamma,\eta'\gamma$ decays to…
The decay $\eta \to \pi^0 \gamma \gamma$ is discussed in the framework of SU(3) chiral perturbation theory. The process is dominated by the ${\cal{O}}(p^6)$ in the momentum expansion where tree-level amplitudes from the effective Lagrangian…
We introduce A-ranked preferential structures and combine them with an accessibility relation. This framework allows us to formalize contrary to duty obligations. Representation results are proved.
We show that many principles of first-order arithmetic, previously only known to lie strictly between $\Sigma_1$-induction and $\Sigma_2$-induction, are equivalent to the well-foundedness of $\omega^\omega$. Among these principles are the…
Fra\"iss\'e's conjecture (proved by Laver) is implied by the $\Pi^1_1$-comprehension axiom of reverse mathematics, as shown by Montalb\'an. The implication must be strict for reasons of quantifier complexity, but it seems that no better…
The study of various decision problems for logic fragments has a long history in computer science. This paper is on the membership problem for a fragment of first-order logic over infinite words; the membership problem asks for a given…
We investigate the logical strength of the cohesiveness principle when restricted to finite sequences of sets, denoted by fin-COH, over different base theories. Our main result shows that fin-COH entails $I\Sigma_1^0$ over the weaker base…
In this contribution we review some of the interplay between sigma models in theoretical physics and novel geometrical structures such as Lie (n-)algebroids. The first part of the article contains the mathematical background, the definition…
The scattering lengths of the pi Sigma systems are key quantities in understanding the structure of the Lambda(1405) resonance and the subthreshold extrapolation of the barK N interaction. We demonstrate that the pi Sigma scattering lengths…
We calculate the branching ratios and CP asymmetries of the $B \to \pi \rho$, $\pi\omega $ decays in the perturbative QCD factorization approach up to the next-to-leading-order contributions. We find that the next-to-leading-order…
The Ginsburg--Sands theorem from topology states that every infinite topological space has an infinite subspace homeomorphic to exactly one of the following five topologies on $\omega$: indiscrete, discrete, initial segment, final segment,…
The CP(N-1) \sigma\ model on finite interval of length R with Dirichlet boundary conditions is analysed in the 1/N expansion. The theory has two phases, separated by a phase transition at R ~ 1/\Lambda, \Lambda\ is dynamical scale of the…
We predict differential decay distributions for phi->rho gamma gamma and phi -> omega gamma gamma using chiral perturbation theory. We also consider the isospin violating decay phi -> omega pi^0. Experimental information on these decays can…