scientific article
zbMath0421.03047MaRDI QIDQ3853624
Istvan Németi, Hajnalka Andréka
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
model theoryvarietiesdynamic algebrasneat reductssubstitution algebrasultraproductsuniversal algebraic logicalgebraic version of higher order logicscategory of all first order theories and interpretations between theoriesmodal-cylindric algebrasregular cylindric algebrasrepresentation of cylindric algebras
Categorical logic, topoi (03G30) Other algebras related to logic (03G25) Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15) Categories of algebras (08C05) Varieties (08B99) Ultraproducts and related constructions (03C20)
Related Items (1)
This page was built for publication:
