2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/75772This article is concerned with a general scheme on how to obtain constructive proofs for combinatorial theorems that have topological proofs so far. To this end the combinatorial concept of Tucker-property of a finite group $G$ is introduced and its relation to the topological Borsuk-Ulam-property is discussed. Applications of the Tucker-property in combinatorics are demonstrated.12 pages, 0 figuresCombinatorics05-xx, 52-xxThe Borsuk-Ulam-property, Tucker-property and constructive proofs in combinatoricstext