Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems (Q3525204)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems |
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