Pages that link to "Item:Q4813796"
From MaRDI portal
The following pages link to The ∀∃-theory of ℛ(≤,∨,∧) is undecidable (Q4813796):
Displaying 6 items.
- Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (Q409326) (← links)
- The \(\forall \exists \)-theory of the effectively closed Medvedev degrees is decidable (Q2655138) (← links)
- Extensions of embeddings below computably enumerable degrees (Q2838113) (← links)
- Degree Structures: Local and Global Investigations (Q3412461) (← links)
- (Q4601873) (← links)
- Lattice initial segments of the hyperdegrees (Q5190191) (← links)