ON SOME PROPERTIES OF THE MEDVEDEV LATTICE
From MaRDI portal
Publication:4161309
DOI10.1070/SM1976v030n03ABEH002277zbMath0382.03028OpenAlexW2011026408MaRDI QIDQ4161309
Publication date: 1978
Published in: Mathematics of the USSR-Sbornik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1070/sm1976v030n03abeh002277
Logical aspects of lattices and related structures (03G10) Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30) Recursive equivalence types of sets and structures, isols (03D50) Higher-type and set recursion theory (03D65)
Related Items
On the structure of the Medvedev lattice, Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes, Intermediate logics and factors of the Medvedev lattice, The First Order Theories of the Medvedev and Muchnik Lattices, Topological aspects of the Medvedev lattice, Constructive logic and the Medvedev lattice, Coding true arithmetic in the Medvedev and Muchnik degrees
