Pages that link to "Item:Q5159502"
From MaRDI portal
The following pages link to FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS (Q5159502):
Displaying 4 items.
- Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting) (Q2693002) (← links)
- Lawvere-Tierney topologies for computability theorists (Q5875936) (← links)
- Algebraic properties of the first-order part of a problem (Q6040614) (← links)
- Searching problems above arithmetical transfinite recursion (Q6584960) (← links)
