77 citations · 203 across the 46 of their papers we have counts for
52 papers
The tilting equivalence as a bi-interpretation
Silvain Rideau-Kikuchi, Thomas Scanlon, Pierre Simon
We propose a model theoretic interpretation of the theorems about the equivalence between mixed characteristic perfectoid spaces and their tilts.
On Descent and germs
Pierre Simon, Mariana Vicaria
We present a new proof of descent for stably dominated types in any theory, dropping the hypothesis of the existence of global invariant extensions. Additionally, we give a much si…
Generic Stability Independence and Treeless theories
Itay Kaplan, Nicholas Ramsey, Pierre Simon
We initiate a systematic study of \emph{generic stability independence} and introduce the class of \emph{treeless theories} in which this notion of independence is particularly wel…
Residue field domination in some henselian valued fields
Clifton Ealy, Deirdre Haskell, Pierre Simon
We generalize previous results about stable domination and residue field domination to henselian valued fields of equicharacteristic 0 with bounded Galois group, and we provide an…
On large externally definable sets in NIP
Martin Bays, Omer Ben-Neria, Itay Kaplan +1
We study cofinal systems of finite subsets of . We show that while such systems can be NIP, they cannot be defined in an NIP structure. We deduce a positive answer to a questi…
Model Checking on Interpretations of Classes of Bounded Local Cliquewidth
Édouard Bonnet, Jan Dreier, Jakub Gajarský +4
We present a fixed-parameter tractable algorithm for first-order model checking on interpretations of graph classes with bounded local cliquewidth. Notably, this includes interpret…