Pages that link to "Item:Q2893281"
From MaRDI portal
The following pages link to A Survey of Mučnik and Medvedev Degrees (Q2893281):
Displayed 12 items.
- Natural factors of the Muchnik lattice capturing IPC (Q385809) (← links)
- Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (Q409326) (← links)
- Natural factors of the Medvedev lattice capturing IPC (Q481874) (← links)
- First-order logic in the Medvedev lattice (Q897478) (← links)
- Highness properties close to PA completeness (Q2055279) (← links)
- Comparing the degrees of enumerability and the closed Medvedev degrees (Q2312080) (← links)
- Inside the Muchnik degrees. II: The degree structures induced by the arithmetical hierarchy of countably continuous functions (Q2442153) (← links)
- Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism (Q2637708) (← links)
- Completeness, Compactness, Effective Dimensions (Q4928970) (← links)
- Computability of Subsets of Metric Spaces (Q5024568) (← links)
- RANDOMNESS NOTIONS AND REVERSE MATHEMATICS (Q5107230) (← links)
- (Q5376658) (← links)