\(r\)-maximal major subsets
From MaRDI portal
Publication:1248505
DOI10.1007/BF02761377zbMath0384.03025OpenAlexW2049442092MaRDI QIDQ1248505
Richard A. Shore, Manuel Lerman, Robert I. Soare
Publication date: 1978
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02761377
Logical aspects of lattices and related structures (03G10) Decidability of theories and sets of sentences (03B25) Recursively (computably) enumerable sets and degrees (03D25) Logical aspects of Boolean algebras (03G05)
Related Items
On the orbits of hyperhypersimple sets, A Decidable Fragment of the Elementary Theory of the Lattice of Recursively Enumerable Sets, Boolean algebras and orbits of the lattice of r.e sets modulo the finite sets, Major subsets of \(\alpha\)-recursively enumerable sets, Splitting properties and jump classes, Property of t-retraceability and automorphisms of the lattice of recursively enumerable sets, Densely simple sets with retraceable complements, Orbits of hyperhypersimple sets and the lattice of Σ03 sets, R.e. Prime powers and total rigidity, Recursively enumerable sets and degrees, The intervals of the lattice of recursively enumerable sets determined by major subsets, Definable Encodings in the Computably Enumerable Sets
Cites Work
- Unnamed Item
- Unnamed Item
- d-simple sets, small sets, and degree classes
- On some games which are relevant to the theory of recursively enumerable sets
- 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
- A Decidable Fragment of the Elementary Theory of the Lattice of Recursively Enumerable Sets
- Degrees of classes of RE sets
- Nowhere simple sets and the lattice of recursively enumerable sets
- On the Lattice of Recursively Enumerable Sets
- Classes of Recursively Enumerable Sets and Degrees of Unsolvability
- Degrees of recursively enumerable sets which have no maximal supersets
- A Dichotomy of the Recursively Enumerable Sets
- Some theorems on R-maximal sets and major subsets of recursively enumerable sets
- Recursive Enumerability and the Jump Operator
- Recursively enumerable sets of positive integers and their decision problems