- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Compact cylindric set algebras
Bulletin of the Section of Logic 14 (2):57-63 (1985)
Abstract
N´emeti remarked that the notion of compactness of cylindric of algebras corresponds to the notion of universality of models in logic [5]. The purpose of this paper is to formulate this correspondence in a purely algebraic settingMy notes
Similar books and articles
On universal algebraic logic and cylindric algebras.Hajnal Andréka & István Németi - 1978 - Bulletin of the Section of Logic 7 (4):152-158.
Isomorphic but not lower base-isomorphic cylindric set algebras.B. Biró & S. Shelah - 1988 - Journal of Symbolic Logic 53 (3):846-853.
On isomorphic but not lower-base-isomorphic cylindric set algebras.Balazs Biro - 1984 - Bulletin of the Section of Logic 13 (4):230-232.
Omitting types algebraically and more about amalgamation for modal cylindric algebras.Tarek Sayed Ahmed - 2021 - Mathematical Logic Quarterly 67 (3):295-312.
Weakly higher order cylindric algebras and finite axiomatization of the representables.I. Németi & A. Simon - 2009 - Studia Logica 91 (1):53 - 62.
Algebraic Logic, Where Does It Stand Today?Tarek Sayed Ahmed - 2005 - Bulletin of Symbolic Logic 11 (3):465-516.
The number of one-generated cylindric set algebras of dimension greater than two.Jean A. Larson - 1985 - Journal of Symbolic Logic 50 (1):59-71.
Relation algebras from cylindric algebras, I.Robin Hirsch & Ian Hodkinson - 2001 - Annals of Pure and Applied Logic 112 (2-3):225-266.
Measures on cylindric algebras.M. Ferenczi - 1982 - Bulletin of the Section of Logic 11 (3-4):142-149.
Nonfinite axiomatizability results for cylindric and relation algebras.Roger D. Maddux - 1989 - Journal of Symbolic Logic 54 (3):951-974.
Analytics
Added to PP
2013-10-30
Downloads
1 (#1,722,932)
6 months
1 (#1,912,481)
2013-10-30
Downloads
1 (#1,722,932)
6 months
1 (#1,912,481)
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Citations of this work
Complexity of equations valid in algebras of relations part I: Strong non-finitizability.Hajnal Andréka - 1997 - Annals of Pure and Applied Logic 89 (2):149-209.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-s5tms uwo