Pages that link to "Item:Q4032865"

The following pages link to Non-finite-axiomatizability results in algebraic logic (Q4032865):

Displaying 28 items.

• Complexity of equational theory of relational algebras with standard projection elements (Q514569) (← links)
• Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
• Number of extensions of non-Fregean logics (Q815015) (← links)
• Algebraische Konsequenzen des Determiniertheits-Axioms. (Algebraic consequences of the Axiom of Determinacy) (Q1088655) (← links)
• Finite axiomatizability and theories with trivial algebraic closure (Q1183711) (← links)
• Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
• A non-compactness phenomenon in logics with hyperintensional predication (Q1264134) (← links)
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
• Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) (Q1981982) (← links)
• Representation results for non-cumulative logics (Q2148843) (← links)
• A brief history of Tarskian algebraic logic with new perspectives and innovations (Q2193424) (← links)
• A new hierarchy of infinitary logics in abstract algebraic logic (Q2363502) (← links)
• Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
• A Neat Embedding Theorem for Expansions of Cylindric Algebras (Q3442401) (← links)
• Non <i>Σ</i>_<i>n</i> axiomatizable almost strongly minimal theories (Q3475255) (← links)
• Weakly representable atom structures that are not strongly representable, with an application to first order logic (Q3506327) (← links)
• (Q3509050) (← links)
• Omitting types for algebraizable extensions of first order logic (Q3647239) (← links)
• (Q3741623) (← links)
• (Q4273424) (← links)
• Cylindric modal logic (Q4842635) (← links)
• A Completeness Result for Relation Algebra with Binders (Q4916210) (← 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)
• Yet some more non-finite axiomatizability results for algebras of relations and ways to avoid them (Q5350184) (← links)
• Inconsistency lemmas in algebraic logic (Q5396222) (← links)
• Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)
• Notions of representability for cylindric algebras: some algebras are more representable than others (Q6155552) (← links)