Existence of certain finite relation algebras implies failure of omitting types for L_n
From MaRDI portal
Publication:1981982
Recommendations
- Omitting types for finite variable fragments and complete representations of algebras
- New Behavior in Legal Decompositions Arising from Non-positive Linear Recurrences
- Martin's axiom, omitting types, and complete representations in algebraic logic
- Omitting types algebraically via cylindric algebras
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic
Cites work
- A new representation theory: representing cylindric-like algebras by relativized set algebras
- A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
- Algebraic polymodal logic: a survey
- Atom structures of cylindric algebras and relation algebras
- Classification theory and the number of non-isomorphic models.
- Complete representations in algebraic logic
- Completions and complete representations
- Completions, complete representations and omitting types
- Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing
- Cylindric-like algebras and algebraic logic
- scientific article; zbMATH DE number 3877173 (Why is no real title available?)
- Modal logic
- Neat reducts and neat embeddings in cylindric algebras
- Non-finite-axiomatizability results in algebraic logic
- Nonfinite axiomatizability results for cylindric and relation algebras
- Omitting types for finite variable fragments and complete representations of algebras
- Omitting types in incomplete theories
- On neat reducts of algebras of logic
- On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
- Persistence and atomic generation for varieties of Boolean algebras with operators
- Strongly representable atom structures of relation algebras
- The polyadic generalization of the Boolean axiomatization of fields of sets
- Variations on Martin's axiom and omitting types from algebraic logic, lattice theory and topology
- Various notions of represetability for cylindric and polyadic algebras
Cited in
(7)- Martin's axiom, omitting types, and complete representations in algebraic logic
- Omitting types for finite variable fragments of first order logic
- New Behavior in Legal Decompositions Arising from Non-positive Linear Recurrences
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic
- Blow Up and Blur Constructions in Algebraic Logic
- Omitting types for finite variable fragments and complete representations of algebras
- An Omitting Types Theorem for first order logic with infinitary relation symbols
This page was built for publication: Existence of certain finite relation algebras implies failure of omitting types for \(L_n\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1981982)
