Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
1993 | 28 | 1 | 253-290

Tytuł artykułu

Lectures on cylindric set algebras

Autorzy

Treść / Zawartość

Warianty tytułu

Języki publikacji

EN

Abstrakty

Słowa kluczowe

Rocznik

Tom

28

Numer

1

Strony

253-290

Opis fizyczny

Daty

wydano
1993

Twórcy

  • 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
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.