Abstract
A criterion is given for curves defined over Z to have an infinite point in a discrete ordered ring. Using this, one can decide effectively whether a given polynomial in Z(X, Y] has a zero in a model for the axioms of open induction. Riemann-Roch for curves over Q is the main tool used.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 181-189 |
| Number of pages | 9 |
| Journal | Transactions of the American Mathematical Society |
| Volume | 264 |
| Issue number | 1 |
| DOIs | |
| State | Published - Mar 1981 |
| Externally published | Yes |
ASJC Scopus subject areas
- General Mathematics
- Applied Mathematics