» Thèses

Nom	Titre	Année	Directeur de thèse
De Bondt Ben	Le forcing préservant des ensembles stationnaires, conditions latérales et jeux	2024	Boban Velickovic	Lien theses.fr
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