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