First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers
Crossref DOI link: https://doi.org/10.1007/s11856-018-1708-y
Published Online: 2018-06-08
Published Print: 2018-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Shlapentokh, Alexandra
Text and Data Mining valid from 2018-06-01
Article History
Received: 24 May 2016
Revised: 12 May 2017
First Online: 8 June 2018