Related papers: A Note on Induction Schemas in Bounded Arithmetic

Let S be a principally embedded sl_2 subalgebra in sl_n for n > 2. A special case of results of the third author and Gregg Zuckerman implies that there exists a positive integer b(n) such that for any finite-dimensional irreducible sl_n…

Lower and upper bounds are explored for the uniform (Kolmogorov) and $L^2$-distances between the distributions of weighted sums of dependent summands and the normal law. The results are illustrated for several classes of random variables…

We consider Presburger arithmetic extended by the sine function, call this extension sine-Presburger arithmetic ($\sin$-PA), and systematically study decision problems for sets of sentences in $\sin$-PA. In particular, we detail a decision…

It is shown that the algebra of bounded Dirichlet series is not a coherent ring, and has infinite Bass stable rank. As corollaries of the latter result, it is derived that the algebra of bounded Dirichlet series has infinite topological…

Based on BONGs theory, we prove the norm principle for integral and relative integral spinor norms of quadratic forms over general dyadic local fields, respectively. By virtue of these results, we further establish the arithmetic version of…

This is the second paper of a series. It extends the results of the first paper from number fields to finitely generated fields, based on the recent theory of adelic line bundles of the same authors. We prove an arithmetic Hodge index…

We prove that a finite dimensional algebra $\Lambda$ is $\tau-$tilting finite if and only if all the bricks over $\Lambda$ are finitely generated. This is obtained as a consequence of the existence of proper locally maximal torsion classes…

Two results are presented concerning the entailment problem in Separation Logic with inductively defined predicate symbols and theory reasoning. First, we show that the entailment problem is undecidable for rules with bounded tree-width, if…

Let $X= \mathbb{P}^1 \setminus \{0,1,\infty\}$, and let $S$ denote a finite set of prime numbers. In an article of 2005, Minhyong Kim gave a new proof of Siegel's theorem for $X$: the set $X(\mathbb{Z}[S^{-1}])$ of $S$-integral points of…

For the L_2-orthogonal projector P onto spaces of linear splines over simplicial partitions of polyhedral domains in R^d, d>1, we show that the L_infty norm of P cannot be bounded uniformly with respect to the partition. This is in contrast…

Using a result of Robertson \textit{[Proc. Edinburgh Math. Soc. (2), 1976]}, we introduce a notion of differentiation of maps on certain classes of unital commutative C*-algebras. We then derive C*-algebraic Gauss-Lucas theorem and…

We represent a general bilinear Calder\'on-Zygmund operator as a sum of simple dyadic operators. The appearing dyadic operators also admit a simple proof of a sparse bound. In particular, the representation implies a so called sparse T1…

We prove a boundedness criterion for a class of dyadic multilinear forms acting on two-dimensional functions. Their structure is more general than the one of classical multilinear Calder\'{o}n-Zygmund operators as several functions can now…

For any odd prime $p$ and any integer $n>0$ with $p^2|n$, we show that the mod $p$ cohomology ring of the classifying space of the projective unitary group $PU(n)$ is not completely detected by elementary abelian $p$-subgroups, providing…

We prove that the theory of the extensional compositional truth predicate for the language of arithmetic with $\Delta_0$-induction scheme for the truth predicate and the full arithmetical induction scheme is not conservative over Peano…

In the context of integrable field theory with boundary, the integrable non-linear sigma models in two dimensions, for example, the $O(N)$, the principal chiral, the ${\rm CP}^{N-1}$ and the complex Grassmannian sigma models are discussed…

We review four basic examples where string theory and/or field theory dualities predict the existence of soliton bound-states. These include the existence of threshold bound-states of D0 branes required by IIA/M duality and the…

We show, by explicit computation, that bare lattice perturbation theory in the two-dimensional O(n) nonlinear $\sigma$ models with superinstanton boundary conditions is divergent in the limit of an infinite number of points $|\Lambda|$.…

Our earlier publications showed semantic tableau admits partial exceptions to the Second Incompleteness Theorem where a formalism recognizes its self consistency and views multiplication as a 3-way relation (rather than as a total…

Mathematical induction is a fundamental tool in computer science and mathematics. Henkin initiated the study of formalization of mathematical induction restricted to the setting when the base case B is set to singleton set containing 0 and…