Intervals of the Lattice of Computably Enumerable Sets and Effective Boolean Algebras (Q4354181)
From MaRDI portal
scientific article; zbMATH DE number 1060644
Language | Label | Description | Also known as |
---|---|---|---|
English | Intervals of the Lattice of Computably Enumerable Sets and Effective Boolean Algebras |
scientific article; zbMATH DE number 1060644 |
Statements
Intervals of the Lattice of Computably Enumerable Sets and Effective Boolean Algebras (English)
0 references
14 September 1997
0 references
intervals
0 references
lattice of computably enumerable sets
0 references
effective boolean algebras
0 references
invariance under automorphism
0 references
undecidability
0 references
ideal lattices
0 references
arithmetical index set
0 references