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.
The decision problem for exponential diophantine equations
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.