PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
1993 | 28 | 1 | 327-342
Tytuł artykułu

Complete description of substitutions in cylindric algebras and other algebraic logics

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
Słowa kluczowe
Rocznik
Tom
28
Numer
1
Strony
327-342
Opis fizyczny
Daty
wydano
1993
Twórcy
  • c/o Department of Algebraic Logic, Mathematical Institute of the Hungarian Academy of Sciences, Budapest, P.O. Box 127, H-1364, Hungary
Bibliografia
  • [A] H. Andréka, A combinatorial proof for the celebrated Resek-Thompson theorem, preprint, Math. Inst. Hungar. Acad. Sci., 1986.
  • [ANS] H. Andréka, I. Németi and I. Sain, Algebraic Logic, Lecture Notes of Logic Graduate School, Budapest 1991, 139 pp. Shortened version is [N91].
  • [AT] H. Andréka and R. J. Thompson, A Stone-type representation theorem for algebras of relations of higher rank, Trans. Amer. Math. Soc. 309 (2) (1988), 671-682.
  • [CP] A. H. Clifford and G. B. Preston, The Algebraic Theory of Semigroups, Vol. I, Amer. Math. Soc., Providence, RI, 1961.
  • [HMT] L. Henkin, J. D. Monk and A. Tarski, Cylindric Algebras, Part I, North-Holland, Amsterdam 1971.
  • [HMT II] L. Henkin, J. D. Monk and A. Tarski, Cylindric Algebras, Part II, North-Holland, Amsterdam 1985.
  • [H] J. M. Howie, Idempotent generators in finite full transformation semigroups, Proc. Royal Soc. Edinburgh 81A (1978), 317-323.
  • [J] B. Jónsson, Defining relations for full semigroups of finite transformations, Michigan Math. J. 9 (1962), 77-85.
  • [N] I. Németi, Free algebras and decidability in algebraic logic, dissertation (B) for D.Sc. with Hungar. Acad. Sci., Budapest 1986 (in Hungarian. An abstract in English is available from the author).
  • [N88] I. Németi, On cylindric algebraic model theory, in: Algebraic Logic and Universal Algebra in Computer Science (Proc. Conf. Ames 1988), Lecture Notes in Comput. Sci. 425, Springer, 1990, 37-75.
  • [N91] I. Németi, Algebraizations of Quantifier Logics, An Introductory Overview, Studia Logica 50 (3/4) (1991), Special Volume Dedicated to Algebraic Logic, W. J. Blok and D. Pigozzi (eds.), 485-569. An extended and regularly updated version is available from I. Németi.
  • [RT] D. Resek and R. J. Thompson, Characterizing relativized cylindric algebras, in: Algebraic Logic (Proc. Conf. Budapest 1988), H. Andréka, J. D. Monk and I. Németi (eds.), Colloq. Math. Soc. J. Bolyai 54, North-Holland, Amsterdam 1991, 519-538.
  • [S] I. Sain, Searching for a finitizable algebraization of first order logic, preprint No. 53/1987, Math. Inst. Hungar. Acad. Sci., 1987, 78 pp.
  • [ST] I. Sain and R. J. Thompson, Strictly finite schema axiomatization of quasi-polyadic algebras, in: Algebraic Logic (Proc. Conf. Budapest 1988), H. Andréka, J. D. Monk and I. Németi (eds.), Colloq. Math. Soc. J. Bolyai 54, North-Holland, Amsterdam 1991, 539-571.
  • [Sh] È. G. Shutov, Homomorphisms of the semigroup of all near-identity mappings, Izv. Vyssh. Uchebn. Zaved. Mat. 1963 (2), 176-180 (in Russian).
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-bcpv28z1p327bwm
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ć.