Topological aspects of the Medvedev lattice

DOI10.1007/S00153-010-0215-6MaRDI QIDQ535142zbMATH OpenOpenAlexFDO

Authors Andrew E. M. Lewis, Richard A. Shore, Andrea Sorbi

Publication date 11 May 2011

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-010-0215-6

zbMATH Keywords

Cantor spaceBaire spaceBrouwer algebraMedvedev degreesMedvedev latticeMedvedev reducibility

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30)

Recommendations

• A Note on Closed Degrees of Difficulty of the Medvedev Lattice
• On some filters and ideals of the Medvedev lattice
• Effectively closed mass problems and intuitionism
• On the structure of the Medvedev lattice
• scientific article; zbMATH DE number 841094

Cites work

• scientific article; zbMATH DE number 3861137 (Why is no real title available?)
• scientific article; zbMATH DE number 4059356 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• A Note on Closed Degrees of Difficulty of the Medvedev Lattice
• Characterizing the join-irreducible Medvedev degrees
• Embedding Brouwer algebra in the Medvedev lattice
• Intermediate logics and factors of the Medvedev lattice
• Mass problems and intuitionism
• ON SOME PROPERTIES OF THE MEDVEDEV LATTICE
• On some filters and ideals of the Medvedev lattice
• On the structure of the Medvedev lattice
• Partial degrees of immune and hyperimmune sets
• Shorter Notes: A Note on the Cardinality of the Medvedev Lattice
• The Medvedev lattice of computably closed sets

Cited in

(9)

• Characterizing the join-irreducible Medvedev degrees
• Inside the Muchnik degrees. II: The degree structures induced by the arithmetical hierarchy of countably continuous functions
• The Medvedev lattice of computably closed sets
• Coding true arithmetic in the Medvedev degrees of ^0_1 classes
• On some filters and ideals of the Medvedev lattice
• Mass problems and density
• Some remarks on the algebraic structure of the Medvedev Lattice
• Comparing the degrees of enumerability and the closed Medvedev degrees
• Classifying the branching degrees in the Medvedev lattice of \(\Pi^0_1\) classes

This page was built for publication: Topological aspects of the Medvedev lattice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q535142)