The intervals of the lattice of recursively enumerable sets determined by major subsets

DOI10.1016/0168-0072(83)90031-3zbMath0538.03037OpenAlexW2093944354MaRDI QIDQ793018

Wolfgang Maass, Michael Stob

Publication date: 1983

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(83)90031-3

zbMATH Keywords

lattice of recursively enumerable setsmajor subset

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25)

Related Items

Duality, non-standard elements, and dynamic properties of r.e. sets ⋮ Variations on promptly simple sets ⋮ THE ∀∃ THEORY OF PEANO Σ₁ SENTENCES ⋮ Diagonals and -maximal sets ⋮ Property of t-retraceability and automorphisms of the lattice of recursively enumerable sets ⋮ Atomless \(r\)-maximal sets ⋮ The Complexity of Orbits of Computably Enumerable Sets ⋮ Automorphisms of the lattice of recursively enumerable sets: Orbits ⋮ Densely simple sets with retraceable complements ⋮ Computably enumerable sets and related issues ⋮ -MAXIMAL SETS ⋮ Orbits of computably enumerable sets: Low sets can avoid an upper cone ⋮ Effectively dense Boolean algebras and their applications ⋮ Splitting theorems in recursion theory ⋮ Definable incompleteness and Friedberg splittings

Cites Work

• Invariance of properties under automorphisms of the lattice of recursively enumerable sets
• \(r\)-maximal major subsets
• The elementary theory of recursively enumerable sets
• Automorphisms of the lattice of recursively enumerable sets. I: Maximal sets
• Automorphisms of the lattice of recursively enumerable sets. Part II: Low sets
• Characterization of Recursively Enumerable Sets with Supersets Effectively Isomorphic to all Recursively Enumerable Sets
• On the Lattice of Recursively Enumerable Sets