Related papers: On the $\Pi^1_2$ consequences of $\Pi^1_1$-$\maths…
The \emph{shift map} $\sigma$ is the self-homeomorphism of $\omega^* = \beta\omega \setminus \omega$ induced by the successor function $n \mapsto n+1$ on $\omega$. We prove that the isomorphism classes of $\sigma$ and $\sigma^{-1}$ cannot…
We show that when certain statements are provable in subsystems of constructive analysis using intuitionistic predicate calculus, related sequential statements are provable in weak classical subsystems. In particular, if a $\Pi^1_2$…
We study the reverse mathematics of countable analogues of several maximality principles that are equivalent to the axiom of choice in set theory. Among these are the principle asserting that every family of sets has a $\subseteq$-maximal…
This work presents a classical Lie point symmetry analysis of a two-component, non-isospectral Lax pair of a hierarchy of partial differential equations in $2+1$ dimensions, which can be considered as a modified version of the Camassa-Holm…
Let kappa be an uncountable regular cardinal. Call an equivalence relation on functions from kappa into 2 Sigma_1^1-definable over H(kappa) if there is a first order sentence F and a parameter R subseteq H(kappa) such that functions…
We present a new manifestation of G\"odel's second incompleteness theorem and discuss its foundational significance, in particular with respect to Hilbert's program. Specifically, we consider a proper extension of Peano arithmetic…
We study notions of generic and coarse computability in the context of computable structure theory. Our notions are stratified by the $\Sigma_\beta$ hierarchy. We focus on linear orderings. We show that at the $\Sigma_1$ level all linear…
We describe a construction of a model of second order arithmetic in which (boldface) $\bm{\Pi^1_n}$-determinacy holds, but (lightface) $\Pi^1_{n+2}$-$\mathsf{DC}$ fails, thus showing that no projective level of determinacy implies full…
In mathematical logic there are two seemingly distinct kinds of principles called "reflection principles." Semantic reflection principles assert that if a formula holds in the whole universe, then it holds in a set-sized model. Syntactic…
Building on recent work of Philip Welch, we prove that (lightface) $\Sigma^0_3$ determinacy is equivalent to the existence of a wellfounded model satisfying the axiom scheme of (boldface) $\mathbf{\Pi}^1_2$ monotone induction.
We introduce consecutive-pattern-avoiding stack-sorting maps $\text{SC}_\sigma$, which are natural generalizations of West's stack-sorting map $s$ and natural analogues of the classical-pattern-avoiding stack-sorting maps $s_\sigma$…
We show how the new precise data on kaon decays together with forward dispersion relations, sum rules and once- and twice-subtracted Roy's equations allow for a precise determination of the sigma meson pole position. We present a comparison…
We study the D^{+} -> sigma pi^{+}, D^{+} -> rho^0 pi^{+}, B^{-} -> sigma pi^{-}, B^{-} -> rho^0 pi^{-} and \bar{B}^0 -> rho^{\pm} pi^{\mp} decays in a valence quark triangle model, incorporating chiral symmetries. We find a good agreement…
Let $\Sigma$ be a closed orientable surface of genus at least two, and let $X, Y$ be distinct marked Riemann surface structures on $\Sigma$, possibly with opposite orientations. In this paper, we show that there are (exactly) countably…
A linear system of difference equations and a nonlinear perturbation are considered. We propose sufficient conditions to ensure that the homeomorphism of topological equivalence between them is actually a $C^1$ diffeomorphism. These…
We study the $\omega\to\pi\pi\gamma$ decays by adding to the amplitude calculated within the framework of chiral perturbation theory and vector meson dominance the amplitude of $\sigma$-meson intermediate state. We estimate the coupling…
The theory of Poisson-$\sigma$-models employs the mathematical notion of Poisson manifolds to formulate and analyze a large class of topological and almost topological two dimensional field theories. As special examples this class of field…
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 if $-A$ generates a bounded $\alpha$-times resolvent family for some $\alpha \in (0,2]$, then $-A^{\beta}$ generates an analytic $\gamma$-times resolvent family for $\beta \in(0,\frac{2\pi-\pi\gamma}{2\pi-\pi\alpha})$ and…
We demonstrate that any $\Pi_\alpha$ sentence of the infinitary logic $L_{\omega_1 \omega}$ extending the theory of linear orderings has a model with a $\Pi_{\alpha+4}$ Scott sentence and hence of Scott rank at most $\alpha+3$. In other…