Czasopismo
Tytuł artykułu
Autorzy
Warianty tytułu
Języki publikacji
Abstrakty
Słowa kluczowe
Czasopismo
Rocznik
Tom
Numer
Strony
253-290
Opis fizyczny
Daty
wydano
1993
Twórcy
autor
- Department of Mathematics, University of Colorado, Campus Box 395, Boulder, Colorado 80309, U.S.A.
Bibliografia
- [1] H. Andréka, Complexity of equations valid in algebras of relations, thesis for D.Sc., Hungar. Acad. Sci., 1991, 102 pp.
- [2] C. C. Chang and H. J. Keisler, Model Theory, North-Holland, 1991.
- [3] W. Comfort and S. Negrepontis, The Theory of Ultrafilters, Springer, 1974.
- [4] L. Henkin, J. D. Monk and A. Tarski, Cylindric Algebras, Part I, with an introductory chapter: General theory of algebras, North-Holland, 1971.
- [5] L. Henkin, J. D. Monk and A. Tarski, Cylindric Algebras, Part II, North-Holland, 1985.
- [6] L. Henkin, J. D. Monk, A. Tarski, H. Andréka and I. Németi, Cylindric Set Algebras, Lecture Notes in Math. 883, Springer, 1981.
- [7] J. D. Monk (ed.), Handbook of Boolean Algebras, North-Holland, 1989.
- [8] D. Resek and R. J. Thompson, Characterizing relativized cylindric algebras, in: Proc. 1988 Algebraic Logic Conf. Budapest, Colloq. Math. Soc. János Bolyai 54, North-Holland, Amsterdam 1991, 519-538.
- [9] I. Sain, Concerning some cylindric algebra versions of the downward Löwenheim-Skolem theorem, Notre Dame J. Formal Logic 29 (3) (1988), 332-344.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-bcpv28z1p253bwm