I am an FSMP postdoctoral fellow at the logic group of the Institut de Mathématiques de Jussieu, Université Paris Diderot  Paris 7.
My main research interest is model theory, more specifically Shelah's classification (stability, simplicity, NIP, NTP2, ...) and its applications to algebra, geometry, combinatorics and computer science.
artem.chernikov@imjprg.fr
+33(0)157279153
Équipe de Logique Math.
IMJ  PRG, Univ. Paris Diderot Paris 7
UFR de Math., case 7012
75205 Paris Cedex 13, France
Enseignement / Teaching
 Cours fondamental 1 "Théorie des modèles et théorie des ensembles" (Université Paris 7, M2 LMFI, TD, automne 2013)
 Feuilles 1,2,3 (Todor Tsankov)
 Feuille 4
 Feuille 5
 Feuille 6
 Feuille 7
Papers and preprints
 On the number of Dedekind cuts and twocardinal models of dependent theories with Saharon Shelah
 External definability and groups in NIP theories with Anand Pillay and Pierre Simon, Journal of the London Mathematical Society, accepted
 Groups and fields with NTP2 with Itay Kaplan and Pierre Simon, Proceedings of AMS, accepted
 Valued difference fields and NTP2 with Martin Hils, Israel J. Math., accepted
 An independence theorem for NTP2 theories with Itai Ben Yaacov, J. Symbolic Logic, accepted
 On nonforking spectra with Itay Kaplan and Saharon Shelah
 Theories without the tree property of the second kind, Annals of Pure and Applied Logic 165 (2014), pp. 695723
 Externally definable sets and dependent pairs II with Pierre Simon, Transactions of AMS, accepted
 Externally definable sets and dependent pairs with Pierre Simon, Israel J. Math. 194 (2013), no. 1, 409425 Forking and dividing in NTP2 theories with Itay Kaplan, J. Symbolic Logic, 77(1):120, 2012

Thesis: On theories without the tree property of the second kind, slides from the defense. Defended at the logic group of the University Claude Bernard  Lyon 1 while I was a MALOA fellow
Notes
 Lecture notes on forking for the minicourse I had given in Lyon, Oct 2012 Indiscernible sequences and arrays in valued fields, in the proceedings of Model Theory Kirishima 2010 "Kokyuroku" (absorbed into "Theories without tree property of the second kind") Naming an indiscernible sequence in NIP theories with Pierre Simon (absorbed into "Externally definable sets and dependent pairs")
Slides
 Tame definable topological dynamics  "Géométrie et Théorie des Modèles", ENS, Paris, Oct 2013
 External definability and groups in NIP (+ the Ellis group conjecture for ominimal theories)  "Model Theory 2013", Ravello, Italy, June 2013
 Model theoretic approach to de Finetti theory  "Interactions between Logic, Topological structures and Banach spaces theory", Eilat Campus of BenGurion University of the Negev, Israel, May 2013
 Fields with NTP2  Model theory seminar, University of Konstanz, Germany, May 2013
 External definability and groups in NIP  MALOA Final Conference "Logic and Interactions", CIRM, Luminy, France, Apr 2013
 On the number of Dedekind cuts and twocardinal models of NIP theories  talk at the "MALOA meeting" in Oxford (UK), Aug 2012
 NTP2  talk at the "15th Latin American Symposium on Mathematical Logic" in Bogota (Colombia), Jun 2012
 Generalizations of stability and NTP2  talk at the "Géométrie et Théorie des Modèles" meeting at ENS (Paris), Apr 2012
 Modeltheoretic weight and algebraic examples  talk at the "Algebra, Combinatorics and Model Theory" conference at Koç University (Istanbul), Aug 2011
 NTP_2 and valued fields  talk at the "Model theory in Seoul" conference, May 2010
 Definable types in NIP  talk at the "New developments of independence in model theory" conference in Kirishima, Mar 2010
 Counting types and NIP  abstract of a talk given at the "Model Theory: Around Valued Fields and Dependent Theories" workshop in Oberwolfach, Jan 2010
 Towards the dependence spectra  talk at the "Séminaire général de logique" in Paris, June 2009
 No tree property of the second kind  talk at the "Stability Theoretic Methods in Unstable Theories" workshop in Banff, February 2009
 What is... Fraisse construction?  talk at the "What is...?" seminar, Freie University Berlin, January 2009 + video
 Characterizing NIP and NTP_2 semantically  poster at the final MODNET meeting in Barcelona, November 2008
 Forking and dividing in dependent theories (and NTP_2 in there)  talk at the "Around classification theory" workshop in Leeds, June 2008
Upcoming meetings and events
Collaborators
Miscellaneous
 fff  a collective blog about model theory
 My profile at Academia.edu
 My profile at Google Scholar
 My facebook
 "The lazy modeltheoretician's guide to stability" by Saharon Shelah
last updated: July 3, 2013