INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS (Q5485751)
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: INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS |
scientific article; zbMATH DE number 5051082
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS |
scientific article; zbMATH DE number 5051082 |
Statements
INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS (English)
0 references
4 September 2006
0 references
reverse mathematics
0 references
hyperarithmetic analysis
0 references
indecomposable linear orders
0 references
finitely terminating games
0 references
iterations of the Turing jump
0 references
0.7796199321746826
0 references
0.7600792646408081
0 references
0.7425296306610107
0 references
0.7416878938674927
0 references
0.7298761010169983
0 references
