Establishes first-order definability of Campana and Darmon points in algebraic function fields over number fields by extending quadratic Pfister form methods from prior number field results.
On existential definitions of c.e. subsets of rings of functions of characteristic 0
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.NT 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
First-order definability of Campana Points and Darmon Points in algebraic function fields in one variable over number fields
Establishes first-order definability of Campana and Darmon points in algebraic function fields over number fields by extending quadratic Pfister form methods from prior number field results.