๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A constructive proof of a permutation-based generalization of Sperner's lemma

โœ Scribed by R. B. Bapat

Publisher
Springer-Verlag
Year
1989
Tongue
English
Weight
351 KB
Volume
44
Category
Article
ISSN
0025-5610

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A Polytopal Generalization of Sperner's
A Polytopal Generalization of Sperner's Lemma
โœ Jesus A. De Loera; Elisha Peterson; Francis Edward Su ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 235 KB

We prove the following conjecture of Atanassov (Studia Sci. Math. Hungar. 32 (1996), 71-74). Let T be a triangulation of a d-dimensional polytope P with n vertices v 1 ; v 2 ; . . . ; v n : Label the vertices of T by 1; 2; . . . ; n in such a way that a vertex of T belonging to the interior of a fac

A nonstandard proof of a lemma from cons
A nonstandard proof of a lemma from constructive measure theory
โœ David A. Ross ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 90 KB

## Abstract Suppose that __f~n~__ is a sequence of nonnegative functions with compact support on a locally compact metric space, that __T__ is a nonnegative linear functional, and that $ \sum ^\infty \_{n=1}$ __T f~n~__ < __T f~0~__. A result of Bishop, foundational to a constructive theory of func

A constructive proof of Craig's interpol
A constructive proof of Craig's interpolation lemma for m-valued logic
โœ Anita Waselewska ๐Ÿ“‚ Article ๐Ÿ“… 1979 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 437 KB

The a]gebraie proof of CrMg's interpolation lemma for m-valued logic was given by Rasiowa in [i]. We present here a constructive proof of this lemma, based on a Gentzen type formMization. :Let J be the set oi all formulas oi m-valued predicate calculus. We assume that our language does not contain

A generalization of Rosenthal's lemma
A generalization of Rosenthal's lemma
โœ Li Ronglu; Gai Yunying; Lu Rui ๐Ÿ“‚ Article ๐Ÿ“… 1988 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 315 KB