Universally defining Z in Q with 10 quantifiers

Source
Journal of the London Mathematical Society - ISSN 0024-6107-109:2 (2024) p. 1-18
Author(s)

Universally defining finitely generated subrings of global fields

Source
Documenta Mathematica: Journal der Deutschen Mathematiker-Vereinigung - ISSN 1431-0643-26 (2021) p. 1851-1869
Author(s)