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 15 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)
- A new hierarchy of infinitary logics in abstract algebraic logic (Q2363502) (← links)
- Finding Finite Models in Multi-sorted First-Order Logic (Q2818025) (← 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)
- (Q4305492) (← links)
- (Q4443201) (← 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)
- Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words (Q6098157) (← links)
