Universally defining Z in Q with 10 quantifiers
Bron
Journal of the London Mathematical Society - ISSN 0024-6107-109:2 (2024) p. 1-18
Existential first-order definitions and quadratic forms
Bron
Antwerpen, Universiteit Antwerpen, Faculteit Wetenschappen, 2022,xvi, 180 p.
Universally defining finitely generated subrings of global fields
Bron
Documenta Mathematica: Journal der Deutschen Mathematiker-Vereinigung - ISSN 1431-0643-26 (2021) p. 1851-1869