Pages that link to "Item:Q1276269"
From MaRDI portal
The following pages link to Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics (Q1276269):
Displaying 10 items.
- Effective versions of local connectivity properties (Q692887) (← links)
- My work with Victor Marek: a mathematician looks at answer set programming (Q1028636) (← links)
- Degrees of non-computability of homeomorphism types of Polish spaces (Q2106604) (← links)
- Graphs are not universal for online computability (Q2186809) (← links)
- Turing meets Schanuel (Q2630828) (← links)
- Degree invariance in the Π<sub>1</sub><sup>0</sup>classes (Q3107350) (← links)
- Weihrauch and constructive reducibility between existence statements (Q4995601) (← links)
- Connected choice and the Brouwer fixed point theorem (Q5223123) (← links)
- FOUNDATIONS OF ONLINE STRUCTURE THEORY (Q5226592) (← links)
- Primitive recursive reverse mathematics (Q6050165) (← links)
