Pages that link to "Item:Q4724630"
From MaRDI portal
The following pages link to Cylindric-relativised set algebras have strong amalgamation (Q4724630):
Displaying 11 items.
- Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
- Epimorphisms in cylindric algebras and definability in finite variable logic (Q1047108) (← links)
- On varieties of cylindric algebras with applications to logic (Q1098852) (← links)
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- Atoms in infinite dimensional free sequence-set algebras (Q2328129) (← links)
- Guards, bounds, and generalized semantics (Q2567341) (← links)
- Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic (Q4236058) (← links)
- A FINITE AXIOMATIZATION OF LOCALLY SQUARE CYLINDRIC-RELATIVIZED SET ALGEBRAS (Q4780286) (← links)
- Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)
- On the networks of large embeddings (Q6579991) (← links)