Extensions of k -subsets to k + 1 -subsets - existence versus constructability Svatopluk Poljak, Daniel Turzík, Pavel Pudlák (1982) Commentationes Mathematicae Universitatis Carolinae