Freedom in polyadic algebras and two theorems of Beth and Craig

DOI10.1307/mmj/1028999084zbMath0171.25703OpenAlexW2031528919MaRDI QIDQ2531616

Aubert Daigneault

Publication date: 1964

Published in: Michigan Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1307/mmj/1028999084

zbMATH Keywords

algebraic logic, model theory

Related Items

Varying interpolation and amalgamation in polyadic MV-algebras ⋮ Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic ⋮ Amalgamation of Polyadic Algebras ⋮ Interpolation and amalgamation in modal cylindric algebras ⋮ Neat embeddings as adjoint situations ⋮ Cylindric-relativised set algebras have strong amalgamation ⋮ Amalgamation, congruence-extension, and interpolation properties in algebras ⋮ The class of polyadic algebras has the super amalgamation property ⋮ Triples for classes which are not varieties ⋮ Epimorphisms in cylindric algebras and definability in finite variable logic ⋮ Logical matrices and the amalgamation property