Finite schematizable algebraic logic (Q4357323)
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: Finite schematizable algebraic logic |
scientific article; zbMATH DE number 1066122
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Finite schematizable algebraic logic |
scientific article; zbMATH DE number 1066122 |
Statements
Finite schematizable algebraic logic (English)
0 references
25 September 1997
0 references
non-axiomatizability
0 references
finite schema
0 references
representable cylindric algebras
0 references
finite schema axiomatizable classes of algebras
0 references
representable quasi-polyadic algebras
0 references
finitary algebraization of first order logic
0 references
0.8459798693656921
0 references
