The following pages link to (Q2853715):
Displayed 9 items.
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs (Q450159) (← links)
- The class of completely representable polyadic algebras of infinite dimensions is elementary (Q485109) (← links)
- Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) (Q1981982) (← links)
- A brief history of Tarskian algebraic logic with new perspectives and innovations (Q2193424) (← links)
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic (Q4995621) (← links)
- Omitting Types in Fragments and Extensions of First Order Logic (Q6043005) (← links)
- Omitting types algebraically and more about amalgamation for modal cylindric algebras (Q6047710) (← links)
- Notions of representability for cylindric algebras: some algebras are more representable than others (Q6155552) (← links)
- Complete Representations and Neat Embeddings (Q6200452) (← links)