TY - JOUR AU - König, Bernhard IS - 3 JA - Archive for Mathematical Logic PB - Springer PY - 2004 TI - Generic compactness reformulated VL - 43 ER -