Pages that link to "Item:Q5729295"
From MaRDI portal
The following pages link to Recursive Enumerability and the Jump Operator (Q5729295):
Displaying 18 items.
- Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (Q409326) (← links)
- Infima in the d.r.e. degrees (Q685080) (← links)
- Elementary differences among jump classes (Q1007245) (← links)
- A non-inversion theorem for the jump operator (Q1111549) (← links)
- \(r\)-maximal major subsets (Q1248505) (← links)
- \(\Sigma_2\)-constructions and \(\text{I}\Sigma_1\) (Q1295390) (← links)
- On the jumps of the degrees below a recursively enumerable degree (Q1704085) (← links)
- Completely mitotic c.e. degrees and non-jump inversion (Q1765157) (← links)
- On the Turing degrees of minimal index sets (Q2382278) (← links)
- A bounded jump for the bounded Turing degrees (Q2452680) (← links)
- Limits on jump inversion for strong reducibilities (Q3107354) (← links)
- Inverting the Half-Jump (Q3674638) (← links)
- Recursively enumerable sets and degrees (Q4184825) (← links)
- Automorphisms of the lattice of recursively enumerable sets (Q4767305) (← links)
- The ∀∃-theory of ℛ(≤,∨,∧) is undecidable (Q4813796) (← links)
- The nonlow computably enumerable degrees are not invariant in $\mathcal {E}$ (Q4913812) (← links)
- IN MEMORIAM: GERALD E. SACKS, 1933–2019 (Q5067875) (← links)
- An incomplete set of shortest descriptions (Q5388731) (← links)