Complete description of substitutions in cylindric algebras and other algebraic logics

 Access to full text

 Full (PDF)

1. [A] H. Andréka, A combinatorial proof for the celebrated Resek-Thompson theorem, preprint, Math. Inst. Hungar. Acad. Sci., 1986. 
2. [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]. 
3. [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. Zbl0707.03053
4. [CP] A. H. Clifford and G. B. Preston, The Algebraic Theory of Semigroups, Vol. I, Amer. Math. Soc., Providence, RI, 1961. 
5. [HMT] L. Henkin, J. D. Monk and A. Tarski, Cylindric Algebras, Part I, North-Holland, Amsterdam 1971. 
6. [HMT II] L. Henkin, J. D. Monk and A. Tarski, Cylindric Algebras, Part II, North-Holland, Amsterdam 1985. 
7. [H] J. M. Howie, Idempotent generators in finite full transformation semigroups, Proc. Royal Soc. Edinburgh 81A (1978), 317-323. Zbl0403.20038
8. [J] B. Jónsson, Defining relations for full semigroups of finite transformations, Michigan Math. J. 9 (1962), 77-85. Zbl0111.03803
9. [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). 
10. [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. 
11. [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. Zbl0772.03033
12. [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. Zbl0749.03050
13. [S] I. Sain, Searching for a finitizable algebraization of first order logic, preprint No. 53/1987, Math. Inst. Hungar. Acad. Sci., 1987, 78 pp. 
14. [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. Zbl0751.03033
15. [Sh] È. G. Shutov, Homomorphisms of the semigroup of all near-identity mappings, Izv. Vyssh. Uchebn. Zaved. Mat. 1963 (2), 176-180 (in Russian).