A. Kersani: "Preuves par induction dans le calcul de superposition"; Supervisor, Reviewer: A. Leitsch, N. Peltier; Universite de Grenoble, France, 2014; oral examination: 2014-10-30.