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

DOI10.2307/1998418zbMath0464.10047MaRDI 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

curves; polynomial; decision methods; solvability of diophantine equations; Riemann-Roch theory; discrete ordered ring

Mathematics Subject Classification ID

11U05: Decidability (number-theoretic aspects)

03C60: Model-theoretic algebra

03H15: Nonstandard models of arithmetic

03C65: Models of other mathematical theories

14H05: Algebraic functions and function fields in algebraic geometry

11D99: Diophantine equations

11U10: Nonstandard arithmetic (number-theoretic aspects)

Related Items

Factorization in generalized power series, Division by zero, Hilbert's tenth problem for weak theories of arithmetic, Independence results for variants of sharply bounded induction