# Complete description of substitutions in cylindric algebras and other algebraic logics

Banach Center Publications (1993)

- Volume: 28, Issue: 1, page 327-342
- ISSN: 0137-6934

## Access Full Article

top## How to cite

topThompson, Richard. "Complete description of substitutions in cylindric algebras and other algebraic logics." Banach Center Publications 28.1 (1993): 327-342. <http://eudml.org/doc/262796>.

@article{Thompson1993,

author = {Thompson, Richard},

journal = {Banach Center Publications},

keywords = {replacement; substitutions; semigroups of finite non-permutational transformations; cylindric algebras},

language = {eng},

number = {1},

pages = {327-342},

title = {Complete description of substitutions in cylindric algebras and other algebraic logics},

url = {http://eudml.org/doc/262796},

volume = {28},

year = {1993},

}

TY - JOUR

AU - Thompson, Richard

TI - Complete description of substitutions in cylindric algebras and other algebraic logics

JO - Banach Center Publications

PY - 1993

VL - 28

IS - 1

SP - 327

EP - 342

LA - eng

KW - replacement; substitutions; semigroups of finite non-permutational transformations; cylindric algebras

UR - http://eudml.org/doc/262796

ER -

## References

top- [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. Zbl0707.03053
- [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. Zbl0403.20038
- [J] B. Jónsson, Defining relations for full semigroups of finite transformations, Michigan Math. J. 9 (1962), 77-85. Zbl0111.03803
- [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. Zbl0772.03033
- [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
- [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. Zbl0751.03033
- [Sh] È. G. Shutov, Homomorphisms of the semigroup of all near-identity mappings, Izv. Vyssh. Uchebn. Zaved. Mat. 1963 (2), 176-180 (in Russian).

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.