17 citations · 83 across the 33 of their papers we have counts for
10 papers · 1 filter
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…
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.
The logical complexity of finitely generated commutative rings
Matthias Aschenbrenner, Anatole Khélif, Eudes Naziazeno +1
We characterize those finitely generated commutative rings which are (parametrically) bi-interpretable with arithmetic: a finitely generated commutative ring is bi-interpretabl…
Algebraic differential equations from covering maps
Thomas Scanlon
Let be a complex algebraic variety, an action of an algebraic group on , a complex submanifold, a dis…
Strong minimality and the j-function
James Freitag, Thomas Scanlon
We show that the order three algebraic differential equation over satisfied by the analytic -function defines a non--categorical strongly minimal set wit…
Model theory of fields with free operators in characteristic zero
Rahim Moosa, Thomas Scanlon
Generalising and unifying the known theorems for difference and differential fields, it is shown that for every finite free -algebra over a field of…