Model companions and <i>k</i>-model completeness for the complete theories of Boolean algebras (Q3889034)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Model companions and <i>k</i>-model completeness for the complete theories of Boolean algebras |
scientific article |
Statements
Model companions and <i>k</i>-model completeness for the complete theories of Boolean algebras (English)
0 references
1980
0 references
k-model completeness
0 references
model companions
0 references
complete theories of Boolean algebras
0 references
Ershov invariants
0 references
