Institution: | Department of Mathematics and Statistics, York University, 4700 Keele Street, North York, Ontario, Canada M3J 1P3 ; Equipe de Logique Mathématique, UFR de Mathématiques (case 7012), Université Denis-Diderot Paris 7, 2 place Jussieu, 75251 Paris Cedex 05, France |