Strong initial segments of models of IΔ<sub>0</sub> (Q5295064)
From MaRDI portal
scientific article; zbMATH DE number 5175017
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Strong initial segments of models of IΔ<sub>0</sub> |
scientific article; zbMATH DE number 5175017 |
Statements
Strong initial segments of models of IΔ<sub>0</sub> (English)
0 references
26 July 2007
0 references
nonstandard model
0 references
Peano arithmetic
0 references
Ramsey theory
0 references
largeness
0 references
