Cylindric Algebras
Amsterdam,North-Holland Pub. Co. (1971)
| Abstract | Volume I provides a detailed analysis of cylindric algebras, starting with a formulation of their axioms and a development of their elementary properties, and proceeding to a deeper study of their interrelationships by means of general algebraic notions such as subalgebras, homomorphisms, direct products, free algebras, reducts and relativized algebras. | |||||||||
| Keywords | Cylindric algebras | |||||||||
| Categories | ||||||||||
| Buy the book | $146.54 new (16% off) $162.82 direct from Amazon (6% off) Amazon page | |||||||||
| Call number | QA9.H415 | |||||||||
| ISBN(s) | 0720420431 0444876790 9780444876799 0080887589 9780080887586 | |||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
|
| Through your library | Configure |
Tarek Sayed Ahmed (2007). A Note on Neat Reducts. Studia Logica 85 (2):139 - 151.
Maarten De Rijke & Yde Venema (1995). Sahlqvist's Theorem for Boolean Algebras with Operators with an Application to Cylindric Algebras. Studia Logica 54 (1):61 - 78.
Tarek Sayed Ahmed (2008). On Complete Representations of Reducts of Polyadic Algebras. Studia Logica 89 (3):325 - 332.
Yde Venema (1995). Cylindric Modal Logic. Journal of Symbolic Logic 60 (2):591-623.
B. Biró & S. Shelah (1988). Isomorphic but Not Lower Base-Isomorphic Cylindric Set Algebras. Journal of Symbolic Logic 53 (3):846-853.
Robin Hirsch, Ian Hodkinson & Roger D. Maddux (2002). Relation Algebra Reducts of Cylindric Algebras and an Application to Proof Theory. Journal of Symbolic Logic 67 (1):197-213.
I. Németi & A. Simon (2009). Weakly Higher Order Cylindric Algebras and Finite Axiomatization of the Representables. Studia Logica 91 (1):53 - 62.
Tarek Sayed Ahmed & Istvan Németi (2001). On Neat Reducts of Algebras of Logic. Studia Logica 68 (2):229-262.
Jean A. Larson (1985). The Number of One-Generated Cylindric Set Algebras of Dimension Greater Than Two. Journal of Symbolic Logic 50 (1):59-71.
Roger D. Maddux (1989). Nonfinite Axiomatizability Results for Cylindric and Relation Algebras. Journal of Symbolic Logic 54 (3):951-974.
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #201,930 of 549,088 )Recent downloads (6 months)2 ( #37,333 of 549,088 )How can I increase my downloads? |

