Travaux - Groupe de Recherche en Logique Mathématique

| UNIL Accueil | UNIL Actualités | UNIL Interne |

Les Facultés de l'UNIL

Vous êtes ici: UNIL > HEC > LOGIQUE > Recherche > Travaux

Français | English

Travaux

Thèses soutenues

Jérémie Cabessa: "A Game Theoretical Approach to the Algebraic Counterpart of the Wagner Hierarchy" (2007); co-directeur: prof. J.-E. Pin (LIAFA, Paris 7).

Christian W. Bach: "Interactive Epistemology and Reasoning: On the Foundations of Game Theory" (2010); co-directeur: prof. A. Perea (University of Maastricht).

Alessandro Facchini: "A study on the expressive power of some fragments of the modal mu-Calculus" (2010); co-directeur: prof. I. Walukiewicz (LaBRi, Bordeaux 1)

Thèses en cours

Raphael Carroy: "Low Level Borel Functions as Strategies in Well-Suited Games"; co-directeur: prof. O. Finkel (University of Paris 7)

Kevin Fournier: "A Hierarchy of ∆₂¹ sets".

Yann Pequignot: "Profinite Topologies".

Travaux de master
Kevin Fournier: "De la détermination des jeux infinis", EPFL, automne 2009.
Yann Pequignot: "Détermination Projective", EPFL, printemps 2010.

Travaux de semestre
Yann Pequignot: "Sur la détermination des jeux infinis", EPFL, automne 2007, Bachelor 3ème année.
Kevin Fournier: "La décidabilité de la logique monadique de second ordre", EPFL, automne 2007, Bachelor 3ème année. Kevin Fournier: "Hiérarchie des hypothèses de grands cardinaux", EPFL, printemps 2008, Bachelor 3è année.
Nicolas Berger: "Arithmétique ordinale et cardinale et hiérarchies sur les ensembles", EPFL, automne 2009, Bachelor 3ème année.
Yann Pequignot: "Automates, Langages et Logique", EPFL, automne 2009, Master 1ère année.

Thierry Porchet "La question de l'existence en philosophie des mathématiques : un aperçu des points de vue de Frege et de Hilbert", EPFL, printemps 2009, Master 1ère année.

Rechercher:

Annuaires Site map

Internef - CH-1015 Lausanne - Suisse - Tél. +41 21 692 33 00 - Fax +41 21 692 33 05