On cylindric algebraic model theory
- 7 June 2005
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A Stone Type Representation Theorem for Algebras of Relations of Higher RankTransactions of the American Mathematical Society, 1988
- Concerning some cylindric algebra versions of the downward Löwenheim-Skolem theorem.Notre Dame Journal of Formal Logic, 1988
- A Formalization of Set Theory without VariablesPublished by American Mathematical Society (AMS) ,1987
- Cylindric-relativised set algebras have strong amalgamationThe Journal of Symbolic Logic, 1985
- Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalentAlgebra universalis, 1981
- Cylindric Set AlgebrasLecture Notes in Mathematics, 1981
- On universal algebraic constructions of logicsStudia Logica, 1977
- A complete first-order logic with infinitary predicatesFundamenta Mathematicae, 1963
- The Representation Theorem for Cylindrical AlgebrasPublished by Elsevier ,1955
- Boolean Algebras with Operators. Part IAmerican Journal of Mathematics, 1951