Which Curves Over Z have Points with Coordinates in a Discrete Ordered Ring?
From MaRDI portal
Publication:3915074
DOI10.2307/1998418zbMath0464.10047MaRDI QIDQ3915074
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
curves; polynomial; decision methods; solvability of diophantine equations; Riemann-Roch theory; discrete ordered ring
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, Discrete orderings in the real spectrum