Initial segments of the lattice of Π10 classes

DOI10.2307/2694972zbMath1003.03042OpenAlexW2041829356MaRDI QIDQ4328831

Douglas Cenzer, André Nies

Publication date: 22 July 2002

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2694972

zbMATH Keywords

finite latticesrecursion theory\(\Pi^0_1\) classesembedding initial segmentsinclusion structure

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Theory of numerations, effectively presented structures (03D45) Hierarchies of computability and definability (03D55)

Related Items (1)

Immunity for Closed Sets

Cites Work

• Maximal theories
• Countable thin \(\Pi^0_1\) classes
• Lattice-theoretic decision problems in universal algebra
• Intervals of the Lattice of Computably Enumerable Sets and Effective Boolean Algebras
• Effectively dense Boolean algebras and their applications

This page was built for publication: Initial segments of the lattice of Π₁⁰ classes