Pages that link to "Item:Q4899167"

The following pages link to Interpreting true arithmetic in the local structure of the enumeration degrees (Q4899167):

Displaying 13 items.

• Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (Q409326) (← links)
• The high/low hierarchy in the local structure of the \(\omega\)-enumeration degrees (Q764275) (← links)
• The last question on recursively enumerable \(m\)-degrees (Q1908450) (← links)
• 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)
• Interpreting true arithmetic in the -enumeration degrees (Q3570161) (← 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)
• Ivan Soskov: a life in computability (Q6599282) (← links)
• On cupping and Ahmad pairs (Q6642878) (← links)