A constructive proof for a theorem on co
β
Egbert Harzheim
π
Article
π
1983
π
Elsevier Science
π
English
β 981 KB
Recently I proved the following theorem: To every positive integer m there exists a positive integer h such that the following holds: If S is a set of h elements and f a mapping of the power set q of S into q such that f(T) E T for all TE 8, then there exists a strictly increasing sequence T, c l l