TY - JOUR AU - Rothmaler, Philipp IS - 2-6 JA - Mathematical Logic Quarterly PY - 1981 TI - A Note on _I_‐Types VL - 27 ER -