Universal algebra in higher types

https://doi.org/10.1016/0304-3975(92)90310-CGet rights and content
Under an Elsevier user license
open archive

Abstract

We develop the elementary theory of higher-order universal algebra using the nonstandard approach to finite type theory introduced by Henkin. Basic results include: existence theorems for free and initial higher type algebras, a complete higher type equational calculus, and characterisation theorems for higher type equational and Horn classes.

Cited by (0)