Related papers: Separable determination of (generalized-)lushness
Given a smooth affine curve X over a field k of positive characteristic, and an overconvergent F-isocrystal on X, we prove after replacing k by a finite purely inseparable extension, there exists a finite separable cover of X, the pullback…
We prove that for finite, finitely related algebras the concepts of an absorbing subuniverse and a J\'onsson absorbing subuniverse coincide. Consequently, it is decidable whether a given subset is an absorbing subuniverse of the…
We give a general version of Bryc's theorem valid on any topological space and with any algebra $\mathcal{A}$ of real-valued continuous functions separating the points, or any well-separating class. In absence of exponential tightness, and…
Let X be a smooth projective surface over C and let L be an ample line bundle on X. In this note, we show that, for all sufficiently large d, any number of general double points on X imposes the expected number of conditions on the linear…
We prove that Alexandrov's conjecture relating the area and diameter of a convex surface holds for the surface of a general ellipsoid. This is a direct consequence of a more general result which estimates the deviation from the optimal…
An $S$-ring (a Schur ring) is said to be separable with respect to a class of groups $\mathcal{K}$ if every algebraic isomorphism from the $S$-ring in question to an $S$-ring over a group from $\mathcal{K}$ is induced by a combinatorial…
All spaces are assumed to be separable and metrizable. Building on work of van Engelen, Harrington, Michalewski and Ostrovsky, we obtain the following results: (1) Every finite-dimensional analytic space is $\sigma$-homogeneous with…
In a recent paper, it was claimed that any homogeneous Finsler space of odd dimension admits a homogeneous geodesic through any point. For the proof, the algebraic method dealing with the reductive decomposition of the Lie algebra of the…
We characterize those classes $\ccc$ of separable Banach spaces admitting a separable universal space $Y$ (that is, a space $Y$ containing, up to isomorphism, all members of $\ccc$) which is not universal for all separable Banach spaces.…
In this paper we generalize the well known relation between Heyting algebras and Nelson algebras in the framework of subresiduated lattices. In order to make it possible, we introduce the variety of subresiduated Nelson algebras. The main…
Responses to questions, comments and criticism of our recent paper "General Relativity Resolves.." are provided. It is emphasized that our model is entirely natural to describe the dynamics of an axially symmetric galaxy and that our…
We show that if $\{\rho_{\ell}\}$ is a compatible system of absolutely irreducible Galois representations of a number field then the residual representation $\overline{\rho}_{\ell}$ is absolutely irreducible for $\ell$ in a density 1 set of…
We prove that, in the space of all probabilistic continuous functions from a probabilistic metric space G to the set $\Delta$ + of all cumulative distribution functions vanishing at 0, the space of all 1-Lipschitz functions is compact if…
We study elastic shear waves of small but finite amplitude, composed of an anti-plane shear motion and a general in-plane motion. We use a multiple scales expansion to derive an asymptotic system of coupled nonlinear equations describing…
Building on recent work of Ardakov and Wadsley, we prove Schur's lemma for absolutely irreducible admissible p-adic Banach space (respectively locally analytic) representations of p-adic Lie groups. We also prove finiteness results for the…
A topological space is iso-dense if it has a dense set of isolated points. A topological space is scattered if each of its non-empty subspaces has an isolated point. In $\mathbf{ZF}$, in the absence of the axiom of choice, basic properties…
This work is concerned about the Cauchy problem for the following generalized KdV- Burgers equation \begin{equation*} \left\{\begin{array}{l} \partial_tu+\partial_x^3u+L_pu+u\partial_xu=0, u(0,\,x)=u_0(x). \end{array} \right.…
We generalize the concept of separable dual-space Gaussian pseudopotentials to the relativistic case. This allows us to construct this type of pseudopotential for the whole periodic table and we present a complete table of pseudopotential…
We establish a framework to construct a global solution in the space of finite energy to a general form of the Landau-Lifshitz-Gilbert equation in $\mathbb{R}^2$. Our characterization yields a partially regular solution, smooth away from a…
We prove that the problem of deciding the consequence relation of the full Lambek calculus with weakening is complete for the class HAck of hyper-Ackermannian problems (i.e., level F_{\omega}^{\omega} of the ordinal-indexed hierarchy of…