Existence of certain finite relation algebras implies failure of omitting types for \(L_n\)
From MaRDI portal
Publication:1981982
DOI10.1215/00294527-2020-0022zbMath1486.03122OpenAlexW3110983440MaRDI QIDQ1981982
Publication date: 7 September 2021
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1215/00294527-2020-0022
modal logicrelation algebrasalgebraic logiccylindric algebrascombinatorial game theoryomitting types
Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15)
Cites Work
- Cylindric-like algebras and algebraic logic
- Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing
- Classification theory and the number of non-isomorphic models.
- Atom structures of cylindric algebras and relation algebras
- Strongly representable atom structures of relation algebras
- The polyadic generalization of the Boolean axiomatization of fields of sets
- On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
- A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
- Non-finite-axiomatizability results in algebraic logic
- Nonfinite axiomatizability results for cylindric and relation algebras
- Complete representations in algebraic logic
- Algebraic polymodal logic: a survey
- Omitting types in incomplete theories
- Various notions of represetability for cylindric and polyadic algebras
- Omitting types for finite variable fragments and complete representations of algebras
- Persistence and atomic generation for varieties of Boolean algebras with operators
- On neat reducts of algebras of logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Existence of certain finite relation algebras implies failure of omitting types for \(L_n\)
