Two notes on locally finite cylindric algebras
Zlatoš, Pavol
Commentationes Mathematicae Universitatis Carolinae, Tome 025 (1984), p. 181-199 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1984-01-01
Classification:  03G15,  03G25 
@article{106289,
     author = {Pavol Zlato\v s},
     title = {Two notes on locally finite cylindric algebras},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {025},
     year = {1984},
     pages = {181-199},
     zbl = {0546.03036},
     mrnumber = {749126},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106289}
}

Zlatoš, Pavol. Two notes on locally finite cylindric algebras. Commentationes Mathematicae Universitatis Carolinae, Tome 025 (1984) pp. 181-199. http://gdmltest.u-ga.fr/item/106289/

H. Andréka T. Gergely I. Németi I. Sain Theory norphisms, Stepwise refinement of program specification. Representation of knowledge, and Cylindric algebras, preprint 1980. (1980)

H. Andréka I. Németi Dimension complemented and locally finite cylindric algebras are elementarily equivalent, Algebra Universalis 13 (1981), 157-163. (1981) | MR 0631552

G. Birkhoff J. D. Lipson Heterogeneous algebras, J. Comb. Theory 8 (1970), 115-133. (1970) | MR 0250887

G. Grätzer Universal Algebra, Springer, Berlin 1979. (1979) | MR 0538623

L. Henkin Relativization with respect to formulas and its use in proofs of independence, Compositic Math. 20 (1968), 88-106. (1968) | MR 0234812 | Zbl 0155.02301

L. Henkin J. D. Monk A. Tarski Cylindric Algebras, Part I, North-Holland, Amsterdam 1971. (1971) | MR 0781929

L. Henkin J. D. Monk A. Tarski H. Andréka I. Németi Cylindric Sat Algebras, Lecture Notes in Math. 803, Springer, Berlin 1981. (1981) | MR 0639151

S. Mac Lane Catagories for the Working Mathematician, Springer, Berlin 1971. (1971)

I. Németi Some constructions of cylindric algebra theory applied to dynamic algebrat of programs, Computation. Linguistics and Computer Languages 14 (1980), 43-65. (1980) | MR 0626260

I. Németi , Personal communication.

A. Preller On the relationship between the classical and the categorical direct product of algebras, Indag. Math. 30 (1968), 512-516. (1968) | MR 0246809

J. Shoenfield Mathematical Logic, Addison-Wesley, Reading, Mass. 1967. (1967) | MR 0225631 | Zbl 0155.01102

W. Taylor Characterising Malcev conditions, Algebra Universalis, 3 (1973), 351-397. (1973) | MR 0349537

P. Zlatoš On conceptual completeness of syntactic-semantical systems, preprint 1983. (1983) | MR 0811003