Saturated models of Peano arithmetic (Q3962976)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Saturated models of Peano arithmetic |
scientific article |
Statements
Saturated models of Peano arithmetic (English)
0 references
1982
0 references
reducts of Peano arithmetic
0 references
coding sequences
0 references
