No label defined (Q4936685)
From MaRDI portal
scientific article; zbMATH DE number 1396733
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1396733 |
Statements
31 January 2000
0 references
recursive Boolean algebra
0 references
constructive model
0 references
recursive model
0 references
arithmetical hierarchy
0 references
Ershov-Tarski ideals
0 references
constructive Boolean algebras
0 references
constructivizations
0 references
dense Boolean algebras
0 references
