A Survey of Determinacy of Infinite Games in Second Order Arithmetic (Q5881256)
From MaRDI portal
scientific article; zbMATH DE number 7661629
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Survey of Determinacy of Infinite Games in Second Order Arithmetic |
scientific article; zbMATH DE number 7661629 |
Statements
A Survey of Determinacy of Infinite Games in Second Order Arithmetic (English)
0 references
9 March 2023
0 references
weak determinacy
0 references
inductive definitions
0 references