17 citations · 83 across the 33 of their papers we have counts for
40 papers
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.
Algorithm to find new identifiable reparametrizations of parametric rational ODE models
Nicolette Meshkat, Alexey Ovchinnikov, Thomas Scanlon
Structural identifiability concerns the question of which unknown parameters of a model can be recovered from (perfect) input-output data. If all of the parameters of a model can b…
Identifiable specializations for ODE models
Alexey Ovchinnikov, Anand Pillay, Gleb Pogudin +1
The parameter identifiability problem for a dynamical system is to determine whether the parameters of the system can be found from data for the outputs of the system. Verifying wh…
Likely intersections
Sebastian Eterović, Thomas Scanlon
We prove a general likely intersections theorem, a counterpart to the Zilber-Pink conjectures, under the assumption that the Ax-Schanuel property and some mild additional condition…
Skew-invariant curves and the algebraic independence of Mahler functions
Alice Medvedev, Khoa Dang Nguyen, Thomas Scanlon
For a positive rational number different from one, we say that the Puisseux series is -Mahler of n…