TRACE EXPANSIONS OF INITIAL SEGMENTS (Q3320379)
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: TRACE EXPANSIONS OF INITIAL SEGMENTS |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | TRACE EXPANSIONS OF INITIAL SEGMENTS |
scientific article |
Statements
TRACE EXPANSIONS OF INITIAL SEGMENTS (English)
0 references
1984
0 references
expandability
0 references
expansions of models
0 references
Peano arithmetic
0 references
second order arithmetic
0 references
0.8873180150985718
0 references
0.7692510485649109
0 references