Related papers: Constructive proof of the Carpenter's Theorem

After an overview of noncommutative differential calculus, we construct parts of it explicitly and explain why this construction agrees with a fuller version obtained from the theory of operads.

In this paper, we give a refinement of a theorem by Franks, which answers two questions raised by Kang.

We isolate several classes of stationary sets of kappa^omega and investigate implications among them. Under a large cardinal assumption, we prove a structure theorem for stationary sets.

We translate Uchimura's identity for the divisor function and whose generalizations into combinatorics of partitions, and give a combinatorial proof of them. As a by-product of their proofs, we obtain some combinatorial results.

We expose here a short proof of Cramer's theorem in R based on convex duality.

We derive the Gallai-Edmonds Structure Theorem from Hall's Theorem.

We give a geometric proof of Conn's linearization theorem for analytic Poisson structures, without using the fast convergence method.

A proof of Sharkovsky's Theorem is given. It is shown how this proof naturally generalizes to looking at maps on graphs and to Sharkovsky-type theorems for these maps. The paper is written at an elementary level and is meant as an…

Many proofs of the Fundamental Theorem of Algebra, including various proofs based on the theory of analytic functions of a complex variable, are known. To the best of our knowledge, this proof is different from the existing ones.

We present a characterization of sets for which Cartwright's theorem holds true. The connection is discussed between these sets and sampling sets for entire functions of exponential type.

The purpose of this paper is to show that the Rudin-Carleson interpolation theorem is a direct corollary of Fatou's much older interpolation theorem (of 1906).

We give a new proof of a theorem of B.M. Bredihin which was originally proved by extending Linnik's solution, via his dispersion method, of a problem of Hardy and Littlewood.

Our goal in the present paper is to give a new ergodic proof of a well-known Veech's result, build upon our previous works.

We formulate a theory of shape valid for objects of arbitrary dimension whose contours are path connected. We apply this theory to the design and modeling of viable trajectories of complex dynamical systems. Infinite families of…

In this paper the circulant Hadamard conjecture is proved.

Torelli's theorem is proven by the study of the convolution product of the intersection cohomology sheaf of the thetadivisor.

We give a new proof of an important theorem by Nakazi using recent results by Sarason in his seminal paper on agebraic properties of truncated Toeplitz operators.

Let X be a smooth irreducible projective surface. The aim of this paper is to establish a version of Clifford's theorem for coherent systems on X.

We discuss a construction that gives counterexamples to various questions of unique determination of convex bodies.

We shall settle the completeness of some classical positive propositional calculi (positive propositional calculi in which the so-called Peirce's law holds) by resorting to a close adaptation of Kalmar's completeness proof procedure. First…