{"id":23,"date":"2020-12-18T11:00:36","date_gmt":"2020-12-18T10:00:36","guid":{"rendered":"http:\/\/dev.imj-prg.fr\/lm\/?page_id=23"},"modified":"2020-12-18T11:00:36","modified_gmt":"2020-12-18T10:00:36","slug":"theses","status":"publish","type":"page","link":"https:\/\/www.imj-prg.fr\/lm\/theses\/","title":{"rendered":"Th\u00e8ses"},"content":{"rendered":"<link rel=\"stylesheet\" type=\"text\/css\" href=\"https:\/\/cdn.datatables.net\/v\/dt\/dt-1.10.23\/datatables.min.css\"\/>\n \n<script type=\"text\/javascript\" src=\"https:\/\/cdn.datatables.net\/v\/dt\/dt-1.10.23\/datatables.min.js\"><\/script>\n\n<script>\njQuery(document).ready(function($){\n\t\n    $('#tabthese').DataTable({\n\t\tlanguage: {\turl: 'https:\/\/cdn.datatables.net\/plug-ins\/1.10.22\/i18n\/French.json'},\n\t\tpageLength: 50,\n\t\torder: [[ 2, 'desc' ]],\n\t\tdrawCallback: function(settings) {\n\t\t\tvar pagination = $(this).closest('.dataTables_wrapper').find('.dataTables_paginate');\n\t\t\tpagination.toggle(this.api().page.info().pages > 1);\n\t\t\trowCount = $('#tabthese tr').length;\n\t\t\tif(rowCount < 50){\n\t\t\t\n\t\t\t\t$( \"#tabthese_length\" ).hide();\n\t\t\t\t\n\t\t\t\t$( \"#tabthese_info\" ).text(rowCount+ ' \u00e9l\u00e9ments');\n\t\t\t}\n\t\t}\n\t\t\t\t\t\n        });\n\t} );\n<\/script>\n\t\t<table id=\"tabthese\" class=\"display\" ><thead><tr><th>Nom<\/th> <th>Titre<\/th><th>Ann\u00e9e<\/th><th>Directeur de th\u00e8se<\/th><th> <\/th><\/tr><\/thead><tr><td>Casarosa Matteo<\/td><td>Th\u00e9orie des ensembles des foncteurs d\u00e9riv\u00e9s<\/td><td>2025<\/td><td>Alessandro Vignati<\/td><td><br><a href=\"https:\/\/www.theses.fr\/s353199\">Lien theses.fr<\/a><\/td><\/tr><tr><td>Dahan Anatole<\/td><td>La place des groupes de permutations dans la recherche d'une logique pour le temps polynomial<\/td><td>2025<\/td><td>Arnaud Durand<\/td><td><br><a href=\"https:\/\/www.theses.fr\/s253566\">Lien theses.fr<\/a><\/td><\/tr><tr><td>De Bondt Ben<\/td><td>Le forcing pr\u00e9servant des ensembles stationnaires, conditions lat\u00e9rales et jeux<\/td><td>2024<\/td><td>Boban Velickovic<\/td><td><br><a href=\"https:\/\/www.theses.fr\/s230553\">Lien theses.fr<\/a><\/td><\/tr><tr><td>Santiago Juan<\/td><td>Infinitary logic and forcing<\/td><td>2024<\/td><td>Boban Velickovic<\/td><td><br><a href=\"https:\/\/www.theses.fr\/2024UNIP7024\">Lien theses.fr<\/a><\/td><\/tr><tr><td>Szusterman Maud<\/td><td>Contributions to algebraic complexity, extension complexity and convex geometry<\/td><td>2023<\/td><td>Herv\u00e9 Fournier et Guillaume Malod<\/td><td><\/td><\/tr><tr><td>Hallback Andreas<\/td><td>Doctorat<\/td><td>2020<\/td><td>Todor Tsankov<\/td><td><br><a href=\"http:\/\/www.imj-prg.fr\/theses\/\/pdf\/andreas_hallback.pdf\"><img decoding=\"async\" src=\"http:\/\/www.imj-prg.fr\/wp-content\/themes\/imjprg\/images\/pdf.png\"> <\/a><\/td><\/tr><tr><td>Mohammadpour Rahman<\/td><td>New Techniques In Iterated Forcing and Applications<\/td><td>2020<\/td><td>Boban Veli\u010dkovi\u0107<\/td><td><\/td><\/tr><tr><td>Molinier Alain<\/td><td>Th\u00e9ories du premier ordre vs esquisses d?Ehresmann<\/td><td>2019<\/td><td>Anatole Khelif<\/td><td><\/td><\/tr><tr><td>De rancourt No\u00e9<\/td><td>Th\u00e9orie de Ramsey sans principe des tiroirs et applications \u00e0 la preuve de dichotomies d'espaces de Banach<\/td><td>2018<\/td><td>Stevo Todorcevic<\/td><td><\/td><\/tr><tr><td>Elbaz-saban Esther<\/td><td>Anneaux de Grothendieck en th\u00e9orie des mod\u00e8les<\/td><td>2018<\/td><td>Fran\u00e7oise Delon<\/td><td><\/td><\/tr><tr><td>Laffineur Jean-pierre<\/td><td>Esquisses et Diff\u00e9ologies<\/td><td>2018<\/td><td>Anatole Khelif<\/td><td><\/td><\/tr><tr><td>Leh\u00e9ricy Gabriel<\/td><td>Quasi-orders, C-groups and the differential rank of a diffrential valued field<\/td><td>2018<\/td><td>Francoise Point, Salma Kuhlmann (University of Konstanz)<\/td><td><\/td><\/tr><tr><td>Vigny Alexandre<\/td><td>Query enumeration and nowhere dense graphs<\/td><td>2018<\/td><td>Arnaud DURAND<\/td><td><br><a href=\"http:\/\/www.imj-prg.fr\/theses\/\/pdf\/alexandre_vigny.pdf\"><img decoding=\"async\" src=\"http:\/\/www.imj-prg.fr\/wp-content\/themes\/imjprg\/images\/pdf.png\"> <\/a><\/td><\/tr><tr><td>Rioux Romain<\/td><td>Theories des modeles d'expansions de corps values: phenomenes de separation<\/td><td>2017<\/td><td>Fran\u00e7oise Delon, Frank Wagner (Lyon)<\/td><td><\/td><\/tr><tr><td>Guignot Francois<\/td><td>\u00ab Th\u00e9orie des mod\u00e8les des groupes ab\u00e9liens valu\u00e9s \u00bb<\/td><td>2016<\/td><td>FRANCOISE DELON<\/td><td><\/td><\/tr><tr><td>Castaneda Luis pinto<\/td><td>Amalgames de corps values<\/td><td>2015<\/td><td>Fran\u00e7oise Delon, Martin Hils<\/td><td><\/td><\/tr><tr><td>De rugy Nicolas<\/td><td>\"Polyn\u00f4mes complets en complexit\u00e9 alg\u00e9brique\"<\/td><td>2015<\/td><td>ARNAUD DURAND<\/td><td><\/td><\/tr><tr><td>Montenegro Samaria<\/td><td>\" Th\u00e9orie des mod\u00e8les des corps pseudo-r\u00e9els clos et pseudo-p-adiquement clos\"<\/td><td>2015<\/td><td>ZOE CHATZIDAKIS<\/td><td><\/td><\/tr><tr><td>Pina rangel Claribet<\/td><td>\"Une classification topologique du type Ramsey des ordinaux d\u00e9nombrables\"<\/td><td>2015<\/td><td>STEVO TODORCEVIC<\/td><td><\/td><\/tr><tr><td>Rodriguez porras Cristobal<\/td><td>\"Une analyse ensembliste des op\u00e9rateurs sur l'espace de Banach \\ell_\\infty\/c_0\"<\/td><td>2015<\/td><td>BOBAN VELICKOVIC<\/td><td><\/td><\/tr><tr><td>Carroy Raphael<\/td><td>Fonction de premi\u00e8re classe de Baire<\/td><td>2013<\/td><td>Olivier Finkel et Jacques Duparc (Lausanne)<\/td><td><\/td><\/tr><tr><td>Cubides kovacsics Pablo<\/td><td>\"D\u00e9finissabilit\u00e9 dans les structures C-minimales\"<\/td><td>2013<\/td><td>FRANCOISE DELON<\/td><td><\/td><\/tr><tr><td>Fontanella Laura<\/td><td>Grandes propri\u00e9t\u00e9s pour petits cardinaux<\/td><td>2012<\/td><td>BOBAN VELICKOVIC<\/td><td><br><a href=\"http:\/\/www.imj-prg.fr\/theses\/\/pdf\/laura_fontanella.pdf\"><img decoding=\"async\" src=\"http:\/\/www.imj-prg.fr\/wp-content\/themes\/imjprg\/images\/pdf.png\"> <\/a><\/td><\/tr><tr><td>Strullu Remi<\/td><td>Principe de r\u00e9flexion MRP, propri\u00e9t\u00e9s d'arbres et grands cardianaux<\/td><td>2012<\/td><td>BOBAN VELICKOVIC<\/td><td><br><a href=\"http:\/\/www.imj-prg.fr\/theses\/\/pdf\/remi_strullu.pdf\"><img decoding=\"async\" src=\"http:\/\/www.imj-prg.fr\/wp-content\/themes\/imjprg\/images\/pdf.png\"> <\/a><\/td><\/tr><tr><td>Vlitas Dimitris<\/td><td>Contribution \u00e0 la th\u00e9orie de Ramsey en dimension infinie<\/td><td>2012<\/td><td>STEVO TODORCEVIC<\/td><td><\/td><\/tr><tr><td>Lasserre Clement<\/td><td>Sur les groupes de type fini: primalit\u00e9, axiomatisabilit\u00e9 quasi finie et bi-interpr\u00e9abilit\u00e9 avec l'arithm\u00e9tique<\/td><td>2011<\/td><td>Anatole Khelif, Fran\u00e7oise Point<\/td><td><\/td><\/tr><tr><td>Onay Gonenc<\/td><td>Modles valu\u00e9s: en d'applications \u00e0 la th\u00e9orie des corps de caract\u00e9ristique positive<\/td><td>2011<\/td><td>Fran\u00e7oise Delon, Fran\u00e7oise Point<\/td><td><br><a href=\"http:\/\/www.imj-prg.fr\/theses\/\/pdf\/gonenc_onay.pdf\"><img decoding=\"async\" src=\"http:\/\/www.imj-prg.fr\/wp-content\/themes\/imjprg\/images\/pdf.png\"> <\/a><\/td><\/tr><tr><td>Strozecki Yann<\/td><td>Complexit\u00e9 d'\u00e9num\u00e9ration et d\u00e9composition de matro\u00efdes<\/td><td>2010<\/td><td>ARNAUD DURAND<\/td><td><\/td><\/tr><tr><td>Duris David<\/td><td>Acyclicit\u00e9 des hypergraphes et liens avec la logique sur les structures relationnelles finies<\/td><td>2009<\/td><td>ARNAUD DURAND<\/td><td><br><a href=\"http:\/\/www.imj-prg.fr\/theses\/\/pdf\/david_duris.pdf\"><img decoding=\"async\" src=\"http:\/\/www.imj-prg.fr\/wp-content\/themes\/imjprg\/images\/pdf.png\"> <\/a><\/td><\/tr><tr><td>Er-rhaimini Karim<\/td><td>Construction par forcing d'espaces LCS et de structures PCF<\/td><td>2009<\/td><td>BOBAN VELICKOVIC<\/td><td><\/td><\/tr><tr><td>Torres-perez Victor<\/td><td>R\u00e9flexion, Compacit\u00e9 et Arithm\u00e9tique des Cardianaux<\/td><td>2009<\/td><td>STEVO TODORCEVIC<\/td><td><\/td><\/tr><tr><td>Brech Christina<\/td><td>Constructions g\u00e9n\u00e9riques d'espaces de Asplund C(K)<\/td><td>2008<\/td><td>STEVO TODORCEVIC<\/td><td><\/td><\/tr><tr><td>Hesse Philippe<\/td><td>R\u00e9alisabilit\u00e9 Classique et protocoles r\u00e9seaux<\/td><td>2008<\/td><td>J.L KRIVINE<\/td><td><\/td><\/tr><tr><td>Maalouf Fares<\/td><td>Structures geometrique C-minimales et trichotomie de Zilber<\/td><td>2008<\/td><td>FRANCOISE DELON<\/td><td><\/td><\/tr><tr><td>Koerwien Martin<\/td><td>La complexit\u00e9 de la relation d'isomorphisme pour les mod\u00e8les d\u00e9nombrables d'une th\u00e9orie w-stable<\/td><td>2007<\/td><td>BOUSCAREN<\/td><td><\/td><\/tr><tr><td>Pereira Luis<\/td><td>Combinatoires des Cardinaux Singuliers et Structures PCF<\/td><td>2007<\/td><td>STEVO TODORCEVIC<\/td><td><\/td><\/tr><tr><td>Bonnay Denis<\/td><td>Qu'est ce qu'une constante logique<\/td><td>2006<\/td><td>DUBUCS<\/td><td><\/td><\/tr><tr><td>Hils Martin<\/td><td>Fusion libre et autres constreuctions g\u00e9n\u00e9riques<\/td><td>2006<\/td><td>Zoe Chatzidakis,  Frank Wagner (Lyon)<\/td><td><\/td><\/tr><tr><td>Levy Julien<\/td><td>Principes de r\u00e9flexion, codage et la stucture H_{w_2}<\/td><td>2006<\/td><td>STEVO TODORCEVIC<\/td><td><\/td><\/tr><tr><td>Nguyen van the Lionel<\/td><td>Th\u00e9orie de Ramsey structurale des espaces m\u00e9triques et dynamique topologique des groupes d'isom\u00e9tries<\/td><td>2006<\/td><td>STEVO TODORCEVIC<\/td><td><\/td><\/tr><tr><td>Ruyer Frederic<\/td><td>Preuve, Types et Sous-Types<\/td><td>2006<\/td><td>RAFFALI<\/td><td><\/td><\/tr><tr><td>Viale Matteo<\/td><td>Applications de l'axiome du forcing propre \u00e0 l'arithm\u00e9tique des cardinaux<\/td><td>2006<\/td><td>BOBAN VELICKOVIC<\/td><td><\/td><\/tr><tr><td>Benoist Franck<\/td><td>Th\u00e9orie des mod\u00e8les des corps munis d'une d\u00e9rivation de Hasse<\/td><td>2005<\/td><td>FRANCOISE DELON<\/td><td><\/td><\/tr><tr><td>Bustamante medina Ronald<\/td><td>Th\u00e9orie des mod\u00e8les des corps diff\u00e9rentiellement clos avec un automorphisme g\u00e9n\u00e9rique<\/td><td>2005<\/td><td>CHATZIDAKIS<\/td><td><\/td><\/tr><tr><td>Rambaud Alexandre<\/td><td>Quasi-analycit\u00e9, o-minimalit\u00e9 et \u00e9limination des quantificateurs<\/td><td>2005<\/td><td>J.P RESSAYRE<\/td><td><\/td><\/tr><tr><td>Malod Guillaume<\/td><td>Polyn\u00f4mes et coefficients<\/td><td>2003<\/td><td>POIZAT<\/td><td><\/td><\/tr><tr><td>Ould houcine Abderezak<\/td><td>Sur quelques probl\u00e8mes de plongement dans les groupes<\/td><td>2003<\/td><td>G. SABBAGH<\/td><td><\/td><\/tr><tr><td>Chinchilla Eugenio<\/td><td>Mod\u00e8le en arithm\u00e9tique born\u00e9e<\/td><td>2001<\/td><td>J.P RESSAYRE<\/td><td><br><a href=\"http:\/\/www.imj-prg.fr\/theses\/\/pdf\/eugenio_chinchilla.pdf\"><img decoding=\"async\" src=\"http:\/\/www.imj-prg.fr\/wp-content\/themes\/imjprg\/images\/pdf.png\"> <\/a><\/td><\/tr><tr><td>Lacas Samuel<\/td><td>Extensionnalit\u00e9, Syntaaxe et Pr\u00e9dicats de V\u00e9rit\u00e9<\/td><td>2001<\/td><td>J.L KRIVINE<\/td><td><\/td><\/tr><tr><td>Schmeling Michael<\/td><td>Corps de transs\u00e9\u00e9ries<\/td><td>2001<\/td><td>J.P RESSAYRE<\/td><td><\/td><\/tr><tr><td>Coulbois Thierry<\/td><td>Propri\u00e9t\u00e9 de Ribes-Zaleskii, topologie profinie, produit libre et g\u00e9n\u00e9ralisations<\/td><td>2000<\/td><td>G. SABBAGH<\/td><td><\/td><\/tr><tr><td>Darniere Luck<\/td><td>Etude mod\u00e8le-th\u00e9orique d'anneaux satisfaisant un principe de Hasse non singulier<\/td><td>1998<\/td><td>FRANCOISE DELON<\/td><td><\/td><\/tr><tr><td>Pitteloup Daniel<\/td><td>Le produit dans les corps de s\u00e9rie transfinis<\/td><td>1998<\/td><td>J.P RESSAYRE<\/td><td><\/td><\/tr><tr><td>Martin raphael Deborah<\/td><td>Comparaison des propri\u00e9t\u00e9s mod\u00e8le-th\u00e9oriques et des propri\u00e9t\u00e9s alg\u00e9briques des groupes polycycliques-par-fini<\/td><td>1996<\/td><td>G. SABBAGH<\/td><td><\/td><\/tr><tr><td>Padovani Vincent<\/td><td>Filtrage d'ordre sup\u00e9rieur<\/td><td>1996<\/td><td>J.L KRIVINE<\/td><td><\/td><\/tr><tr><td>Duparc Jacques<\/td><td>La forme normale des Bor\u00e9liens de rang fini<\/td><td>1995<\/td><td>J.P RESSAYRE<\/td><td><\/td><\/tr><tr><td>Lacoste Thierry<\/td><td>Lois de convergence et 0-1 dans les structures al\u00e9atoires finies: une approche logique et finitiste<\/td><td>1995<\/td><td>J.P RESSAYRE<\/td><td><\/td><\/tr><tr><td>Lejeune Helene<\/td><td>Paires de corps PAC parfaits, paires de corps pseudo-finis<\/td><td>1995<\/td><td>FRANCOISE DELON<\/td><td><\/td><\/tr><tr><td>Amiot Gilles<\/td><td>Unification et logique du second ordre<\/td><td>1994<\/td><td>J.P RESSAYRE<\/td><td><\/td><\/tr><tr><td>Chapuis Olivier<\/td><td>Contributions \u00e0 la th\u00e9orie des groupes r\u00e9solubles: elliptisme et th\u00e9orie (universelle) du premier ordre<\/td><td>1994<\/td><td>G. SABBAGH<\/td><td><\/td><\/tr><tr><td>Raffalli Christophe<\/td><td>Arithm\u00e9tique fonctionnelle avec points fixes<\/td><td>1994<\/td><td>J.L KRIVINE<\/td><td><\/td><\/tr><tr><td>Simonetta Patrick<\/td><td>D\u00e9cidabilit\u00e9 et interpr\u00e9abilit\u00e9 dans les corps et les groupes non commutatifs<\/td><td>1994<\/td><td>FRANCOISE DELON<\/td><td><\/td><\/tr><tr><td>Jiang Ying<\/td><td>Concistance et inconsistance de th\u00e9ories de lambda-calculs \u00e9tendus, via l'\u00e9tude des mod\u00e8les de Scott et des mod\u00e8les coh\u00e9rents<\/td><td>1993<\/td><td>J.L KRIVINE<\/td><td><\/td><\/tr><tr><td>Mourgues Marie-helene<\/td><td>Applications des s\u00e9ries formelles \u00e0 l'\u00e9tude de corps r\u00e9els clos<\/td><td>1993<\/td><td>J.P RESSAYRE<\/td><td><\/td><\/tr><tr><td>Manoury Pascal<\/td><td>Des preuves de totalit\u00e9 de fonctions comme synth\u00e8se de programmes<\/td><td>1992<\/td><td>J.L KRIVINE<\/td><td><\/td><\/tr><tr><td>Roziere Paul<\/td><td>R\u00e8gles admissibles en calcul propositionnel intuitioniste<\/td><td>1992<\/td><td>J.P RESSAYRE<\/td><td><\/td><\/tr><tr><td>Simonot Marianne<\/td><td>Des preuves de totalit\u00e9 de fonctions comme synth\u00e8se de programmes<\/td><td>1992<\/td><td>J.L KRIVINE<\/td><td><\/td><\/tr><tr><td>Zylberajch Cecile<\/td><td>Syntaxe et s\u00e9mantique de la facilit\u00e9 en lambda-calcul<\/td><td>1991<\/td><td>J.L KRIVINE<\/td><td><\/td><\/tr><\/table>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-23","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.imj-prg.fr\/lm\/wp-json\/wp\/v2\/pages\/23","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.imj-prg.fr\/lm\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.imj-prg.fr\/lm\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.imj-prg.fr\/lm\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.imj-prg.fr\/lm\/wp-json\/wp\/v2\/comments?post=23"}],"version-history":[{"count":1,"href":"https:\/\/www.imj-prg.fr\/lm\/wp-json\/wp\/v2\/pages\/23\/revisions"}],"predecessor-version":[{"id":24,"href":"https:\/\/www.imj-prg.fr\/lm\/wp-json\/wp\/v2\/pages\/23\/revisions\/24"}],"wp:attachment":[{"href":"https:\/\/www.imj-prg.fr\/lm\/wp-json\/wp\/v2\/media?parent=23"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}