Pages that link to "Item:Q5956890"

The following pages link to Relation algebras from cylindric algebras. II (Q5956890):

Displaying 20 items.

• Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
• A relation algebra which is not a cylindric reduct (Q911588) (← links)
• Connections between quasi-projective relation algebras and cylindric algebras (Q997116) (← links)
• Weakly higher order cylindric algebras and finite axiomatization of the representables (Q1005971) (← links)
• A non-axiomatizability result in algebraic logic (Q1180697) (← links)
• Axiomatizability of reducts of algebras of relations (Q1866804) (← links)
• A construction of cylindric and polyadic algebras from atomic relation algebras (Q1935018) (← links)
• On the finite axiomatizability of the visibility relation over radars (Q2822172) (← links)
• On finite axiomatizability of expansions of cylindric algebras (Q2889954) (← links)
• POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS (Q3006000) (← links)
• (Q3067980) (← links)
• (Q3618753) (← links)
• (Q4329278) (← links)
• A modeltheoretic solution to a problem of Tarski (Q4530145) (← links)
• FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH (Q5100063) (← links)
• Relation algebra reducts of cylindric algebras and complete representations (Q5294031) (← links)
• Omitting types for finite variable fragments and complete representations of algebras (Q5387302) (← links)
• Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)
• Relation algebras from cylindric algebras. I (Q5956889) (← links)
• Seurat games on Stockmeyer graphs (Q6056811) (← links)