Pages that link to "Item:Q1207542"

The following pages link to Generalizations of enumeration reducibility using recursive infinitary propositional sentences (Q1207542):

Displaying 4 items.

• The jump operation for structure degrees (Q818923) (← links)
• Realizing levels of the hyperarithmetic hierarchy as degree spectra of relations on computable structures (Q1430995) (← links)
• Enumeration Reducibility and Computable Structure Theory (Q2970965) (← links)
• Regular enumerations (Q4451721) (← links)