Degrees from the University of Cambridge:
1968-69 Visiting Lecturer, University of Wisconsin at Madison
1969-70 Research Fellow, Peterhouse, Cambridge
1970-72 Supernumerary Fellow, Peterhouse
1972-1990 Official Fellow, Peterhouse
1989-99: Visits of various durations to universities and research institutes, of which the most significant were
1989-90 at the Logic Year at the Mathematical Sciences Research Institute at Berkeley, California;
1991, Spring semester, Visiting Professor at the University of California, Berkeley;
1991-92, Extraordinary Professor at the University of Warsaw
1993-96, Member of the Centre de Recerca Matemàtica at Barcelona, (with a break as Senior Visiting Fellow at Merton College, Oxford, for the Hilary Term, 1995.)
1997-98, Sanford Professor of Mathematical Logic at the Universidad de los Andes in Bogotá.
1999-2012 Professor at the Université de la Réunion in section 25 of the CNU:
September 1999 - August 2000, professeur associé
from September 2000, professeur titulaire;
in 2006, promoted première classe by the Conseil National des Universités in Paris.
Present status, from April 2013 for five years: Professeur Émérite of the Université de la Réunion.
Memberships of scholarly bodies:
Member of the British Logic Colloquium,
Member of the European Set Theory Society
Member of the Société Mathématique de France;
Fellow of the Cambridge Philosophical Society.
Honorary Departmental Fellow at University College, London
Dauerhafter Gaststatus, Mathematisches Institut, Albert-Ludwigs-Universität, Freiburg im Breisgau.