Pages that link to "Item:Q3412461"

The following pages link to Degree Structures: Local and Global Investigations (Q3412461):

Displaying 8 items.

• Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (Q409326) (← links)
• Online presentations of finitely generated structures (Q2205949) (← links)
• Set-theoretic blockchains (Q2274142) (← links)
• Extensions of embeddings below computably enumerable degrees (Q2838113) (← links)
• The \(n\)-r.e. degrees: undecidability and \(\Sigma_1\) substructures (Q2909622) (← links)
• DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP (Q3521600) (← links)
• The First Order Theories of the Medvedev and Muchnik Lattices (Q3576064) (← links)
• Definability via Kalimullin pairs in the structure of the enumeration degrees (Q5247021) (← links)