Currently I am a graduate student at the logic group of University Claude Bernard Lyon 1 and a MALOA fellow.
My main interest is mathematical logic, especially model theory and its applications
- Classification of first-order theories: stability / simplicity / NIP / NTP2 / etc
- Interplay of finite and infinite: Fraisse-Hrushovski constructions, pseudo-finite structures, asymptotics of definable sets and applications of all those in finite model theory and computer science
art.chernikov@gmail.com
Université Claude Bernard - Lyon 1
Institut Camille Jordan
43 boulevard du 11 novembre 1918
69622 Villeurbanne Cedex, France
Papers and preprints
- On non-forking spectra with Itay Kaplan and Saharon Shelah
- Theories without the tree property of the second kind
- Externally definable sets and dependent pairs II with Pierre Simon
- Externally definable sets and dependent pairs with Pierre Simon, Israel Journal of Mathematics, 2012, DOI: 10.1007/s11856-012-0061-9
- Forking and dividing in NTP_2 theories with Itay Kaplan, J. Symbolic Logic, 77(1):1–20, 2012
Notes
- 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
- Generalizations of stability and NTP2 - talk at the "Géométrie et Théorie des Modèles" meeting at ENS (Paris), Apr 2012
- Model-theoretic 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
- Model Theory in Wroclaw 2012, Wroclaw (Poland), 16 - 19 June 2012
- Notions of minimality and rank in dependent theories, Villa de Leyva (Colombia), 10-13 June 2012
- 15th Latin American Symposium on Mathematical Logic, Bogota (Colombia), 4-8 June 2012
- Model theory and applications, MPIM Bonn (Germany), May-June 2012
- Visiting the Logic group of the Hebrew University of Jerusalem, March-April 2012
- Géométrie et Théorie des Modèles, Paris (France), 06 Apr 2012
- Visiting the Logic group at Uni Münster (Germany), 15 - 29 Feb 2012
Collaboration
Miscellaneous
- "The lazy model-theoretician's guide to stability" by Saharon Shelah
last updated: 15 May 2012
