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