Department of Mathematical Sciences
Carnegie Mellon University
Pittsburgh, PA 15213
Office: Wean Hall 7108
sebv (at) cmu (dot) edu
Writings | About Me | Teaching | Talks | Various
Sebastien Vasey, Indiscernible extraction and Morley sequences, Accepted (June 9, 2014), Notre Dame Journal of Formal Logic. Preprint: pdf arXiv, 6 pages. Last updated on June 4, 2014 (see previous versions, including one with more background).
TLDR: In simple theories, Morley sequences can be built using only Ramsey's theorem and compactness.
TLDR: An abstract elementary class can have at most one forking-like notion.
Sebastien Vasey, Forking and superstability in tame AECs, Submitted. Preprint: pdf arXiv, 30 pages. Last updated on June 30, 2014 (see previous versions).
TLDR: Any tame abstract elementary class categorical in a suitable cardinal admits a forking-like notion for 1-types. It follows for example that tameness and categoricity at a cardinal of high-enough cofinality imply stability everywhere.
Will Boney and Sebastien Vasey, Tameness and frames revisited, Submitted. Preprint: pdf arXiv, 31 pages. Last updated on August 28, 2014 (see previous versions).
TLDR: Tameness in a good frame implies that the good frame transfers up and that a well-behaved notion of dimension can be defined (any two maximal infinite independent sets have the same cardinality).
I am a math graduate student at Carnegie Mellon University (CMU). I started my Ph.D. in the Fall of 2012. Before that, I was studying Communication Systems and Computer Science at the Ecole Polytechnique Fédérale de Lausanne (EPFL).
My encounter with mathematical logic in 2010, and an exchange year at CMU in 2011-12 made me decide to change fields and turn to pure mathematics. I still hold a B.A. in Communication Systems from EPFL.
I am interested in pure model theory, and its interaction with algebra and combinatorial set theory. My advisor is Rami Grossberg.
In Fall 2014, Spring 2015, and Fall 2016, I am supported by a Doc.Mobility fellowship from the Swiss National Science Foundation.