Pages that link to "Item:Q3491536"
From MaRDI portal
The following pages link to The jump is definable in the structure of the degrees of unsolvability (Q3491536):
Displaying 12 items.
- Splitting theorems in recursion theory (Q1314544) (← links)
- Nonbounding and Slaman triples (Q1919544) (← links)
- Interpolating \(d\)-r.e. and REA degrees between r.e. degrees (Q1919759) (← links)
- Turing computability: structural theory (Q2036465) (← links)
- The Prospects for Mathematical Logic in the Twenty-First Century (Q2736583) (← links)
- A splitting theorem for $n-REA$ degrees (Q2750871) (← links)
- Degree Structures: Local and Global Investigations (Q3412461) (← links)
- DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP (Q3521600) (← links)
- Bounding minimal degrees by computably enumerable degrees (Q4254684) (← links)
- Working below a high recursively enumerable degree (Q4276023) (← links)
- A General Framework for Priority Arguments (Q4847389) (← links)
- Local Definitions in Degree Structures: The Turing Jump, Hyperdegrees and Beyond (Q5421031) (← links)
