A completeness theorem for higher order logics (Q4508267)
From MaRDI portal
scientific article; zbMATH DE number 1512484
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A completeness theorem for higher order logics |
scientific article; zbMATH DE number 1512484 |
Statements
A completeness theorem for higher order logics (English)
0 references
3 October 2000
0 references
representable directed cylindric algebras
0 references
finitely axiomatizable variety
0 references
representation theorem
0 references
non-well-founded set theory
0 references
