Which Curves Over Z have Points with Coordinates in a Discrete Ordered Ring?

DOI10.2307/1998418zbMath0464.10047OpenAlexW4234759833MaRDI QIDQ3915074

L. P. D. van den Dries

Publication date: 1981

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/1998418

zbMATH Keywords

curvespolynomialdecision methodssolvability of diophantine equationsRiemann-Roch theorydiscrete ordered ring

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Model-theoretic algebra (03C60) Nonstandard models of arithmetic (03H15) Models of other mathematical theories (03C65) Algebraic functions and function fields in algebraic geometry (14H05) Diophantine equations (11D99) Nonstandard arithmetic (number-theoretic aspects) (11U10)

Related Items (5)

Division by zero ⋮ Discrete orderings in the real spectrum ⋮ Hilbert's tenth problem for weak theories of arithmetic ⋮ Independence results for variants of sharply bounded induction ⋮ Factorization in generalized power series

This page was built for publication: Which Curves Over Z have Points with Coordinates in a Discrete Ordered Ring?