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 |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.865149736404419
0 references
0.8607779145240784
0 references
0.8445467948913574
0 references
0.8343698978424072
0 references
