scientific article; zbMATH DE number 3654115

MaRDI QIDQ3853624zbMATH OpenFDO

Authors István Németi, Hajnal Andréka

Publication date 1978

zbMATH Keywords

algebraic version of higher order logicscategory of all first order theories and interpretations between theoriesdynamic algebrasmodal-cylindric algebrasmodel theoryneat reductsregular cylindric algebrasrepresentation of cylindric algebrassubstitution algebrasultraproductsuniversal algebraic logicvarieties

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Ultraproducts and related constructions (03C20) Cylindric and polyadic algebras; relation algebras (03G15) Other algebras related to logic (03G25) Categorical logic, topoi (03G30) Varieties (08B99) Categories of algebras (08C05)

Cited in

(1)

• On representability of neatly embeddable cylindric algebras

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3853624)