The limits of determinacy in second order arithmetic: consistency and complexity strength (Q480816)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The limits of determinacy in second order arithmetic: consistency and complexity strength |
scientific article |
Statements
The limits of determinacy in second order arithmetic: consistency and complexity strength (English)
0 references
11 December 2014
0 references
second-order arithmetic
0 references
determinacy
0 references
reverse mathematics
0 references
complexity
0 references
consistency
0 references
