Related papers: An ideal proof for Fujisawa's result and its gener…

We prove a uniformization theorem in complex algebraic geometry.

Let $A$ be a graded algebra. In this paper we develop a generalized Koszul theory by assuming that $A_0$ is self-injective instead of semisimple and generalize many classical results. The application of this generalized theory to directed…

We prove Koll\'ar's injectivity theorem for globally $F$-regular varieties.

The paper demonstrates that falsifiability is fundamental to learning. We prove the following theorem for statistical learning and sequential prediction: If a theory is falsifiable then it is learnable -- i.e. admits a strategy that…

In this paper, we consider sums of generalized polygonal numbers with repeats, generalizing Fermat's polygonal number theorem which was proven by Cauchy. In particular, we obtain the minimal number of generalized $m$-gonal numbers required…

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…

We give effective bounds for the uniformity of the Iitaka fibration. These bounds follow from an effective theorem on the birationality of some adjoint linear series. In particular we derive an effective version of the main theorem in [17].

We give a pen and paper and (comparatively) much simpler proof to verify of the Four Colour Theorem.

This paper presents an alternative proof of the Fundamental Theorem of Algebra that has several distinct advantages. The proof is based on simple ideas involving continuity and differentiation. Visual software demonstrations can be used to…

In this paper we introduce the notion of generalized Lie algebroid and we develop a new formalism necessary to obtain a new solution for the Weistein's Problem. Many applications emphasize the importance and the utility of this new…

In this note we give a detailed proof of a theorem of Aubin.

We introduce a complex q-Fourier transform as a generalization of the (real) one analyzed in [Milan J. Math. {\bf 76} (2008) 307]. By recourse to tempered ultradistributions we show that this complex plane-generalization overcomes all…

We introduce a simple and straight-forward averaging procedure, which is a generalization of one which is commonly used in electrodynamics, and show that it possesses all the characteristics we require for linearized averaging in general…

We prove the following uniform version of a theorem by Lindstr\"om: Let $\mbox{$\cal F$}:=\{F_i:~ i\in I\}$ be a $k$-uniform set family of $[n]$, where $k\geq 1$. If $|\mbox{$\cal F$}|\geq n+1$, then there exist two disjoint subsets $I_1$…

Very simple sufficient conditions for the irreducibility of $f(X^n)$ over an arbitrary unique factorization domain $Z$ are established via a generalization of a well known theorem of A. Capelli.

There are several proofs of the Fundamental Theorem of Algebra, mainly using algebra, analysis and topology. In this article, we have shown that the Fundamental Theorem of Algebra can be proved using Nevanlinna's first fundamental theorem…

This paper presents simple, syntactic strong normalization proofs for the simply-typed lambda-calculus and the polymorphic lambda-calculus (system F) with the full set of logical connectives, and all the permutative reductions. The…

We present a new proof of the Joints Theorem without taking derivatives. Then we generalize the proof to prove the Multijoints Conjecture and Carbery's generalization. All results are in any dimension over an arbitrary field.

In this paper, we prove the Iwasawa main conjecture of totally real fields for certain specific non-commutative $p$-adic Lie extensions, using the integral logarithms introduced by Oliver and Taylor. Our result gives certain generalization…

We provide a semi-grammatical description of the set of normal proofs of positive formulae in minimal predicate logic, i.e. a grammar that generates a set of schemes, from each of which we can produce a finite number of normal proofs. This…