Related papers: Strict stability of extension types
We introduce $\infty$-type theories as an $\infty$-categorical generalization of the categorical definition of type theories introduced by the second named author. We establish analogous results to the previous work including the…
We develop a theory of split extensions of unitary magmas, which includes defining such extensions and describing them via suitably defined semidirect product, yielding an equivalence between the categories of split extensions and of…
It is well-known that simple type theory is complete with respect to non-standard set-valued models. Completeness for standard models only holds with respect to certain extended classes of models, e.g., the class of cartesian closed…
For a stationary sequence that is regularly varying and associated we give conditions which guarantee that partial sums of this sequence, under normalization related to the exponent of regular variation, converge in distribution to a…
We show that bounded cohomology stabilizes along sequences of classical Lie groups, and along sequences of lattices in them. Our method is based on a criterion from (arXiv:2307.12808) which adapts Quillen's stability method to the setting…
We consider Shimura varieties associated to a unitary group of signature $(n-1, 1)$. For these varieties, we construct $p$-adic integral models over odd primes $p$ which ramify in the imaginary quadratic field with level subgroup at $p$…
This work focuses on stability of regime-switching diffusions consisting of continuous and discrete components, in which the discrete component switches in a countably infinite set and its switching rates at current time depend on the…
We consider the existence and stability of static configurations of a scalar field in a five dimensional spacetime in which the extra spatial dimension is compactified on an $S^1/Z_2$ orbifold. For a wide class of potentials with multiple…
The conditions for stability of the elements of linear groups over the associative rings with identity and their connection with the stability of rings are analyzed in the article. The stability of rings which are commutative, satisfy the…
In this paper, a necessary and sufficient condition for the stability of Lyapunov exponents of linear differential system are proved in the sense that the equations satisfy the weaker form of integral separation instead of its classical…
We consider finite element approximations of unique continuation problems subject to elliptic equations in the case where the normal derivative of the exact solution is known to reside in some finite dimensional space. To give quantitative…
We consider a stochastic partial differential equation close to bifurcation of pitchfork type, where a one-dimensional space changes its stability. For finite-time Lyapunov exponents we characterize regions depending on the distance from…
The theory of support varieties gives a rich supply of examples of thick subcategories of the stable module category of a finite group algebra. We study direct sum decompositions of such categories. We give examples where there are finer…
In [8], some exact splittings are proposed for inhomogeneous quadratic differential equations including, for example, transport equations, kinetic equations, and Schr{\"o}dinger type equations with a rotation term. In this work, these exact…
Summability methods for ultraholomorphic classes in sectors, defined in terms of a strongly regular sequence $\mathbb{M}=(M_p)_{p\in\mathbb{N}_0}$, have been put forward by A. Lastra, S. Malek and the second author (Summability in general…
This article contains a self-contained proof of the stability under convolution of the space of resurgent functions associated with a closed discrete subset of the complex plane (the set of possible singularities), under the assumption that…
In this paper, we prove stability results about orthogonal groups over finite commutative rings where 2 is a unit. Inspired by Putman and Sam (2017), we construct a category $\mathbf{OrI}(R)$ and prove a Noetherianity theorem for the…
By applying some techniques of set-valued and variational analysis, we study solution stability of nonhomogeneous split equality problems and nonhomogeneous split feasibility problems, where the constraint sets need not be convex. Necessary…
Conservation and consistency are fundamental properties of discretizations of systems of hyperbolic conservation laws. Here, these concepts are extended to the realm of iterative methods by formally defining locally conservative and flux…
We consider Shimura varieties associated to a unitary group of signature $(n-s,s)$ where $n$ is even. For these varieties, by using the spin splitting models from Zachos-Zhao, we construct flat, Cohen-Macaulay, and normal $p$-adic integral…