@article{bwmeta1.element.bwnjournal-article-bcpv28z1p95bwm,
author = {Simon, A.},
title = {What the finitization problem is not},
journal = {Banach Center Publications},
volume = {28},
year = {1993},
pages = {95-116},
zbl = {0797.03063},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-bcpv28z1p95bwm}
}
Simon, A. What the finitization problem is not. Banach Center Publications, Tome 28 (1993) pp. 95-116. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-bcpv28z1p95bwm/
[000] [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.
[001] [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.
[002] [ANS] H. Andréka, I. Németi and I. Sain, Abstract model-theoretic approach to algebraic logic, manuscript, 1984.
[003] [BF] J. Barwise and S. Feferman (eds.), Model-Theoretic Logics, Springer, Berlin 1985.
[004] [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.
[005] [BP] W. J. Blok and D. Pigozzi, Algebraizable logics, Mem. Amer. Math. Soc. 396 (1989). | Zbl 0664.03042
[006] [B86] P. Burmeister, A model-theoretic oriented approach to partial algebras, Akademie-Verlag, Berlin 1986.
[007] [BS] S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Springer, New York 1981.
[008] [CV] W. Craig and R. L. Vaught, Finite axiomatizability using additional predicates, J. Symbolic Logic 23 (3) (1958), 289-308. | Zbl 0085.24601
[009] [D] M. Davis, Unsolvable Problems, in: Handbook of Mathematical Logic, J. Barwise (ed.), North-Holland, Amsterdam 1977, 567-594.
[010] [H] L. Henkin, The representation theorem for cylindric algebras, in: Mathematical Interpretations of Formal Systems, North-Holland, Amsterdam 1955, 85-97.
[011] [HM] L. Henkin and J. D. Monk, Cylindric algebras and related structures, in: Proceedings of the Tarski Symposium, Amer. Math. Soc., 1974, 105-121. | Zbl 0307.02041
[012] [HMT] L. Henkin, J. D. Monk and A. Tarski, Cylindric Algebras, Parts I, II, North-Holland, Amsterdam 1971, 1985.
[013] [M] R. Maddux, Finitary algebraic logic, Z. Math. Logik Grundlag. Math. 35 (1989), 321-332. | Zbl 0661.03052
[014] [M70] J. D. Monk, On an algebra of sets of finite sequences, J. Symbolic Logic 35 (1970), 19-28. | Zbl 0196.01001
[015] [MLn] J. D. Monk, Lectures on cylindric set algebras, this volume.
[016] [N89] I. Németi, On cylindric algebraic model theory, in [BMP], 37-75. | Zbl 0793.03073
[017] [N91] I. Németi, Algebraization of quantifier logics: an introductory overview, Studia Logica 4 (1991), in press. | Zbl 0772.03033
[018] [S87] I. Sain, Searching for a finitizable algebraization of first order logic, submitted, 1987.
[019] [S87a] I. Sain, Positive results related to the Jónsson, Tarski-Givant representation problem, preprint, Math. Inst. Hungar. Acad. Sci., Oct. 1987.
[020] [ST] I. Sain and R. J. Thompson, Strictly finite schema axiomatization of quasi-polyadic algebras, in [AMN], 539-571. | Zbl 0751.03033
[021] [S90] A. Simon, A complete calculus for type-free logic and representable cylindric algebras, preprint, Math. Inst. Hungar. Acad. Sci.
[022] [S91] A. Simon, Finite schema completeness for typeless logic and representable cylindric algebras, in [AMN], 665-670. | Zbl 0751.03035
[023] [TG] A. Tarski and S. Givant, A Formalization of Set Theory without Variables, Colloq. Publ. 41, Amer. Math. Soc., 1986.
[024] [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. | Zbl 0745.03057
[025] [ [V90] Y. Venema, Cylindric modal logic, submitted to J. Symbolic Logic. | Zbl 1284.03153
[026] [V92] Y. Venema, Many-dimensional modal logic, Ph.D. thesis, Univ. of Amsterdam, 1992.