Pages that link to "Item:Q1295366"
From MaRDI portal
The following pages link to Notions of density that imply representability in algebraic logic (Q1295366):
Displaying 11 items.
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Representable cylindric algebras (Q1821100) (← links)
- Quasi-polyadic algebras and their dual position (Q2134280) (← links)
- A brief history of Tarskian algebraic logic with new perspectives and innovations (Q2193424) (← links)
- The neat embedding problem for algebras other than cylindric algebras and for infinite dimensions (Q2921030) (← links)
- STONE SPACE OF CYLINDRIC ALGEBRAS AND TOPOLOGICAL MODEL SPACES (Q2976380) (← links)
- On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality (Q3460522) (← links)
- Rectangular games (Q4254698) (← links)
- A representation theorem for measurable relation algebras with cyclic groups (Q4633775) (← links)
- Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)
- Turning decision procedures into disprovers (Q5505144) (← links)