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 15 items.
- Splitting theorems in recursion theory (Q1314544) (← links)
- The rhombus classes of degrees of unsolvability. I. The jump properties (Q1322450) (← links)
- Non-uniformity and generalised Sacks splitting (Q1862888) (← 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)
- Low level nondefinability results: domination and recursive enumeration (Q2869914) (← 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)
