Durante este periodo empezó a supervisar tesis doctorales de estudiantes como James Halpern ("Contributions to the Study of the Independence of the Axiom of Choice") y Edgar López-Escobar ("Infinitely Long Formulas with Countable Quantifier Degrees").