共 50 条
- [29] First-order decidability and definability of integers in infinite algebraic extensions of the rational numbers Israel Journal of Mathematics, 2018, 226 : 579 - 633
- [30] Diophantine definability over some rings of algebraic numbers with infinite number of primes allowed in the denominator Inventiones mathematicae, 1997, 129 : 489 - 507