Prefer a chat interface with context about you and your work?
First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers