Pages that link to "Item:Q1170185"

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 28 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)