Pages that link to "Item:Q1005971"
From MaRDI portal
The following pages link to Weakly higher order cylindric algebras and finite axiomatization of the representables (Q1005971):
Displayed 6 items.
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs (Q450159) (← links)
- Complexity of equational theory of relational algebras with standard projection elements (Q514569) (← links)
- Non-standard stochastics with a first order algebraization (Q993498) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- A short proof of representability of fork algebras (Q1389659) (← links)
- On the algebraization of Henkin‐type second‐order logic (Q6094141) (← links)