Open induction and the true theory of rationals (Q3773857)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Open induction and the true theory of rationals |
scientific article |
Statements
Open induction and the true theory of rationals (English)
0 references
1987
0 references
models of arithmetic
0 references
Wilkie's problem
0 references
ordered field
0 references
model of open induction
0 references
primes
0 references
