Two notes on locally finite cylindric algebras

Pavol Zlatoš

Commentationes Mathematicae Universitatis Carolinae (1984)

  • Volume: 025, Issue: 1, page 181-199
  • ISSN: 0010-2628

How to cite

top

Zlatoš, Pavol. "Two notes on locally finite cylindric algebras." Commentationes Mathematicae Universitatis Carolinae 025.1 (1984): 181-199. <http://eudml.org/doc/17308>.

@article{Zlatoš1984,
author = {Zlatoš, Pavol},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {neat reduct; locally finite cylindric algebras; category; variety of heterogeneous algebras; heterogeneous cylindric algebras; relative homomorphism; cylindric set algebras; relativization of formulas; relative interpretation between first order theories},
language = {eng},
number = {1},
pages = {181-199},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Two notes on locally finite cylindric algebras},
url = {http://eudml.org/doc/17308},
volume = {025},
year = {1984},
}

TY - JOUR
AU - Zlatoš, Pavol
TI - Two notes on locally finite cylindric algebras
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1984
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 025
IS - 1
SP - 181
EP - 199
LA - eng
KW - neat reduct; locally finite cylindric algebras; category; variety of heterogeneous algebras; heterogeneous cylindric algebras; relative homomorphism; cylindric set algebras; relativization of formulas; relative interpretation between first order theories
UR - http://eudml.org/doc/17308
ER -

References

top
  1. 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) 
  2. H. ANDRÉKA I. NÉMETI, Dimension complemented and locally finite cylindric algebras are elementarily equivalent, Algebra Universalis 13 (1981), 157-163. (1981) MR0631552
  3. G. BIRKHOFF J. D. LIPSON, Heterogeneous algebras, J. Comb. Theory 8 (1970), 115-133. (1970) MR0250887
  4. G. GRÄTZER, Universal Algebra, Springer, Berlin 1979. (1979) MR0538623
  5. L. HENKIN, Relativization with respect to formulas and its use in proofs of independence, Compositic Math. 20 (1968), 88-106. (1968) Zbl0155.02301MR0234812
  6. L. HENKIN J. D. MONK A. TARSKI, Cylindric Algebras, Part I, North-Holland, Amsterdam 1971. (1971) MR0781929
  7. 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) MR0639151
  8. S. MAC LANE, Catagories for the Working Mathematician, Springer, Berlin 1971. (1971) 
  9. 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) MR0626260
  10. I. NÉMETI, [unknown], Personal communication. 
  11. A. PRELLER, On the relationship between the classical and the categorical direct product of algebras, Indag. Math. 30 (1968), 512-516. (1968) MR0246809
  12. J. SHOENFIELD, Mathematical Logic, Addison-Wesley, Reading, Mass. 1967. (1967) Zbl0155.01102MR0225631
  13. W. TAYLOR, Characterising Malcev conditions, Algebra Universalis, 3 (1973), 351-397. (1973) MR0349537
  14. P. ZLATOŠ, On conceptual completeness of syntactic-semantical systems, preprint 1983. (1983) MR0811003

NotesEmbed ?

top

You must be logged in to post comments.

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

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.