Quantifier elimination for quasi-real closed fields

Mickaël Matusinski; Simon Müller

Comptes Rendus. Mathématique, Volume 359 (2021) no. 3 p. 291-295