Pages that link to "Item:Q4511602"
From MaRDI portal
The following pages link to On the search for a finitizable algebraization of first order logic (Q4511602):
Displaying 10 items.
- Complexity of equational theory of relational algebras with standard projection elements (Q514569) (← links)
- Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
- Epimorphisms in cylindric algebras and definability in finite variable logic (Q1047108) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← 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)
- A Completeness Result for Relation Algebra with Binders (Q4916210) (← 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)
