Cover Image

Decidability of polynomial equations over function fields in positive characteristic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Daans, Nicolas
Format:	Preprint
Published:	2025
Subjects:	Number Theory Logic Primary: 12L05. Secondary: 03B25, 11R58, 11U05, 12F20
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Existentially defining valuations in function fields over large fields
by: Daans, Nicolas
Published: (2025)

Undecidability of expansions of Laurent series fields by cyclic discrete subgroups
by: Gitin, Leo
Published: (2024)

First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability
by: Shlapentokh, Alexandra, et al.
Published: (2024)

Existential rank and essential dimension of diophantine sets
by: Daans, Nicolas, et al.
Published: (2021)

First-order definability of Campana Points and Darmon Points in algebraic function fields in one variable over number fields
by: De Rasis, Juan Pablo
Published: (2025)

Universally defining subrings in function fields
by: Daans, Nicolas, et al.
Published: (2024)

Modular Zilber-Pink for geometrically generic varieties
by: Aslanyan, Vahagn, et al.
Published: (2025)

On the existential theory of the completions of a global field
by: Dittmann, Philip, et al.
Published: (2024)

Uniform existential definitions of valuations in function fields in one variable
by: Becher, Karim Johannes, et al.
Published: (2023)

The Galois characterisation of $p$-adically closed fields -- A modern perspective
by: Gitin, Leo, et al.
Published: (2026)

Universally defining $\mathbb{Z}$ in $\mathbb{Q}$ with $10$ quantifiers
by: Daans, Nicolas
Published: (2023)

The Diophantine problem for addition and divisibility for rings of $S$-integers of quadratic imaginary extensions of $\mathbb{Q}$
by: Hormazábal, Natalia, et al.
Published: (2025)

Diophantine Maps
by: Eggink, A.
Published: (2024)

Dimension formulas for modular form spaces of rational weights, the classification of eta-quotient characters and an extension of Martin's theorem
by: Zhu, Xiao-Jie
Published: (2024)

Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence
by: Khani, Mohsen, et al.
Published: (2021)

Undecidability on Diophantine equations over $\mathbb Z[i]$ with $20$ unknowns
by: Matiyasevich, Yuri, et al.
Published: (2025)

Geometric Gauss Sums and Gross-Koblitz Formula over Function Fields
by: Chang, Ting-Wei
Published: (2025)

On $2$-superirreducible polynomials over finite fields
by: Bober, Jonathan W., et al.
Published: (2023)

Interpretations of syntactic fragments of theories of fields
by: Anscombe, Sylvy, et al.
Published: (2023)

An application of a generalization of Artin's primitive root conjecture in the theory of monoid rings
by: Daileda, Ryan C.
Published: (2021)

A simplified algorithmic realization of Galois actions on special values of modular functions
by: Koo, Ja Kyung, et al.
Published: (2025)

Duality of Selmer groups of an abelian variety over a number field
by: Biswas, Saikat
Published: (2025)

First-order definability of Darmon points in number fields
by: De Rasis, Juan Pablo, et al.
Published: (2024)

Pseudofinite fields with additive and multiplicative character
by: Ludwig, Stefan Marian
Published: (2025)

Universal quadratic forms and Northcott property of infinite number fields
by: Daans, Nicolas, et al.
Published: (2023)

Hilbert's tenth problem for rings of holomorphic functions of bounded order
by: Pasten, Hector
Published: (2024)

Model theory, differential algebra and functional transcendence
by: Martin-Pizarro, Amador
Published: (2025)

Torsion of elliptic curves with rational $j$-invariant over quartic number fields
by: Hamada, Lucas
Published: (2024)

A geometric approach to some systems of exponential equations
by: Aslanyan, Vahagn, et al.
Published: (2021)

The lifting problem for Galois representations
by: Merkurjev, Alexander, et al.
Published: (2025)

Galois representations modulo $p$ that do not lift modulo $p^2$
by: Merkurjev, Alexander, et al.
Published: (2024)

Decidability of Extensions of Presburger Arithmetic by Hardy Field Functions
by: Brown, Hera, et al.
Published: (2025)

Mixed quantifier prefixes over Diophantine equations with integer variables
by: Sun, Zhi-Wei
Published: (2021)

Existential fragments of theories of henselian valued fields
by: Anscombe, Sylvy, et al.
Published: (2026)

A remark on the existence of equivariant functions
by: Sugiyama, Shingo
Published: (2022)

On the irreducibility of the non-cyclotomic part of most 0,1-polynomials with few terms
by: Filaseta, Michael, et al.
Published: (2025)

Existential theories of henselian valued fields under a formal smoothness assumption
by: Dittmann, Philip
Published: (2026)

Large imperfect fields are existentially closed in function fields after finite constant extension
by: Knaf, Hagen, et al.
Published: (2026)

No proper generalized quadratic forms are universal over quadratic fields
by: Chwiedziuk, Ondřej, et al.
Published: (2024)

First-order definability of affine Campana points in the projective line over a number field
by: De Rasis, Juan Pablo
Published: (2024)