Publication:5537381
From MaRDI portal
zbMath0156.01603MaRDI QIDQ5537381
Publication date: 1963
Related Items
Point Degree Spectra of Represented Spaces, Natural factors of the Muchnik lattice capturing IPC, Effectively closed mass problems and intuitionism, Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes, Natural factors of the Medvedev lattice capturing IPC, Generic Muchnik reducibility and presentations of fields, 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