Boolean algebras of elementary characteristic (1, 0, 1) with computable set of atoms and computable ideal of atomic elements (Q2898949)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Boolean algebras of elementary characteristic (1, 0, 1) with computable set of atoms and computable ideal of atomic elements |
scientific article |
Statements
Boolean algebras of elementary characteristic (1, 0, 1) with computable set of atoms and computable ideal of atomic elements (English)
0 references
13 July 2012
0 references
Boolean algebra
0 references
computable set
0 references
computable model
0 references
strongly computable model
0 references
\(n\)-computability
0 references
elementary characteristic of Boolean algebra
0 references
Ershov-Tarski ideal
0 references
Frechet ideal
0 references
