Reduction games, provability and compactness (Q5055312)
From MaRDI portal
scientific article; zbMATH DE number 7632518
Language | Label | Description | Also known as |
---|---|---|---|
English | Reduction games, provability and compactness |
scientific article; zbMATH DE number 7632518 |
Statements
Reduction games, provability and compactness (English)
0 references
13 December 2022
0 references
reverse mathematics
0 references
weihrauch reducibility
0 references
computable reducibility
0 references
reduction games
0 references
Ramsey's theorem
0 references
0 references