Searching problems above arithmetical transfinite recursion (Q6584960)
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: Searching problems above arithmetical transfinite recursion |
scientific article; zbMATH DE number 7894021
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Searching problems above arithmetical transfinite recursion |
scientific article; zbMATH DE number 7894021 |
Statements
Searching problems above arithmetical transfinite recursion (English)
0 references
8 August 2024
0 references
weihrauch degrees
0 references
reverse mathematics
0 references
Knaster-Tarski's fixed point theorem
0 references
relative leftmost path principle
0 references
