Nonfinitizability of classes of representable cylindric algebras
From MaRDI portal
Publication:5571688
DOI10.2307/2270900zbMath0181.30002OpenAlexW2108163838MaRDI QIDQ5571688
Publication date: 1969
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2270900
Related Items (36)
Weakly representable but not representable relation algebras ⋮ On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras ⋮ Provability with Finitely Many Variables ⋮ On varieties of cylindric algebras with applications to logic ⋮ Subcompletions of representable relation algebras ⋮ Dynamic logic with program specifications and its relational proof system ⋮ Atom structures of cylindric algebras and relation algebras ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Complexity of equations valid in algebras of relations. II: Finite axiomatizations ⋮ The calculus of relations as a foundation for mathematics ⋮ Enlargements of functional algebras for the lambda calculus ⋮ Bare canonicity of representable cylindric and polyadic algebras ⋮ A construction of cylindric and polyadic algebras from atomic relation algebras ⋮ A brief history of Tarskian algebraic logic with new perspectives and innovations ⋮ Squares in fork arrow logic ⋮ Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent ⋮ Interpolation and amalgamation in modal cylindric algebras ⋮ Algebraization of quantifier logics, an introductory overview ⋮ The contributions of Alfred Tarski to algebraic logic ⋮ Neat embeddings, omitting types, and interpolation: an overview ⋮ Strongly representable atom structures of relation algebras ⋮ A remark of representable positive cylindric algebras ⋮ On universal algebraic constructions of logics ⋮ Relation algebras from cylindric algebras. I ⋮ Relation algebras from cylindric algebras. II ⋮ Some sufficient conditions for the representability of relation algebras ⋮ On systems of varieties definable by schemes of equations ⋮ The Neat Embedding Problem and the Number of Variables Required in Proofs ⋮ Algebraic Logic, Where Does it Stand Today? ⋮ Modal languages and bounded fragments of predicate logic ⋮ Representable cylindric algebras ⋮ The relational model of data and cylindric algebras ⋮ Omitting types for algebraizable extensions of first order logic ⋮ Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic ⋮ The polyadic generalization of the Boolean axiomatization of fields of sets ⋮ Blow Up and Blur Constructions in Algebraic Logic
Cites Work
This page was built for publication: Nonfinitizability of classes of representable cylindric algebras
