TY - JOUR AU - W. Hanf TI - Incompactness in languages with infinitely long expressions JO - Fundamenta Mathematicae PY - 1964 SP - 309 EP - 324 VL - 53 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.4064/fm-53-3-309-324/ DO - 10.4064/fm-53-3-309-324 LA - en ID - 10_4064_fm_53_3_309_324 ER -