Intrinsically recursively enumerable subalgebras of a recursive Boolean algebra (Q2366358)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Intrinsically recursively enumerable subalgebras of a recursive Boolean algebra |
scientific article |
Statements
Intrinsically recursively enumerable subalgebras of a recursive Boolean algebra (English)
0 references
29 June 1993
0 references
We present a complete description of intrinsically recursively enumerable subalgebras admitting a recursive representation for an arbitrary recursive Boolean algebra.
0 references
intrinsically recursively enumerable subalgebras
0 references
recursive representation
0 references
recursive Boolean algebra
0 references
