The Barwise-Schlipf theorem (Q5146566)
From MaRDI portal
scientific article; zbMATH DE number 7301347
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Barwise-Schlipf theorem |
scientific article; zbMATH DE number 7301347 |
Statements
The Barwise-Schlipf theorem (English)
0 references
26 January 2021
0 references
nonstandard models of arithmetic
0 references
recursive saturation
0 references
fragments of second-order arithmetic
0 references
expandability
0 references
