The following pages link to Amalgamation of Polyadic Algebras (Q5598336):
Displayed 4 items.
- A representation theorem for polyadic Heyting algebras (Q585199) (← links)
- Epimorphisms in cylindric algebras and definability in finite variable logic (Q1047108) (← links)
- Algebraic analysis of the logic with the quantifier ''there exist uncountably many'' (Q1076011) (← links)
- Amalgamation of Polyadic Algebras (Q5598336) (← links)