The following pages link to (Q4305492):
Displaying 12 items.
- Complexity of equational theory of relational algebras with standard projection elements (Q514569) (← links)
- Finite \(H\)-dimension does not imply expressive completeness (Q1337512) (← links)
- A clonoid based approach to some finiteness results in universal algebraic geometry (Q1987546) (← links)
- Epsilon-logic is more expressive than first-order logic over finite structures (Q2710605) (← links)
- On two classical results in the first order logic (Q3090754) (← links)
- Finitary Algebraic Logic (Q3809799) (← links)
- A finitary relational algebra for classical first order logic (Q3989924) (← links)
- Finite schematizable algebraic logic (Q4357323) (← links)
- (Q4360862) (← links)
- On the search for a finitizable algebraization of first order logic (Q4511602) (← links)
- (Q4950082) (← links)
- First-order logic on finite trees (Q5096727) (← links)
