Pages that link to "Item:Q5741445"
From MaRDI portal
The following pages link to Defining totality in the enumeration degrees (Q5741445):
Displaying 11 items.
- Computability theory. Abstracts from the workshop held January 7--13, 2018 (Q1731969) (← links)
- The theory of ceers computes true arithmetic (Q2187270) (← links)
- The automorphism group and definability of the jump operator in the \(\omega\)-enumeration degrees (Q2238145) (← links)
- Characterizing the continuous degrees (Q2279952) (← links)
- Enumeration Reducibility and Computable Structure Theory (Q2970965) (← links)
- PERMUTATIONS OF THE INTEGERS INDUCE ONLY THE TRIVIAL AUTOMORPHISM OF THE TURING DEGREES (Q4580034) (← links)
- On cototality and the skip operator in the enumeration degrees (Q4967303) (← links)
- A STRUCTURAL DICHOTOMY IN THE ENUMERATION DEGREES (Q5082054) (← links)
- The enumeration degrees: Local and global structural interactions (Q5351849) (← links)
- PA RELATIVE TO AN ENUMERATION ORACLE (Q6180605) (← links)
- THE TURING DEGREES AND KEISLER’S ORDER (Q6203559) (← links)
