Pages that link to "Item:Q3460522"

The following pages link to On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality (Q3460522):

Displaying 8 items.

• Complexity of equational theory of relational algebras with standard projection elements (Q514569) (← links)
• Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) (Q1981982) (← links)
• A brief history of Tarskian algebraic logic with new perspectives and innovations (Q2193424) (← links)
• Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic (Q4995621) (← links)
• Blow Up and Blur Constructions in Algebraic Logic (Q5015978) (← links)
• Omitting types algebraically and more about amalgamation for modal cylindric algebras (Q6047710) (← links)
• Notions of representability for cylindric algebras: some algebras are more representable than others (Q6155552) (← links)
• A solution to the finitizability problem for quantifier logics with equality (Q6259534) (← links)