Automorphisms of the lattice of recursively enumerable sets (Q4326223)
From MaRDI portal
scientific article; zbMATH DE number 734602
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automorphisms of the lattice of recursively enumerable sets |
scientific article; zbMATH DE number 734602 |
Statements
Automorphisms of the lattice of recursively enumerable sets (English)
0 references
11 April 1995
0 references
lattice of recursively enumerable sets
0 references
high extension theorems
0 references
automorphism
0 references
principal filters
0 references
