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.
Towards Hilbert’s tenth problem for rings of integers through Iwasawa theory and Heegner points
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.