TY - JOUR AU - MlĨek, Josef TI - End-extensions of countable structures and the induction schema JO - Commentationes Mathematicae Universitatis Carolinae PY - 1978 SP - 291 EP - 308 VL - 19 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/CMUC_1978__19_2_a5/ LA - en ID - CMUC_1978__19_2_a5 ER -