Universally defining $\mathbb{Z}$ in $\mathbb{Q}$ with $10$ quantifiers

Documenti analoghi

• First-order definability of affine Campana points in the projective line over a number field
  di: De Rasis, Juan Pablo
  Pubblicazione: (2024)
• Existentially defining valuations in function fields over large fields
  di: Daans, Nicolas
  Pubblicazione: (2025)
• First-order definability of Darmon points in number fields
  di: De Rasis, Juan Pablo, et al.
  Pubblicazione: (2024)
• Decidability of polynomial equations over function fields in positive characteristic
  di: Daans, Nicolas
  Pubblicazione: (2025)
• Hilbert's tenth problem for families of $ \mathbb{Z}_p $-extensions of imaginary quadratic fields
  di: Müller, Katharina, et al.
  Pubblicazione: (2024)