Pierre Simon

pierre.simon (at) normalesup.org

Université Claude Bernard - Lyon 1
Institut Camille Jordan
43 boulevard du 11 novembre 1918
69622 Villeurbanne Cedex, France

Research interests: Model theory (a branch of mathematical logic), in particular NIP theories.

Papers / preprints

Invariant types in NIP theories

The affine and projective groups are maximal, with I. Kaplan.

External definability and groups in NIP theories, with A. Chernikov and A. Pillay. J. London Math. Soc. 2014; doi: 10.1112/jlms/jdu019.

Honest compressions and their application to compression schemes, with R. Livni. Proceedings of the 26th Conference on Learning Theory (COLT), 2013.

The Borel cardinality of Lascar strong types, with I. Kaplan and B. Miller. J. London Math. Soc. (to appear).

Invariant types in dp-minimal theories, J. Symbolic Logic (to appear).

On forking and definability of types in some dp-minimal theories, with S. Starchenko. J. Symbolic Logic (to appear).

Externally definable sets and dependent pairs II, with A. Chernikov. Trans. of the AMS (to appear).

Groups and fields with NTP2, with A. Chernikov and I. Kaplan. Proceedings of the AMS (to appear).

Witnessing dp-rank, with I. Kaplan. Notre Dame J. of Formal logic (to appear).

A note on generically stable measures and fsg groups, with E. Hrushovski and A. Pillay, May 2011. Notre Dame J. of Formal Logic, Volume 53-4 (2012) 599—605.

Distal and non-distal theories, Annals of Pure and Applied Logic 164-3 (2013) 294-318.

Adding linear orders, with S. Shelah. J. Symbolic Logic Volume 77 (2012) 717-725.

Finding generically stable measures, J. Symbolic Logic Volume 77, Issue 1 (2012) 263–278.

Externally definable sets and dependent pairs, with A. Chernikov, August 2010. Israel J. of Math., Volume 194, Issue 1 (2013) 409-425.

On dp-minimal ordered structures, J. Symbolic Logic Volume 76, Issue 2 (2011).

Generically stable and smooth measures in NIP theories, with E. Hrushovski and A. Pillay, Feb. 2010. Trans of the AMS 365 (2013), 2341-2366.


A Guide to NIP theories

To appear in ‘Lecture Notes in Logic’ series. Copyright held by ASL. (Updated: February 2014) 

PhD thesis

Ordre et stabilité dans les théories NIP

Informal notes

Mémoire de M2 Sur les théories NIP, 2008 (French).

Shelah 900's type decomposition theorem.

Notes on Shelah 950: counting types up to automorphisms.


An introduction to model theoretic techniques, Berkeley, Introductory Workshop: Model Theory, Arithmetic Geometry and Number Theory, Feb. 2014 (video).

Type decompositions in NIP theories, Logic Colloquium 2012, Manchester.

Externally definable sets in NIP theories, Banff, Feb. 2012 (video).

Distal NIP theories, Oléron, June 2011.

Generically stable measures, Banff, Feb. 2009.

CV: english / français