2 papers
math.LO2025
Decidability of some complicated structures definable in
Thomas Scanlon
Several properly countable unions of algebraic sets in are definable in including the set CM of -invariants of complex elliptic curves with comple…
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.