Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\) (Q2342305)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\) |
scientific article |
Statements
Strong constructivizability of Boolean algebras of elementary characteristic \((\infty, 0, 0)\) (English)
0 references
11 May 2015
0 references
Boolean algebra
0 references
computable model
0 references
ideals of Boolean algebra
0 references
0 references
