Related papers: Constructive proof of the Carpenter's Theorem

In this work we develop the theory of solution-regions with a constructive approach. We also extend the theory to the case of general linear conditions and provide various sets of sufficient hypotheses for existence and multiplicity…

We present a constructive proof of Ky Fan's combinatorial lemma concerning labellings of triangulated spheres. Our construction works for triangulations of $S^n$ that contain a flag of hemispheres. As a consequence, we produce a…

New version, including a variant of Quillen's proof of the Solomon-Tits theorem.

This paper presents a short and simple proof of the Four-Color Theorem that can be utterly checkable by human mathematicians, without computer assistance. The new key idea that has allowed it and the global structure of the proof are…

We give a constructive proof of the Carath\'eodory Theorem by means of the concept of a modulus of local connectivity and the extremal distance of the separating curves of an annulus.

In this paper we prove the weighted martingale Carleson Embedding Theorem with matrix weights both in the domain and in the target space.

We construct a countable simple theory which, in Keisler's order, is strictly above the random graph (but "barely so") and also in some sense orthogonal to the building blocks of the recently discovered infinite descending chain. As a…

In this note, we present a simple non-directed graph proof of Sharkovsky's theorem which is different from the one given in [2].

In this paper, we give a bijective proof of the reduced lecture hall partition theorem. It is possible to extend this bijection in lecture hall partition theorem. And refined versions of each theorems are also presented.

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 present an exposition of the proof of the induced bipartite Ramsey Theorem.

In this article, we prove a weighted version of Saitoh's conjecture. As an application, we prove a weighted version of Saitoh's conjecture for higher derivatives.

G\"odel's argument for the First Incompleteness Theorem is, structurally, a proof by contradiction. This article intends to reframe the argument by, first, isolating an additional assumption the argument relies on, and then, second, arguing…

We study a weighted version of Carleman's inequality via Carleman's original approach. As an application of our result, we prove a conjecture of Bennett.

This is a translation of a final paper. It contains proofs of some well-known Positivstellens\"atze. The approach in this paper differs in two respects from presentations in literature. We use the Stone-Weierstrass Theorem directly to prove…

In this paper we show an index theorem for gerbes

We present axioms for the real numbers by omitting the field axioms and then derive the field properties of the real numbers. We prove all our theorems constructively.

We find that second order quantification is problematic when a quantified concept variable is supposed to function predicatively. This issue is analyzed and it is shown that a constructive interpretation of the falling under relation…

We prove a theorem of Tits type about automorphism groups for compact Kahler manifolds, which has been conjectured in the paper [KOZ].

We give a counting based proof of the Graham Pollak Theorem