The following pages link to (Q5848894):
Displaying 25 items.
- Natural factors of the Muchnik lattice capturing IPC (Q385809) (← links)
- Basic subtoposes of the effective topos (Q387125) (← links)
- Effectively closed mass problems and intuitionism (Q408163) (← 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)
- Some theorems on the algorithmic approach to probability theory and information theory (1971 dissertation directed by A. N. Kolmogorov) (Q638490) (← links)
- First-order logic in the Medvedev lattice (Q897478) (← links)
- Intermediate logics and factors of the Medvedev lattice (Q952483) (← links)
- Sets of generator and automorphism bases for the enumeration degrees (Q1295393) (← links)
- Quasi-minimal enumeration degrees and minimal Turing degrees (Q1568759) (← 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)
- C-quasi-minimal enumeration degrees below \(\mathbf c'\) (Q2491075) (← links)
- Constructive logic and the Medvedev lattice (Q2505132) (← links)
- Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism (Q2637708) (← links)
- Degrees of Unsolvability: A Tutorial (Q3195683) (← links)
- Conservatively Approximable Functions (Q3455861) (← links)
- Medvedev Degrees of Generalized R.E. separating Classes (Q4921443) (← links)
- A COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES (Q5021923) (← links)
- (Q5228543) (← links)
- WEIHRAUCH GOES BROUWERIAN (Q5858925) (← links)
- Point Degree Spectra of Represented Spaces (Q5864311) (← links)
- (Q5866336) (← links)
- PA RELATIVE TO AN ENUMERATION ORACLE (Q6180605) (← links)