pierre.simon (at) normalesup.org
I am currently a post-doc at the Hebrew University in Jerusalem
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.
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.
Invariant types in dp-minimal theories, containing an appendix written with S. Starchenko (submitted as a separate paper).
On forking and definability of types in some dp-minimal theories, with S. Starchenko (appendix of the previous paper).
Externally definable sets and dependent pairs II, with A. Chernikov. Trans. of the AMS (accepted)
Groups and fields with NTP2, with A. Chernikov and I. Kaplan. Proceedings of the AMS (accepted).
Witnessing dp-rank, with I. Kaplan. Notre Dame J. of Formal logic (accepted)
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.
Lecture notes on NIP theories
This is a preliminary version of a book to be published in the 'Lecture Notes in Logic' series.
I am currently revising it. Feel free to email me for the latest version.
All comments are welcome.
Ordre et stabilité dans les théories NIP
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.
More on invariant types in NIP theories A note on invariant types and in particular the study of the canonical retraction from invariant types to finitely satisfiable types.
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