Pages that link to "Item:Q1921269"
From MaRDI portal
The following pages link to The decidability of the existential theory of the poset of recursively enumerable degrees with jump relations (Q1921269):
Displaying 9 items.
- Weak density and cupping in the d-r.e. degrees (Q582288) (← links)
- Decidability of the AE-theory of the lattice of \({\Pi}_1^0\) classes (Q1745361) (← links)
- Nonbounding and Slaman triples (Q1919544) (← links)
- The \(\forall \exists \)-theory of the effectively closed Medvedev degrees is decidable (Q2655138) (← links)
- An almost deep degree (Q2747726) (← links)
- (Q3333034) (← links)
- Degree Structures: Local and Global Investigations (Q3412461) (← links)
- Embedding jump upper semilattices into the Turing degrees (Q4650267) (← links)
- (Q4993819) (← links)