Pages that link to "Item:Q3521600"

The following pages link to DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP (Q3521600):

Displaying 15 items.

• 2-minimality, jump classes and a note on natural definability (Q386644) (← links)
• Defining the Turing jump (Q1574741) (← links)
• A reducibility related to being hyperimmune-free (Q2349101) (← links)
• Biinterpretability up to double jump in the degrees below \(\mathbf{0}'\) (Q2862196) (← links)
• Low level nondefinability results: domination and recursive enumeration (Q2869914) (← links)
• Properties of the jump classes (Q2907059) (← links)
• The \(n\)-r.e. degrees: undecidability and \(\Sigma_1\) substructures (Q2909622) (← links)
• The Turing degrees below generics and randoms (Q2921026) (← links)
• 2010 North American Annual Meeting of the Association for Symbolic Logic (Q3083467) (← links)
• A 2-MINIMAL NON-GL₂ DEGREE (Q3094352) (← links)
• Reverse Mathematics: The Playground of Logic (Q3163663) (← links)
• Another note on the join property (Q5264185) (← links)
• A fixed point for the jump operator on structures (Q5300071) (← links)
• Domination, forcing, array nonrecursiveness and relative recursive enumerability (Q5388717) (← links)
• Local Definitions in Degree Structures: The Turing Jump, Hyperdegrees and Beyond (Q5421031) (← links)