Gödel's modal interpretation of intuitionistic logic and its proof theory [0.03%]
哥德尔对直觉主义逻辑的模态解释及其证明论
Jan von Plato
Jan von Plato
Gödel, working within axiomatic logic, succeeded in 1933 in establishing a translation from theorems of intuitionistic propositional logic to ones of classical logic enriched with a modal provability operator. The converse correspondence w...
A note on conservation laws with discontinuous flux and [Formula: see text] initial data [0.03%]
关于带有间断通量的守恒律和[公式]初始数据的注记
Kenneth H Karlsen,Darko Mitrovic
Kenneth H Karlsen
We study conservation laws with a discontinuous flux function f ( x , λ ) . The flux function can be expressed as g ( β ( x , λ ) ) , where g is locally Lipschitz, β ( x , λ ) is an increasing function in λ ...
On asymptotic stability of solitons for 2D Maxwell-Lorentz equations with spinning particle [0.03%]
带自旋粒子的二维Maxwell-Lorentz方程组中孤子的渐近稳定性
E Kopylova
E Kopylova
We consider 2D Maxwell-Lorentz equations with an extended charged rotating particle. The system admits solitons which are solutions corresponding to a particle moving with constant velocity and rotating with constant angular velocity. Our m...
Djameleddine Kebiche
Djameleddine Kebiche
We present in this paper a new way to define weighted Sobolev spaces when the weight functions are arbitrary small. This new approach can replace the old one consisting in modifying the domain by removing the set of points where at least on...
The AGM of Gauss, Ramanujan's corresponding theory, and spectral bounds of self-adjoint operators [0.03%]
高斯的AGM、对应的Ramanujan理论以及自伴算子的谱界
Markus Faulhuber,Anupam Gumber,Irina Shafkulovska
Markus Faulhuber
We study the spectral bounds of self-adjoint operators on the Hilbert space of square-integrable functions, arising from the representation theory of the Heisenberg group. Interestingly, starting either with the von Neumann lattice or the h...
Yuval Yifrach
Yuval Yifrach
H. Weyl proved in Weyl (Eins Math Ann 77(3):313-352, 1916) that integer evaluations of polynomials are equidistributed mod 1 whenever at least one of the non-free coefficients (namely a coefficient of a monomial of degree at least 1) is irr...
Alvaro Bustos-Gajardo,Johannes Kellendonk,Reem Yassawi
Alvaro Bustos-Gajardo
In this article we completely characterise constant length substitution shifts which have a proper almost automorphic factor, or which have a bijective substitution factor such that the factor map is injective on at least one point. Our app...
On the notion of the parabolic and the cuspidal support of smooth-automorphic forms and smooth-automorphic representations [0.03%]
关于光滑自守形式和光滑自守表示的抛物支与奇支的概念
Harald Grobner,Sonja Žunar
Harald Grobner
In this paper we describe several new aspects of the foundations of the representation theory of the space of smooth-automorphic forms (i.e., not necessarily K ∞ -finite automorphic forms) for general connected reductive groups over ...
Diksha Tiwari,Akbarali Mukhammadiev,Paolo Giordano
Diksha Tiwari
This article is a natural continuation of the paper Tiwari, D., Giordano, P., Hyperseries in the non-Archimedean ring of Colombeau generalized numbers in this journal. We study one variable hyper-power series by analyzing the notion of radi...
Gerhard Schindl
Gerhard Schindl
N-functions and their growth and regularity properties are crucial in order to introduce and study Orlicz classes and Orlicz spaces. We consider N-functions which are given in terms of so-called associated weight functions. These functions ...