Pages that link to "Item:Q1047108"
From MaRDI portal
The following pages link to Epimorphisms in cylindric algebras and definability in finite variable logic (Q1047108):
Displaying 11 items.
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs (Q450159) (← links)
- Neat embeddings, omitting types, and interpolation: an overview (Q558739) (← links)
- Some results about neat reducts (Q992010) (← 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)
- The polyadic generalization of the Boolean axiomatization of fields of sets (Q3116577) (← links)
- On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras (Q3170559) (← links)
- DISTANCES BETWEEN FORMAL THEORIES (Q5117596) (← links)
- TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY (Q5159499) (← links)
- Finite-Variable Logics Do Not Have Weak Beth Definability Property (Q5350328) (← links)
- How many varieties of cylindric algebras are there (Q5367105) (← links)
