Cylindric-relativised set algebras have strong amalgamation

DOI10.2307/2274323zbMath0616.03041OpenAlexW1986634635MaRDI QIDQ4724630

Istvan Németi

Publication date: 1985

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274323

zbMATH Keywords

Boolean algebras with operatorsstrong amalgamation propertycylindric-relativised set algebras

Mathematics Subject Classification ID

Structure theory of Boolean algebras (06E05) Cylindric and polyadic algebras; relation algebras (03G15) Products, amalgamated products, and other kinds of limits and colimits (08B25)

Related Items (9)

Bjarni Jónsson's contributions in algebra ⋮ On varieties of cylindric algebras with applications to logic ⋮ Neat embeddings, omitting types, and interpolation: an overview ⋮ Algebraic Logic, Where Does it Stand Today? ⋮ Modal languages and bounded fragments of predicate logic ⋮ Atoms in infinite dimensional free sequence-set algebras ⋮ Guards, bounds, and generalized semantics ⋮ Epimorphisms in cylindric algebras and definability in finite variable logic ⋮ Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic

Cites Work

• A classification of modal logics
• Freedom in polyadic algebras and two theorems of Beth and Craig
• Boolean Algebras with Operators. Part I

This page was built for publication: Cylindric-relativised set algebras have strong amalgamation