PL EN


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

What the finitization problem is not

Autorzy
Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
Słowa kluczowe
Rocznik
Tom
28
Numer
1
Strony
95-116
Opis fizyczny
Daty
wydano
1993
Twórcy
autor
  • Mathematical Institute of the Hungarian Academy of Sciences, P.O. Box 127, Budapest, H-1364, Hungary
Bibliografia
  • [A91] H. Andréka, Complexity of the equations valid in algebras of relations, thesis for D.Sc. (a post-habilitation degree), Hungar. Acad. Sci., Budapest 1991.
  • [AMN] H. Andréka, J. D. Monk and I. Németi (eds.), Algebraic Logic (Proc. Conf. Budapest 1988), Colloq. Math. Soc. János Bolyai 54, North-Holland, Amsterdam 1991.
  • [ANS] H. Andréka, I. Németi and I. Sain, Abstract model-theoretic approach to algebraic logic, manuscript, 1984.
  • [BF] J. Barwise and S. Feferman (eds.), Model-Theoretic Logics, Springer, Berlin 1985.
  • [BMP] C. H. Bergman, R. D. Maddux and D. L. Pigozzi (eds.), Algebraic Logic and Universal Algebra in Computer Science, Lecture Notes in Comput. Sci. 425, Springer, Berlin 1990.
  • [BP] W. J. Blok and D. Pigozzi, Algebraizable logics, Mem. Amer. Math. Soc. 396 (1989).
  • [B86] P. Burmeister, A model-theoretic oriented approach to partial algebras, Akademie-Verlag, Berlin 1986.
  • [BS] S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Springer, New York 1981.
  • [CV] W. Craig and R. L. Vaught, Finite axiomatizability using additional predicates, J. Symbolic Logic 23 (3) (1958), 289-308.
  • [D] M. Davis, Unsolvable Problems, in: Handbook of Mathematical Logic, J. Barwise (ed.), North-Holland, Amsterdam 1977, 567-594.
  • [H] L. Henkin, The representation theorem for cylindric algebras, in: Mathematical Interpretations of Formal Systems, North-Holland, Amsterdam 1955, 85-97.
  • [HM] L. Henkin and J. D. Monk, Cylindric algebras and related structures, in: Proceedings of the Tarski Symposium, Amer. Math. Soc., 1974, 105-121.
  • [HMT] L. Henkin, J. D. Monk and A. Tarski, Cylindric Algebras, Parts I, II, North-Holland, Amsterdam 1971, 1985.
  • [M] R. Maddux, Finitary algebraic logic, Z. Math. Logik Grundlag. Math. 35 (1989), 321-332.
  • [M70] J. D. Monk, On an algebra of sets of finite sequences, J. Symbolic Logic 35 (1970), 19-28.
  • [MLn] J. D. Monk, Lectures on cylindric set algebras, this volume.
  • [N89] I. Németi, On cylindric algebraic model theory, in [BMP], 37-75.
  • [N91] I. Németi, Algebraization of quantifier logics: an introductory overview, Studia Logica 4 (1991), in press.
  • [S87] I. Sain, Searching for a finitizable algebraization of first order logic, submitted, 1987.
  • [S87a] I. Sain, Positive results related to the Jónsson, Tarski-Givant representation problem, preprint, Math. Inst. Hungar. Acad. Sci., Oct. 1987.
  • [ST] I. Sain and R. J. Thompson, Strictly finite schema axiomatization of quasi-polyadic algebras, in [AMN], 539-571.
  • [S90] A. Simon, A complete calculus for type-free logic and representable cylindric algebras, preprint, Math. Inst. Hungar. Acad. Sci.
  • [S91] A. Simon, Finite schema completeness for typeless logic and representable cylindric algebras, in [AMN], 665-670.
  • [TG] A. Tarski and S. Givant, A Formalization of Set Theory without Variables, Colloq. Publ. 41, Amer. Math. Soc., 1986.
  • [VH] P. A. S. Veloso and A. M. Haeberer, A finitary relational algebra for classical first order logic, preprint, Rio de Janeiro; abstracted in: Bull. Section of Logic 20 (2) (1991), 52-62.
  • [ [V90] Y. Venema, Cylindric modal logic, submitted to J. Symbolic Logic.
  • [V92] Y. Venema, Many-dimensional modal logic, Ph.D. thesis, Univ. of Amsterdam, 1992.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-bcpv28z1p95bwm
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ć.