{"id":"arxiv/2605.23466","url":"https://arxiv.org/abs/2605.23466","tags":["math.LO","math.NT"],"score":0,"title":"Definability via the tilting correspondence","domain":"math.LO","source":"arxiv","authors":["Gessica Alecci","Ihsane Hadeg","Franziska Jahnke","Margarete Ketelsen","Isabella Negrini"],"reviews":0,"subject":"math.LO","summary":"We show that arithmetic definability of henselian valuations is preserved by the tilting correspondence. Moreover, we show that if a perfectoid valuation is arithmetically definable, then no parameters are needed. We also investigate whether these definitions can be chosen uniformly, and discuss the required quantifier complexity.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-22","reactions":{}}