3 papers
math.LO2025
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…
math.LO2025
Some NIP-like phenomena in NTP
Itay Kaplan, Pierre Simon
We introduce the notion of an NTP-smooth measure and prove that they exist assuming NTP. Using this, we propose a notion of distality in NTP that unfortunately do…
math.LO2025
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.