Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andréka, H., Universal Algebraic Logic, Dissertation, Hungar. Acad. Sci. Budapest 1975. (In Hungarian)
Andréka, H. Gergely, T. and Németi, I., Purely algebraical construction of first order logics, Publications of Central Res. Inst. for Physics, Hungar. Acad. Sci., No KFKI-73-71, Budapest, 1973.
Andréka, H. Gergely, T. and Németi, I., On universal algebraic constructions of logics, Studia Logica XXXVI, 1–2(1977), pp. 9–47.
Andréka, H. and Németi, I., A simple, purely algebraic proof of the completeness of some first order logics, Algebra Universalis 5 (1975), pp. 8–15.
Andréka, H. and Németi, I., On universal algebraic logic and cylindric algebras, Bulletin of the Section of Logic, Vol. 7, No. 4 (Wroclaw, Dec. 1978), pp. 152–158.
Andréka, H. and Németi, I., On universal algebraic logic, Preprint, 1978.
Andréka, H. and Németi, I., The class of neat-reducts of cylindric algebras is not a variety but is closed w.r.t. HP, Math. Inst. Hungar. Acad. Sci., Preprint No 14/1979, Budapest 1979. Submitted to the J. of Symb. Logic.
Andréka, H. and Németi, I., Neat reducts of varieties, Studia Sci. Math. Hungar. 13(1978), pp. 47–51.
Andréka, H. and Németi, I., ICrs is a variety and ICrs reg is a quasivariety but not a variety, Preprint Math. Inst. Hungar. Acad. Sci., Budapest, 1980.
Andréka, H. and Németi, I., On the number of generators of cylindric algebras, Preprint, Math. Inst. Hungar. Acad. Sci., Budapest 1979.
Andréka, H. and Németi, I., Dimension complemented and locally finite dimensional cylindric algebras are elementarily equivalent, Algebra Universalis, to appear.
Andréka, H. and Németi, I., Varieties definable by schemes of equations, Algebra Universalis 11 (1980), pp. 105–116.
Chang, C.C. and Keisler, H.J., Model Theory, North-Holland, 1973.
Gergely, T., Algebraic representation of language hierarchies, Working Paper, Research Inst. for Applied Computer Sciences (Hungary), Budapest 1981. To appear in Acta cybernetica.
Hausdorff, F., Über Zwei Sätze von G. Fichtenholz und L. Kantorovitch, Studia Math. 6(1936), pp. 18–19.
Henkin, L. Monk, J.D. and Tarski, A., Cylindric Algebras Part I, North-Holland, 1971.
Henkin, L. Monk. J.D. and Tarski, A., Cylindric set algebras and related structures, this volume.
Monk, J.D., Mathematical Logic, Springer Verlag, 1976.
Monk, J.D., Nonfinitizability of classes of representable cylindric algebras, The J. Symb. Logic 34(1969), pp. 331–343.
Németi, I., Connections between cylindric algebras and initial algebra semantics of CF languages, In: Mathematical Logic in Computer Science (Dömölki, B. Gergely, T. eds.) Colloq. Math. Soc. J. Bolyai Vol. 26, North-Holland, 1981, pp. 561–606.
Németi, I., Some constructions of cylindric algebra theory applied to dynamic algebras of programs, Comput. Linguist. Comput. Lang. (Budapest) Vol. XIV(1980), pp. 43–65.
Pálfy, P.P., On the chromatic number of certain graphs, Math. Inst. Hungar. Acad. Sci., Preprint No 17/1980. To appear in Discrete Mathematics.
Sikorski, R., Boolean Algebras, Springer Verlag, 1960.
Rights and permissions
Copyright information
© 1981 Springer-Verlag
About this chapter
Cite this chapter
Andréka, H., Németi, I. (1981). On cylindric-relativized set algebras. In: Cylindric Set Algebras. Lecture Notes in Mathematics, vol 883. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0095614
Download citation
DOI: https://doi.org/10.1007/BFb0095614
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10881-8
Online ISBN: 978-3-540-38790-9
eBook Packages: Springer Book Archive