The following pages link to (Q4993819):
Displaying 5 items.
- The jump operator on the \(\omega \)-enumeration degrees (Q1032630) (← links)
- Jump inversions of algebraic structures and the \({\Sigma}\)-definability (Q1620784) (← links)
- The automorphism group and definability of the jump operator in the \(\omega\)-enumeration degrees (Q2238145) (← links)
- Jump inversions of algebraic structures and Σ‐definability (Q5108844) (← links)
- Definability in the local structure of the <i>ω</i>-Turing degrees (Q5243151) (← links)