Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems (Q3525204)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems |
scientific article |
Statements
Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems (English)
0 references
11 September 2008
0 references
\(\kappa \)-filtered direct product
0 references
\(\kappa \)-filtered intersection
0 references
Lyndon classes
0 references
quasivarieties
0 references
subdirect product
0 references
upward \(\kappa \)-directed poset
0 references
union of directed systems
0 references
