Robuta

https://arxiv.org/abs/1504.01871
Abstract page for arXiv paper 1504.01871: A definable henselian valuation with high quantifier complexity
henselian valuationdefinablehighquantifiercomplexity
https://arxiv.org/abs/2403.03164v2
Abstract page for arXiv paper 2403.03164v2: A remark on $\mathscr{C}^\infty$ definable equivalence
remarkcdefinable
https://arxiv.org/abs/1601.03345
Abstract page for arXiv paper 1601.03345: On definable Galois groups and the strong canonical base property
galois groupsthe strongdefinablecanonical