Pages that link to "Item:Q4204149"
From MaRDI portal
The following pages link to Nonfinite axiomatizability results for cylindric and relation algebras (Q4204149):
Displayed 34 items.
- Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras (Q271687) (← links)
- Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
- Łukasiewicz-Moisil relation algebras (Q817687) (← links)
- The calculus of relations as a foundation for mathematics (Q877838) (← links)
- On varieties of cylindric algebras with applications to logic (Q1098852) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Subsumption computed algebraically (Q1202639) (← links)
- Weakly representable but not representable relation algebras (Q1337158) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Subcompletions of representable relation algebras (Q1652851) (← links)
- A construction of cylindric and polyadic algebras from atomic relation algebras (Q1935018) (← links)
- Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) (Q1981982) (← links)
- Relation algebras of intervals (Q2171260) (← links)
- A brief history of Tarskian algebraic logic with new perspectives and innovations (Q2193424) (← links)
- Representations of distributive lattice-ordered semigroups with binary relations (Q2277499) (← links)
- Strongly representable atom structures of relation algebras (Q2781354) (← 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)
- Canonical Relativized Cylindric Set Algebras (Q3834044) (← links)
- Pair-Dense Relation Algebras (Q3985845) (← links)
- (Q4612556) (← 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)
- Tarskian Classical Relevant Logic (Q5027232) (← links)
- FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH (Q5100063) (← links)
- Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)
- Relation algebras from cylindric algebras. I (Q5956889) (← links)
- Relation algebras from cylindric algebras. II (Q5956890) (← links)
- Finite methods in 1-order formalisms (Q5957909) (← links)
- Omitting Types in Fragments and Extensions of First Order Logic (Q6043005) (← links)
- On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results (Q6043016) (← links)
- Seurat games on Stockmeyer graphs (Q6056811) (← links)
- Notions of representability for cylindric algebras: some algebras are more representable than others (Q6155552) (← links)