Complete description of substitutions in cylindric algebras and other algebraic logics
Thompson, Richard
Banach Center Publications, Tome 28 (1993), p. 327-342 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1993-01-01
EUDML-ID : urn:eudml:doc:262796 
@article{bwmeta1.element.bwnjournal-article-bcpv28z1p327bwm,
     author = {Thompson, Richard},
     title = {Complete description of substitutions in cylindric algebras and other algebraic logics},
     journal = {Banach Center Publications},
     volume = {28},
     year = {1993},
     pages = {327-342},
     zbl = {0797.03062},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-bcpv28z1p327bwm}
}

Thompson, Richard. Complete description of substitutions in cylindric algebras and other algebraic logics. Banach Center Publications, Tome 28 (1993) pp. 327-342. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-bcpv28z1p327bwm/

[000] [A] H. Andréka, A combinatorial proof for the celebrated Resek-Thompson theorem, preprint, Math. Inst. Hungar. Acad. Sci., 1986.

[001] [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].

[002] [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. | Zbl 0707.03053

[003] [CP] A. H. Clifford and G. B. Preston, The Algebraic Theory of Semigroups, Vol. I, Amer. Math. Soc., Providence, RI, 1961.

[004] [HMT] L. Henkin, J. D. Monk and A. Tarski, Cylindric Algebras, Part I, North-Holland, Amsterdam 1971.

[005] [HMT II] L. Henkin, J. D. Monk and A. Tarski, Cylindric Algebras, Part II, North-Holland, Amsterdam 1985.

[006] [H] J. M. Howie, Idempotent generators in finite full transformation semigroups, Proc. Royal Soc. Edinburgh 81A (1978), 317-323. | Zbl 0403.20038

[007] [J] B. Jónsson, Defining relations for full semigroups of finite transformations, Michigan Math. J. 9 (1962), 77-85. | Zbl 0111.03803

[008] [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).

[009] [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.

[010] [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. | Zbl 0772.03033

[011] [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. | Zbl 0749.03050

[012] [S] I. Sain, Searching for a finitizable algebraization of first order logic, preprint No. 53/1987, Math. Inst. Hungar. Acad. Sci., 1987, 78 pp.

[013] [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. | Zbl 0751.03033

[014] [Sh] È. G. Shutov, Homomorphisms of the semigroup of all near-identity mappings, Izv. Vyssh. Uchebn. Zaved. Mat. 1963 (2), 176-180 (in Russian).