A Generalization of a Theorem of H. Friedman (Q3701406)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 3926892
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A Generalization of a Theorem of H. Friedman |
scientific article; zbMATH DE number 3926892 |
Statements
A Generalization of a Theorem of H. Friedman (English)
0 references
1985
0 references
models of arithmetic
0 references
fragments of arithmetic
0 references
recursive
0 references
saturation
0 references
initial segment
0 references
0.8979321122169495
0 references
0.7949601411819458
0 references
0.7901694178581238
0 references
0.7856251001358032
0 references
0.7787560224533081
0 references
