scientific article

zbMath0489.03006MaRDI QIDQ3950541

Istvan Németi, Hajnalka Andréka

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

abstract hull-operatorunification of axiomatizability results of several model theories

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Equational categories (18C05) Equational classes, universal algebra in model theory (03C05) Ultraproducts and related constructions (03C20)

Related Items (11)

On the existence of free models in abstract algebraic institutions ⋮ Quasi-varieties in abstract algebraic institutions ⋮ Ultraproducts and possible worlds semantics in institutions ⋮ Category-based modularisation for equational logic programming ⋮ Herbrand theorems in arbitrary institutions ⋮ An introduction to category-based equational logic ⋮ Preservation in many-valued truth institutions ⋮ Equational axiomatizability for coalgebra ⋮ A semantic approach to interpolation ⋮ Some Co-Birkhoff Type Theorems ⋮ Implicit Partiality of Signature Morphisms in Institution Theory

This page was built for publication: