相关论文: An elementary proof of Fedi\u{\i}'s theorem and ex…

G\"odel's first and second incompleteness theorems are corner stones of modern mathematics. In this article we present a new proof of these theorems for ZFC and theories containing ZFC, using Chaitin's incompleteness theorem and a very…

We give a short proof of Chevalley's theorem that every algebraic group is an extension of an Abelian variety by a linear algebraic group. Along the way we treat Bertini's irreducibility theorem.

In this article, we continue our investigation into the unique continuation properties of real-valued solutions to elliptic equations in the plane. More precisely, we make another step towards proving a quantitative version of Landis'…

We give an elementary proof of the development of Macdonald polynomials in terms of "modified complete" and elementary symmetric functions.

This paper shows how internal models for polymorphic lambda calculi arise in any 2-category with a notion of discreteness. We generalise to a 2-categorical setting the famous theorem of Peter Freyd saying that there are no sufficiently…

We introduce a canonical isomorphism from the space of pure-type complex differential forms on a compact complex manifold to the one on its infinitesimal deformations. By use of this map, we generalize an extension formula in a recent work…

In this paper we establish a hypoellipticity result for second order linear operators comprised by a linear combination, with infinite vanishing coefficients, of subelliptic operators in separate spaces. This generalizes previous known…

A local existence and uniqueness theorem for ODEs in the special algebra of generalized functions is established, as well as versions including parameters and dependence on initial values in the generalized sense. Finally, a Frobenius…

We modify the standard proof of Paley's theorem about lacunary coefficients of functions in $H^1$ to work without analytic factorization. This leads to the first direct proof of the extension of Paley's theorem that we applied to the former…

In this paper we study Liouville-type properties for a class of degenerate elliptic equations driven by the fractional infinity Laplacian with nonlinear lower-order terms, \[ \Delta_\infty^{\beta}u - c\,H(u,\nabla u) - \lambda\, f(|x|,u)=0…

Let K be an Abstract Elementary Class. Under the asusmptions that K has a nicely behaved forking-like notion, regular types and existence of some prime models we establish a decomposition theorem for such classes. The decomposition implies…

We establish an edge of the wedge theorem for the sheaf of holomorphic functions with exponential growth at infinity and construct the sheaf of Laplace hyperfunctions in several variables. We also study the fundamental properties of the…

In this paper motivated by the celebrated fundamental theorem of algebra and its standard proof utilizing Liouville's Theorem, we prove the fundamental theorem of algebra type results for both commutative and noncommutative polynomials in…

We prove the invariance of plurigenera under smooth projective deformations in full generality. The proof is done by several estimates of singular hermitian metrics in terms of $L^{2}$-extension theorem of holomorphic sections.

For any given finite abelian group, we give factorizations of the group determinant in the group algebra of any subgroup. The factorizations are an extension of Dedekind's theorem. The extension leads to a generalization of Dedekind's…

Let $f$ be a smooth plurisubharmonic function which solves $$ \det(f_{i\bar j})=1\;\;\;\;\;\;\mbox{in }\Omega\subset \mathbb C^n.$$ Suppose that the metric $\omega_{f}=\sqrt{-1}f_{i\bar j}dz_{i}\wedge d\bar z_{j}$ is complete and $f$…

Let H be a Hilbert space and let F be the family of all countable subsets of an orthonormal basis of H. We show that if F is infinite then F is equipollent with every linear basis of the vector space H. In doing so we also present a short…

We define the notion of the partial order of ends of the Cayley graph of a semigroup. We prove that the structure of the ends of a semigroup is invariant under change of finite generating set and at the same time is inherited by…

Motivated by applications to stochastic differential equations, an extension of H\"{o}rmander's hypoellipticity theorem is proved for second-order degenerate elliptic operators with non-smooth coefficients. The main results are established…

We prove the following generalization of Severi's Theorem: Let $X$ be a fixed complex variety. Then there exist, up to birational equivalence, only finitely many complex varieties $Y$ of general type of dimension at most three which admit a…