Pages that link to "Item:Q1377625"
From MaRDI portal
The following pages link to Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625):
Displayed 20 items.
- Bare canonicity of representable cylindric and polyadic algebras (Q387126) (← links)
- Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
- Some results about neat reducts (Q992010) (← 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)
- Cylindric algebras and finite polyadic algebras (Q1991591) (← links)
- Quasi-polyadic algebras and their dual position (Q2134280) (← links)
- A brief history of Tarskian algebraic logic with new perspectives and innovations (Q2193424) (← links)
- Strongly representable atom structures of relation algebras (Q2781354) (← links)
- Non-finitely axiomatisable two-dimensional modal logics (Q2915901) (← links)
- On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras (Q3170559) (← links)
- Strongly representable atom structures of cylindric algebras (Q3399179) (← links)
- On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality (Q3460522) (← 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)
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic (Q4995621) (← 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)
- Omitting types algebraically and more about amalgamation for modal cylindric algebras (Q6047710) (← links)