The following pages link to (Q4273476):
Displaying 7 items.
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Elements of cylindric algebraic model theory (Q2853716) (← links)
- (Q2996969) (← links)
- Saturatedness in cylindric algebraic model theory (Q4340927) (← links)
- An introduction to cylindric set algebras (Q4511601) (← links)
- On the algebraization of Henkin‐type second‐order logic (Q6094141) (← links)