TY  - RPRT
TI  - Definability via the tilting correspondence
AU  - Gessica Alecci
AU  - Ihsane Hadeg
AU  - Franziska Jahnke
AU  - Margarete Ketelsen
AU  - Isabella Negrini
PY  - 2026
UR  - https://arxiv.org/abs/2605.23466
ID  - 2605.23466
ER  -