End-extending models of $IΔ_0 + exp + ΒΣ_1$ (Q3971940)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: End-extending models of $IΔ_0 + exp + ΒΣ_1$ |
scientific article; zbMATH DE number 9918
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | End-extending models of $IΔ_0 + exp + ΒΣ_1$ |
scientific article; zbMATH DE number 9918 |
Statements
End-extending models of $IΔ_0 + exp + ΒΣ_1$ (English)
0 references
25 June 1992
0 references
Peano arithmetic
0 references
collection principle
0 references
models of arithmetic
0 references
end extension
0 references
forcing
0 references
