Related papers: On the conservation results for local reflection p…

Fixing some computably enumerable theory $T$, the Friedman-Goldfarb-Harrington (FGH) theorem says that over elementary arithmetic, each $\Sigma_1$ formula is equivalent to some formula of the form $\Box_T \varphi$ provided that $T$ is…

Beklemishev introduced an ordinal notation system for the Feferman-Sch\"utte ordinal $\Gamma_0$ based on the autonomous expansion of provability algebras. In this paper we present the logic $\textbf{BC}$ (for Bracket Calculus). The language…

Under the Ornstein-Uhlenbeck semigroup $\{U_t\}$, any non-negative measurable $f : \mathbb R^n \to \mathbb R_+$ exhibits a uniform tail bound better than that implied by Markov's inequality and conservation of mass: For every $\alpha \geq…

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…

For classical relativistic field theory in Minkowski space-time, the addition of a superpotential term to a conserved current density is trivial in the sense that it does not modify the local conservation law nor change the conserved…

Consider a piecewise affine Lipschitz map $\phi : \Omega \to \mathbb R$, where $\Omega \subset \mathbb R^d$ is an open set, and assume that $x \mapsto x + t \nabla \phi(x)$ is injective for almost every $t > 0$. In (J.-G. Liu, R.~L. Pego,…

In this paper we explore the concept of locally band preserving functions, introduced by Ercan and Wickstead, on Dedekind complete $\Phi$-algebras. Specifically, we show that all super order differentiable functions are locally band…

We prove a single-value version of Reshetnyak's theorem. Namely, if a non-constant map $f \in W^{1,n}_{\text{loc}}(\Omega, \mathbb{R}^n)$ from a domain $\Omega \subset \mathbb{R}^n$ satisfies the estimate $\lvert Df(x) \rvert^n \leq K…

We suggest a new relativity principle, which asserts the impossibility to distinguish the state of rest and the state of motion at the constant velocity of a system, if no work is done to the system in question during its motion. We suggest…

There is no recursively enumerable sequence of sufficiently strong 2-consistent r.e. theories such that each proves the $2$-consistency of the next. Montalb\'an and Shavrukov independently asked whether this result generalizes to…

Conservation laws are one of the most generic and useful concepts in physics. In nonlinear optical parametric processes, conservation of photonic energy, momenta and parity often lead to selection rules, restricting the allowed polarization…

The Boltzmann equation is a fundamental kinetic equation that describes the dynamics of dilute gas. In this paper we study the local well-posedness of the Boltzmann equation in bounded domain with the Cercignani-Lampis boundary condition,…

We prove a fractional Noether's theorem for fractional Lagrangian systems invariant under a symmetry group both in the continuous and discrete cases. This provides an explicit conservation law (first integral) given by a closed formula…

Generic classically integrable boundary conditions for the $A_{n}^{(1)}$ affine Toda field theories (ATFT) are investigated. The present analysis rests primarily on the underlying algebra, defined by the classical version of the reflection…

We prove a generalized Dade's Lemma for quotients of local rings by ideals generated by regular sequences. That is, given a pair of finitely generated modules over such a ring with algebraically closed residue field, we prove a sufficient…

We prove a local converse theorem for $GL_n$ over the archimedean local fields which characterizes an infinitesimal equivalence class of irreducible admissible representations of $GL_n(\mathbb{R})$ or $GL_n(\mathbb{C})$ in terms of twisted…

We show that induction over $\Delta(\mathbb R)$-definable well-founded classes is equivalent to the reflection principle which asserts that any true formula of first order set theory with real parameters holds in some transitive set. The…

The local converse theorem for Rankin-Selberg gamma factors of $\mathrm{GL}_2(\mathbb{F}_q)$ proved by Piatetski-Shapiro over $\mathbb{C}$ no longer holds after reduction modulo $\ell \neq p$. To remedy this, we construct new $\mathrm{GL}_n…

We prove Suslin's local-global principle for principal congruence subgroups of Chevalley groups. Let $G$ be a Chevalley--Demazure group scheme with a root system $\Phi\ne A_1$ and $E$ its elementary subgroup. Let $R$ be a ring and $I$ an…

In this paper we prove a local converse theorem for GL_n over the archimedean local fields, which characterizes an infinitesimal equivalence class of irreducible admissible representations of GL_n(R) (or GL_n(C)) in terms of twisted…