IMJ-PRG

Thèses

Nom TitreAnnéeDirecteur de thèse
De rancourt NoeThéorie de Ramsey sans principe des tiroirs et applications à la preuve de dichotomies d'espaces de Banach2018STEVO TODORCEVIC

Lire la thèse
Laffineur Jean-pierreEsquisses et Difféologies2018ANATOLE KHELIF
Guignot Francois« Théorie des modèles des groupes abéliens valués »2016FRANCOISE DELON
De rugy Nicolas"Polynômes complets en complexité algébrique"2015ARNAUD DURAND
Montenegro Samaria" Théorie des modèles des corps pseudo-réels clos et pseudo-p-adiquement clos"2015ZOE CHATZIDAKIS
Pina rangel Claribet"Une classification topologique du type Ramsey des ordinaux dénombrables"2015STEVO TODORCEVIC
Rodriguez porras Cristobal"Une analyse ensembliste des opérateurs sur l'espace de Banach \ell_\infty/c_0"2015BOBAN VELICKOVIC
Carroy RaphaelFonction de première classe de Baire2013FINKEL
Cubides kovacsics Pablo"Définissabilité dans les structures C-minimales"2013FRANCOISE DELON
Fontanella LauraGrandes propriétés pour petits cardinaux2012BOBAN VELICKOVIC

Lire la thèse
Strullu RemiPrincipe de réflexion MRP, propriétés d'arbres et grands cardianaux2012BOBAN VELICKOVIC

Lire la thèse
Vlitas DimitrisContribution à la théorie de Ramsey en dimension infinie2012STEVO TODORCEVIC
Lasserre ClementSur les groupes de type fini: primalité, axiomatisabilité quasi finie et bi-interpréabilité avec l'arithmétique2011KHELIF
Onay GonencModles valués: en d'applications à la théorie des corps de caractéristique positive2011FRANCOISE DELON

Lire la thèse
Strozecki YannComplexité d'énumération et décomposition de matroïdes2010ARNAUD DURAND
Duris DavidAcyclicité des hypergraphes et liens avec la logique sur les structures relationnelles finies2009ARNAUD DURAND

Lire la thèse
Er-rhaimini KarimConstruction par forcing d'espaces LCS et de structures PCF2009BOBAN VELICKOVIC
Torres-perez VictorRéflexion, Compacité et Arithmétique des Cardianaux2009STEVO TODORCEVIC
Brech ChristinaConstructions génériques d'espaces de Asplund C(K)2008STEVO TODORCEVIC
Hesse PhilippeRéalisabilité Classique et protocoles réseaux2008J.L KRIVINE
Maalouf FaresStructures geometrique C-minimales et trichotomie de Zilber2008FRANCOISE DELON
Koerwien MartinLa complexité de la relation d'isomorphisme pour les modèles dénombrables d'une théorie w-stable2007BOUSCAREN
Pereira LuisCombinatoires des Cardinaux Singuliers et Structures PCF2007STEVO TODORCEVIC
Bonnay DenisQu'est ce qu'une constante logique2006DUBUCS
Hils MartinFusion libre et autres constreuctions génériques2006CHATZIDAKIS
Levy JulienPrincipes de réflexion, codage et la stucture H_{w_2}2006STEVO TODORCEVIC
Nguyen van the LionelThéorie de Ramsey structurale des espaces métriques et dynamique topologique des groupes d'isométries2006STEVO TODORCEVIC
Ruyer FredericPreuve, Types et Sous-Types2006RAFFALI
Viale MatteoApplications de l'axiome du forcing propre à l'arithmétique des cardinaux2006BOBAN VELICKOVIC
Benoist FranckThéorie des modèles des corps munis d'une dérivation de Hasse2005FRANCOISE DELON
Bustamante medina RonaldThéorie des modèles des corps différentiellement clos avec un automorphisme générique2005CHATZIDAKIS
Rambaud AlexandreQuasi-analycité, o-minimalité et élimination des quantificateurs2005J.P RESSAYRE
Malod GuillaumePolynômes et coefficients2003POIZAT
Ould houcine AbderezakSur quelques problèmes de plongement dans les groupes2003G. SABBAGH
Chinchilla EugenioModèle en arithmétique bornée2001J.P RESSAYRE

Lire la thèse
Lacas SamuelExtensionnalité, Syntaaxe et Prédicats de Vérité2001J.L KRIVINE
Schmeling MichaelCorps de transsééries2001J.P RESSAYRE
Coulbois ThierryPropriété de Ribes-Zaleskii, topologie profinie, produit libre et généralisations2000G. SABBAGH
Darniere LuckEtude modèle-théorique d'anneaux satisfaisant un principe de Hasse non singulier1998FRANCOISE DELON
Pitteloup DanielLe produit dans les corps de série transfinis1998J.P RESSAYRE
Martin raphael DeborahComparaison des propriétés modèle-théoriques et des propriétés algébriques des groupes polycycliques-par-fini1996G. SABBAGH
Padovani VincentFiltrage d'ordre supérieur1996J.L KRIVINE
Duparc JacquesLa forme normale des Boréliens de rang fini1995J.P RESSAYRE
Lacoste ThierryLois de convergence et 0-1 dans les structures aléatoires finies: une approche logique et finitiste1995J.P RESSAYRE
Lejeune HelenePaires de corps PAC parfaits, paires de corps pseudo-finis1995FRANCOISE DELON
Amiot GillesUnification et logique du second ordre1994J.P RESSAYRE
Chapuis OlivierContributions à la théorie des groupes résolubles: elliptisme et théorie (universelle) du premier ordre1994G. SABBAGH
Raffalli ChristopheArithmétique fonctionnelle avec points fixes1994J.L KRIVINE
Simonetta PatrickDécidabilité et interpréabilité dans les corps et les groupes non commutatifs1994FRANCOISE DELON
Simonetta PatrickDécidabilité et interpréabilité dans les corps et les groupes non commutatifs1994FRANCOISE DELON
Jiang YingConcistance et inconsistance de théories de lambda-calculs étendus, via l'étude des modèles de Scott et des modèles cohérents1993J.L KRIVINE
Mourgues Marie-heleneApplications des séries formelles à l'étude de corps réels clos1993J.P RESSAYRE
Manoury PascalDes preuves de totalité de fonctions comme synthèse de programmes1992J.L KRIVINE
Roziere PaulRègles admissibles en calcul propositionnel intuitioniste1992J.P RESSAYRE
Simonot MarianneDes preuves de totalité de fonctions comme synthèse de programmes1992J.L KRIVINE
Zylberajch CecileSyntaxe et sémantique de la facilité en lambda-calcul1991J.L KRIVINE