Pages that link to "Item:Q1377625"

The following pages link to Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625):

Displayed 10 items.

• Neat embeddings, omitting types, and interpolation: an overview (Q558739) ‎ (← links)
• Epimorphisms in cylindric algebras and definability in finite variable logic (Q1047108) ‎ (← links)
• Complexity of equations valid in algebras of relations. II: Finite axiomatizations (Q1377626) ‎ (← links)
• Strongly representable atom structures of relation algebras (Q2781354) ‎ (← links)
• Strongly representable atom structures of cylindric algebras (Q3399179) ‎ (← links)
• Omitting types for algebraizable extensions of first order logic (Q3647239) ‎ (← links)
• Relation algebra reducts of cylindric algebras and an application to proof theory (Q4532609) ‎ (← links)
• Algebraic Logic, Where Does it Stand Today? (Q5472642) ‎ (← links)
• Relation algebras from cylindric algebras. II (Q5956890) ‎ (← links)
• Cylindric structures and dependencies in relational databases (Q5958623) ‎ (← links)