Pages that link to "Item:Q5571689"

The following pages link to Nonfinitizability of classes of representable polyadic algebras (Q5571689):

Displaying 16 items.

• Bare canonicity of representable cylindric and polyadic algebras (Q387126) (← links)
• The relational model of data and cylindric algebras (Q761801) (← links)
• Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
• Notions of density that imply representability in algebraic logic (Q1295366) (← links)
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
• Complexity of equations valid in algebras of relations. II: Finite axiomatizations (Q1377626) (← links)
• A construction of cylindric and polyadic algebras from atomic relation algebras (Q1935018) (← links)
• Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations (Q2304538) (← links)
• On Satisfiability in ATL with Strategy Contexts (Q2915087) (← links)
• On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras (Q3170559) (← links)
• The Neat Embedding Problem and the Number of Variables Required in Proofs (Q3204457) (← links)
• Omitting types for algebraizable extensions of first order logic (Q3647239) (← links)
• Non-finite-axiomatizability results in algebraic logic (Q4032865) (← links)
• Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic (Q4995621) (← links)
• Varieties of Algebras without the Amalgamation Property (Q5256743) (← links)
• Provability with Finitely Many Variables (Q5619082) (← links)