{"id":"arxiv/2610.41064","url":"https://arxiv.org/abs/2610.41064","tags":["math.LO","math.NT"],"score":0,"title":"The complexity of tilting","domain":"math.LO","source":"arxiv","authors":["Leo Gitin"],"reviews":0,"subject":"math.LO","summary":"Many explicit constructions in algebra are not first-order definable in classical finitary logic, but are, however, definable in infinitary logic. The aim of this paper is to show how infinitary logic can be used to lift model-theoretic results in arithmetic to a quantifier-sensitive form. We apply this idea to a deep result of Jahnke and Kartas on the model theory of perfectoid fields. Our main result is that a first-order sentence $φ$ holds in the tilt $k^{\\flat}$ of a perfectoid field $k$ if and only if a certain sentence $φ^{\\natural}$ holds in a non-principal ultrapower of $k$, where…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-29","reactions":{}}