Pages that link to "Item:Q4357323"
From MaRDI portal
The following pages link to Finite schematizable algebraic logic (Q4357323):
Displaying 15 items.
- Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← 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 nonaxiomatizability of some logics by finitely many schemas (Q1820771) (← links)
- Finite sum-product logic (Q2707132) (← links)
- A Neat Embedding Theorem for Expansions of Cylindric Algebras (Q3442401) (← 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)
- Finitary Algebraic Logic (Q3809799) (← links)
- (Q4273424) (← links)
- On the search for a finitizable algebraization of first order logic (Q4511602) (← links)
- Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini (Q4704650) (← links)
- Varieties of Algebras without the Amalgamation Property (Q5256743) (← links)
- How many varieties of cylindric algebras are there (Q5367105) (← links)
- Omitting types for finite variable fragments and complete representations of algebras (Q5387302) (← links)
