TY - JOUR AU - Poljak, Svatopluk AU - Turzík, Daniel AU - Pudlák, Pavel TI - Extensions of $k$-subsets to $k+1$-subsets - existence versus constructability JO - Commentationes Mathematicae Universitatis Carolinae PY - 1982 SP - 337 EP - 349 VL - 23 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/CMUC_1982__23_2_a9/ LA - en ID - CMUC_1982__23_2_a9 ER -