Pages that link to "Item:Q1170185"
From MaRDI portal
The following pages link to Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti (Q1170185):
Displayed 29 items.
- New perspectives in algebraic logic, from neat embeddings to Erdős graphs (Q450159) (← links)
- Probabilities defined on standard and non-standard cylindric set algebras (Q514552) (← links)
- Lambda abstraction algebras: representation theorems (Q674002) (← links)
- The relational model of data and cylindric algebras (Q761801) (← links)
- Cardinality and cofinality of homomorphs of products of Boolean algebras (Q798347) (← links)
- Relation algebras: Concept of points and representability (Q1063597) (← links)
- On varieties of cylindric algebras with applications to logic (Q1098852) (← links)
- Enlargements of functional algebras for the lambda calculus (Q1129261) (← links)
- Every free algebra in the variety generated by the representable dynamic algebras is separable and representable (Q1167197) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- A finite equational axiomatization of the functional algebras for the lambda calculus (Q1283777) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- On the algebraic models of lambda calculus (Q1583488) (← links)
- A unifying theorem for algebraic semantics and dynamic logics (Q1821095) (← links)
- Representable cylindric algebras (Q1821100) (← links)
- Elementary generation and canonicity for varieties of Boolean algebras with operators (Q1906001) (← links)
- A brief history of Tarskian algebraic logic with new perspectives and innovations (Q2193424) (← links)
- Representations of polyadic-like equality algebras (Q2634710) (← links)
- A note on neat reducts (Q2642524) (← links)
- Reconciling First-Order Logic to Algebra (Q3305345) (← links)
- Leon Henkin and Cylindric Algebras (Q3454804) (← links)
- Leon Henkin the Reviewer (Q3454809) (← links)
- (Q3669604) (← links)
- (Q3820776) (← links)
- Freeing Structural Realism from Model Theory (Q5015979) (← links)
- How many varieties of cylindric algebras are there (Q5367105) (← links)
- Soft constraint automata with memory (Q5918138) (← links)
- Cylindric structures and dependencies in relational databases (Q5958623) (← links)
- Applied neat reducts on some classes of algebras (Q6067741) (← links)