Related papers: Existence Theorem for Split Involution Constraint …
The classical theorem of Erd\H os \& Wintner furnishes a criterion for the existence of a limiting distribution for a real, additive arithmetical function. This work is devoted to providing an effective estimate for the remainder term under…
Given a simple vertex algebra A and a reductive group G of automorphisms of A, the invariant subalgebra A^G is strongly finitely generated in most examples where its structure is known. This phenomenon is subtle, and is generally not true…
In this paper an algebraic proof of Christoph's theorem is provided. This theorem from algebraic-geometry is about the existence of a finite automaton for computing coefficient of a series for an algebraic function.
We prove a converse theorem for split even special orthogonal groups over finite fields. This is the only case left on converse theorems of split classical groups and the difficulty is the existence of the outer automorphism. In this paper,…
The framework of Inferential Models (IMs) has recently been developed in search of what is referred to as the holy grail of statistical theory, that is, prior-free probabilistic inference. Its method of Conditional IMs (CIMs) is a critical…
We prove a singular version of the Engel theorem. We prove a normal form theorem for germs of holomorphic singular Engel systems with good conditions on its singular set. As an application, we prove that there exists an integral analytic…
We prove that in a countable theory $T$ fully stable over a predicate $P$, any $\lam$-complete set $A$ has the $\lam$-existence property. This means that $A$ can be extended to a $\lam$-saturated model of $T$ without changing the $P$-part.…
We prove the High Girth Existence Conjecture - the common generalization of the Existence Conjecture for Combinatorial Designs originating from the 1800s and Erd\H{o}s' Conjecture from 1973 on the Existence of High Girth Steiner Triple…
We give a simple proof of the splitting lemma in singularity theory, also known as generalized Morse lemma, for formal power series over arbitrary fields. Our proof for the uniqueness of the residual part in any characteristic is new and…
We consider stochastic equations for the class of formal mappings. Existence and uniqueness of solution, as well as evolution property are proved.
We consider sequences of integers defined by a system of linear inequalities with integer coefficients. We show that when the constraints are strong enough to guarantee that all the entries are nonnegative, the generating function for the…
In this paper, for a given finitely generated algebra (an algebraic structure with arbitrary operations and no predicates) A we study finitely generated limit algebras of A, approaching them via model theory and algebraic geometry. Along…
The focus of this study is on exploring some qualitative properties of solutions to a class of semilinear elliptic problems in bounded domains, where the boundary conditions depend non-locally on the unknown solution at specified interior…
We study a notion of indecomposability in differential algebraic groups which is inspired by both model theory and differential algebra. After establishing some basic definitions and results, we prove an indecomposability theorem for…
In this paper we proved a theorems of existence and uniqueness of solutions of differential equation of second order with fractional derivative in the Kipriyanov sense in lower terms. As a domain of definition of the functions we consider…
This paper is devoted to the existence, uniqueness and comparison theorem on unbounded solutions of one-dimensional backward stochastic differential equations (BSDEs) with sub-quadratic generators, where the terminal time is allowed to be…
In this article we study the existence of solutions to a fourth-order nonlinear PDE related to crystal surface growth. The key difficulty in the equations comes from the mobility matrix, which depends on the gradient of the solution. When…
We establish new conditions that prevent the existence of (weak) normal integral bases in tame Galois extensions of number fields. This leads to the following result: under appropriate technical hypotheses, the existence of a normal…
An existence theorem for stationary discs of strongly pseudoconvex domains in almost complex manifolds is proved. More precisely, it is shown that, for all points of a suitable neighborhood of the boundary and for any vector belonging to…
Birkhoff's variety theorem, a fundamental theorem of universal algebra, asserts that a subclass of a given algebra is definable by equations if and only if it satisfies specific closure properties. In a generalized version of this theorem,…