Paulo's papers P. Soto Moreno. Relative Quantifier Elimination for Separable-Algebraically Maximal Kaplansky Fields. Manuscript, 2025. arXiv:2505.07418 [math.LO]