Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
H. Andréka—T. Gergely—I. Németi, On universal algebraic construction of logics, Studia Logica Vol 36 (1977), 9–47.
H. Andréka—I. Németi, Dimension complemented and locally finite dimensional cylindric algebras are elementarily equivalent, Algebra Universalis 13 (1981), 157–163.
H. Andréka—I. Németi, Connections between cylindric algebras and logic, Manuscript (1984).
H. Andréka—R.J. Thompson, A Stone-type representation theorem for algebras of relations of higher rank, Trans. Amer. Math. Soc., 309 2 (1988), 671–682.
C.C. Chang—H.J. Keisler, “Model Theory,” North-Holland, 1973.
P. R. Halmos, “Algebraic Logic,” Chelsea Publ. Co., New York, 1962.
L. Henkin, The representation theorem for cylindric algebras, in “Mathematical interpretation of formal systems,” North-Holland, Amsterdam, 1955, pp. 85–97.
L. Henkin—J.D. Monk—A. Tarski, “Cylindric Algebras Part I and Part II,” North-Holland, 1971, 1985.
L. Henkin—J.D. Monk—A. Tarski—H. Andréka—I. Németi, “Cylindric Set Algebras,” Lecture Notes in Mathematics Vol 883, Springer-Verlag, 1981.
L. Henkin—A. Tarski, Cylindric Algebras, in “Lattice Theory, Proceedings of symposia in pure mathematics Vol 883,” Springer-Verlag, 1981.
S. Jaskowski, Sur les variables propositionelles dependantes, Studia Soc. Sci. Torunensis Sec. A. 1 (1948), 17–21.
B. Jónsson—A. Tarski, Boolean algebras with operators Part I, Amer. J. Math. 73 (1951), 891–939.
H.J. Keisler, A complete first-order logic with infinitary predicates, Fundamenta Mathematicae Vol 52 (1963), 177–203.
I. Németi, Cylindric-relativized set algebras have strong amalgamation, The Journal of Symbolic Logic 50 3 (Sept. 1985), 689–700.
I. Németi, The equational theory of cylindric-relativized set algebras is decidable, Preprint No 63/1985, Math. Inst. Budapest (Sept. 1985). see also [16]
I. Németi, Free algebras and decidability in algebraic logic, Dissertation for “Habilitation” or DSc with the Hungarian Academy of Sciences, Budapest (1985).
D. Resek—R.J. Thompson, An equational characterization of SCτ α Submitted, 45pp
I. Sain, Finitary logics of infinitary structures are compact, Abstracts of Amer. Math. Soc. 3 3 (April 1982), p. 252.
I. Sain, Cylindric algebra versions of the downward Löwenheim—Skolem theorem, Notre Dame J. of Formal Logic 29 3 (1988), 332–344.
I. Sain, Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic, This volume (1988).
G. Serény, Compact cylindric set algebras, (In Hungarian) Dissertation with Eötvös Loránd University, Budapest (1986).
G. Serény, Compact cylindric set algebras, Bulletin of the Section of Logic (Warsaw-Lodz) 14 2 (June 1985), 57–64.
G. Serény, Compact cylindric algebras and their isomorphisms. Manuscript, 1989
S. Shelah, Isomorphic but not base-isomorphic base-minimal cylindric algebras, Algebraic Logic, Colloq. Math. Soc. J. Bolyai, North-Holland (1988) (to appear).
A. Tarski—S.Givant, “A formalization of set theory without variables,” Amer. Math. Soc. Colloquium Publications, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Németi, I. (1990). On cylindric algebraic model theory. In: Bergman, C.H., Maddux, R.D., Pigozzi, D.L. (eds) Algebraic Logic and Universal Algebra in Computer Science. ALUACS 1988. Lecture Notes in Computer Science, vol 425. Springer, New York, NY. https://doi.org/10.1007/BFb0043078
Download citation
DOI: https://doi.org/10.1007/BFb0043078
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-97288-6
Online ISBN: 978-0-387-34804-9
eBook Packages: Springer Book Archive