| Nom | Titre | Année | Directeur de thèse | |
|---|
| Szusterman Maud | Contributions to algebraic complexity, extension complexity and convex geometry | 2023 | Hervé Fournier et Guillaume Malod | |
| Hallback Andreas | Doctorat | 2020 | Todor Tsankov |
 |
| Mohammadpour Rahman | New Techniques In Iterated Forcing and Applications | 2020 | Boban Veličković | |
| Molinier Alain | Théories du premier ordre vs esquisses d?Ehresmann | 2019 | Anatole Khelif | |
| De rancourt Noé | Théorie de Ramsey sans principe des tiroirs et applications à la preuve de dichotomies d'espaces de Banach | 2018 | Stevo Todorcevic | |
| Elbaz-saban Esther | Anneaux de Grothendieck en théorie des modèles | 2018 | Françoise Delon | |
| Laffineur Jean-pierre | Esquisses et Difféologies | 2018 | Anatole Khelif | |
| Lehéricy Gabriel | Quasi-orders, C-groups and the differential rank of a diffrential valued field | 2018 | Francoise Point, Salma Kuhlmann (University of Konstanz) | |
| Vigny Alexandre | Query enumeration and nowhere dense graphs | 2018 | Arnaud DURAND |
|
| Rioux Romain | Theories des modeles d'expansions de corps values: phenomenes de separation | 2017 | Françoise Delon, Frank Wagner (Lyon) | |
| Guignot Francois | « Théorie des modèles des groupes abéliens valués » | 2016 | FRANCOISE DELON | |
| Castaneda Luis pinto | Amalgames de corps values | 2015 | Françoise Delon, Martin Hils | |
| De rugy Nicolas | "Polynômes complets en complexité algébrique" | 2015 | ARNAUD DURAND | |
| Montenegro Samaria | " Théorie des modèles des corps pseudo-réels clos et pseudo-p-adiquement clos" | 2015 | ZOE CHATZIDAKIS | |
| Pina rangel Claribet | "Une classification topologique du type Ramsey des ordinaux dénombrables" | 2015 | STEVO TODORCEVIC | |
| Rodriguez porras Cristobal | "Une analyse ensembliste des opérateurs sur l'espace de Banach \ell_\infty/c_0" | 2015 | BOBAN VELICKOVIC | |
| Carroy Raphael | Fonction de première classe de Baire | 2013 | FINKEL | |
| Cubides kovacsics Pablo | "Définissabilité dans les structures C-minimales" | 2013 | FRANCOISE DELON | |
| Fontanella Laura | Grandes propriétés pour petits cardinaux | 2012 | BOBAN VELICKOVIC |
|
| Strullu Remi | Principe de réflexion MRP, propriétés d'arbres et grands cardianaux | 2012 | BOBAN VELICKOVIC |
|
| Vlitas Dimitris | Contribution à la théorie de Ramsey en dimension infinie | 2012 | STEVO TODORCEVIC | |
| Lasserre Clement | Sur les groupes de type fini: primalité, axiomatisabilité quasi finie et bi-interpréabilité avec l'arithmétique | 2011 | Anatole Khelif, Françoise Point | |
| Onay Gonenc | Modles valués: en d'applications à la théorie des corps de caractéristique positive | 2011 | Françoise Delon, Françoise Point |
|
| Strozecki Yann | Complexité d'énumération et décomposition de matroïdes | 2010 | ARNAUD DURAND | |
| Duris David | Acyclicité des hypergraphes et liens avec la logique sur les structures relationnelles finies | 2009 | ARNAUD DURAND |
|
| Er-rhaimini Karim | Construction par forcing d'espaces LCS et de structures PCF | 2009 | BOBAN VELICKOVIC | |
| Torres-perez Victor | Réflexion, Compacité et Arithmétique des Cardianaux | 2009 | STEVO TODORCEVIC | |
| Brech Christina | Constructions génériques d'espaces de Asplund C(K) | 2008 | STEVO TODORCEVIC | |
| Hesse Philippe | Réalisabilité Classique et protocoles réseaux | 2008 | J.L KRIVINE | |
| Maalouf Fares | Structures geometrique C-minimales et trichotomie de Zilber | 2008 | FRANCOISE DELON | |
| Koerwien Martin | La complexité de la relation d'isomorphisme pour les modèles dénombrables d'une théorie w-stable | 2007 | BOUSCAREN | |
| Pereira Luis | Combinatoires des Cardinaux Singuliers et Structures PCF | 2007 | STEVO TODORCEVIC | |
| Bonnay Denis | Qu'est ce qu'une constante logique | 2006 | DUBUCS | |
| Hils Martin | Fusion libre et autres constreuctions génériques | 2006 | Zoe Chatzidakis, Frank Wagner (Lyon) | |
| Levy Julien | Principes de réflexion, codage et la stucture H_{w_2} | 2006 | STEVO TODORCEVIC | |
| Nguyen van the Lionel | Théorie de Ramsey structurale des espaces métriques et dynamique topologique des groupes d'isométries | 2006 | STEVO TODORCEVIC | |
| Ruyer Frederic | Preuve, Types et Sous-Types | 2006 | RAFFALI | |
| Viale Matteo | Applications de l'axiome du forcing propre à l'arithmétique des cardinaux | 2006 | BOBAN VELICKOVIC | |
| Benoist Franck | Théorie des modèles des corps munis d'une dérivation de Hasse | 2005 | FRANCOISE DELON | |
| Bustamante medina Ronald | Théorie des modèles des corps différentiellement clos avec un automorphisme générique | 2005 | CHATZIDAKIS | |
| Rambaud Alexandre | Quasi-analycité, o-minimalité et élimination des quantificateurs | 2005 | J.P RESSAYRE | |
| Malod Guillaume | Polynômes et coefficients | 2003 | POIZAT | |
| Ould houcine Abderezak | Sur quelques problèmes de plongement dans les groupes | 2003 | G. SABBAGH | |
| Chinchilla Eugenio | Modèle en arithmétique bornée | 2001 | J.P RESSAYRE |
|
| Lacas Samuel | Extensionnalité, Syntaaxe et Prédicats de Vérité | 2001 | J.L KRIVINE | |
| Schmeling Michael | Corps de transsééries | 2001 | J.P RESSAYRE | |
| Coulbois Thierry | Propriété de Ribes-Zaleskii, topologie profinie, produit libre et généralisations | 2000 | G. SABBAGH | |
| Darniere Luck | Etude modèle-théorique d'anneaux satisfaisant un principe de Hasse non singulier | 1998 | FRANCOISE DELON | |
| Pitteloup Daniel | Le produit dans les corps de série transfinis | 1998 | J.P RESSAYRE | |
| Martin raphael Deborah | Comparaison des propriétés modèle-théoriques et des propriétés algébriques des groupes polycycliques-par-fini | 1996 | G. SABBAGH | |
| Padovani Vincent | Filtrage d'ordre supérieur | 1996 | J.L KRIVINE | |
| Duparc Jacques | La forme normale des Boréliens de rang fini | 1995 | J.P RESSAYRE | |
| Lacoste Thierry | Lois de convergence et 0-1 dans les structures aléatoires finies: une approche logique et finitiste | 1995 | J.P RESSAYRE | |
| Lejeune Helene | Paires de corps PAC parfaits, paires de corps pseudo-finis | 1995 | FRANCOISE DELON | |
| Amiot Gilles | Unification et logique du second ordre | 1994 | J.P RESSAYRE | |
| Chapuis Olivier | Contributions à la théorie des groupes résolubles: elliptisme et théorie (universelle) du premier ordre | 1994 | G. SABBAGH | |
| Raffalli Christophe | Arithmétique fonctionnelle avec points fixes | 1994 | J.L KRIVINE | |
| Simonetta Patrick | Décidabilité et interpréabilité dans les corps et les groupes non commutatifs | 1994 | FRANCOISE DELON | |
| Jiang Ying | Concistance et inconsistance de théories de lambda-calculs étendus, via l'étude des modèles de Scott et des modèles cohérents | 1993 | J.L KRIVINE | |
| Mourgues Marie-helene | Applications des séries formelles à l'étude de corps réels clos | 1993 | J.P RESSAYRE | |
| Manoury Pascal | Des preuves de totalité de fonctions comme synthèse de programmes | 1992 | J.L KRIVINE | |
| Roziere Paul | Règles admissibles en calcul propositionnel intuitioniste | 1992 | J.P RESSAYRE | |
| Simonot Marianne | Des preuves de totalité de fonctions comme synthèse de programmes | 1992 | J.L KRIVINE | |
| Zylberajch Cecile | Syntaxe et sémantique de la facilité en lambda-calcul | 1991 | J.L KRIVINE | |
