Pages that link to "Item:Q4899167"
From MaRDI portal
The following pages link to Interpreting true arithmetic in the local structure of the enumeration degrees (Q4899167):
Displayed 7 items.
- The theory of ceers computes true arithmetic (Q2187270) (← links)
- The automorphism group of the enumeration degrees (Q2630830) (← links)
- Enumeration Reducibility and Computable Structure Theory (Q2970965) (← links)
- Extensions of two constructions of Ahmad (Q5061391) (← links)
- Definability via Kalimullin pairs in the structure of the enumeration degrees (Q5247021) (← links)
- Cupping and definability in the local structure of the enumeration degrees (Q5388723) (← links)
- On Kalimullin pairs (Q5740204) (← links)