scientific article
From MaRDI portal
Publication:4011731
zbMath0751.03033MaRDI QIDQ4011731
Richard J. Thompson, Ildikó Sain
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
quasipolyadic algebrasfinite axiomatizabilityfinitary polyadic algebrasfinitary polyadic equality algebrasPinter's quantifier algebra
Related Items (19)
Quasi-polyadic algebras and their dual position ⋮ On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras ⋮ A note on neat reducts ⋮ THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Varying interpolation and amalgamation in polyadic MV-algebras ⋮ How many varieties of cylindric algebras are there ⋮ Finitary polyadic algebras from cylindric algebras ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Cylindric algebras and finite polyadic algebras ⋮ Existence of partial transposition means representability in cylindric algebras ⋮ The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable ⋮ A note on substitutions in representable cylindric algebras ⋮ Modal languages and bounded fragments of predicate logic ⋮ Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic ⋮ The polyadic generalization of the Boolean axiomatization of fields of sets ⋮ Notions of density that imply representability in algebraic logic ⋮ Epimorphisms in cylindric algebras and definability in finite variable logic ⋮ On amalgamation in algebras of logic
Uses Software
This page was built for publication:
