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