scientific article; zbMATH DE number 3250567
From MaRDI portal
Publication:5537381
Cited in
(12)- Highness properties close to PA completeness
- Inside the Muchnik degrees. II: The degree structures induced by the arithmetical hierarchy of countably continuous functions
- Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism
- Degrees of unsolvability: a tutorial
- Natural factors of the Muchnik lattice capturing IPC
- Effectively closed mass problems and intuitionism
- Coding true arithmetic in the Medvedev degrees of ^0_1 classes
- Natural factors of the Medvedev lattice capturing IPC
- Generic Muchnik reducibility and presentations of fields
- Point Degree Spectra of Represented Spaces
- Kolmogorov's Calculus of Problems and its Legacy
- The Kleene-Post and Post's theorem in the calculus of inductive constructions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5537381)
