TY - JOUR AU - Andler, Daniel IS - 3 JA - Journal of Symbolic Logic PB - Association for Symbolic Logic PY - 1975 TI - Semi-minimal theories and categoricity VL - 40 ER -