Pages that link to "Item:Q5159502"

The following pages link to FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS (Q5159502):

Displaying 3 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)