Existence of certain finite relation algebras implies failure of omitting types for \(L_n\)
type: Item
instance of: scholarly article
title: Existence of certain finite relation algebras implies failure of omitting types for \(L_n\)
zbMATH Open document ID: 1486.03122
DOI: 10.1215/00294527-2020-0022
author: Tarek Sayed Ahmed
published in: Notre Dame Journal of Formal Logic
publication date: 2021-09-07T00:00:00Z
Mathematics Subject Classification ID: 03G15
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 7391955
zbMATH Keywords: algebraic logic
zbMATH Keywords: combinatorial game theory
zbMATH Keywords: cylindric algebras
zbMATH Keywords: modal logic
zbMATH Keywords: omitting types
zbMATH Keywords: relation algebras
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1215/00294527-2020-0022
OpenAlex ID: W3110983440
cites work: Cylindric-like algebras and algebraic logic
cites work: Omitting types for finite variable fragments and complete representations of algebras
cites work: A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
cites work: Non-finite-axiomatizability results in algebraic logic
cites work: Modal logic
cites work: Omitting types in incomplete theories
cites work: Q2853712
cites work: The polyadic generalization of the Boolean axiomatization of fields of sets
cites work: Q3344197
cites work: Algebraic polymodal logic: a survey
cites work: Persistence and atomic generation for varieties of Boolean algebras with operators
cites work: Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing
cites work: Complete representations in algebraic logic
cites work: Strongly representable atom structures of relation algebras
cites work: Q2853709
cites work: Atom structures of cylindric algebras and relation algebras
cites work: Nonfinite axiomatizability results for cylindric and relation algebras
cites work: Q5411428
cites work: Q2853715
cites work: Q2853711
cites work: On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
cites work: Various notions of represetability for cylindric and polyadic algebras
cites work: On neat reducts of algebras of logic
cites work: Classification theory and the number of non-isomorphic models.
description: scientific article; zbMATH DE number 7391955