First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability

Documenti analoghi

• Existential rank and essential dimension of diophantine sets
  di: Daans, Nicolas, et al.
  Pubblicazione: (2021)
• First-order definability of Campana Points and Darmon Points in algebraic function fields in one variable over number fields
  di: De Rasis, Juan Pablo
  Pubblicazione: (2025)
• Decidability of polynomial equations over function fields in positive characteristic
  di: Daans, Nicolas
  Pubblicazione: (2025)
• Undecidability of expansions of Laurent series fields by cyclic discrete subgroups
  di: Gitin, Leo
  Pubblicazione: (2024)
• Definability and decidability for rings of integers in totally imaginary fields
  di: Springer, Caleb
  Pubblicazione: (2022)