Existence of certain finite relation algebras implies failure of omitting types for L_n

DOI10.1215/00294527-2020-0022zbMATH Open1486.03122OpenAlexW3110983440MaRDI QIDQ1981982FDOQ1981982

Authors: Tarek Sayed Ahmed 

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

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

zbMATH Keywords

modal logicalgebraic logiccombinatorial game theoryrelation algebrascylindric algebrasomitting types

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15)

Cites Work

• Modal logic
• Classification theory and the number of non-isomorphic models.
• Nonfinite axiomatizability results for cylindric and relation algebras
• The polyadic generalization of the Boolean axiomatization of fields of sets
• Title not available (Why is that?)
• Algebraic polymodal logic: a survey
• Complete representations in algebraic logic
• Neat reducts and neat embeddings in cylindric algebras
• Completions, complete representations and omitting types
• Omitting types for finite variable fragments and complete representations of algebras
• Variations on Martin's axiom and omitting types from algebraic logic, lattice theory and topology
• On neat reducts of algebras of logic
• A new representation theory: representing cylindric-like algebras by relativized set algebras
• Cylindric-like algebras and algebraic logic
• On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
• Non-finite-axiomatizability results in algebraic logic
• Atom structures of cylindric algebras and relation algebras
• Omitting types in incomplete theories
• Persistence and atomic generation for varieties of Boolean algebras with operators
• A Stone Type Representation Theorem for Algebras of Relations of Higher Rank
• Various notions of represetability for cylindric and polyadic algebras
• Cylindric algebras. Part I. With an introductory chapter: General theory of algebras. 2nd printing
• Strongly representable atom structures of relation algebras
• Completions and complete representations

Cited In (6)

• Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic
• Omitting types for finite variable fragments and complete representations of algebras
• An Omitting Types Theorem for first order logic with infinitary relation symbols
• Omitting types for finite variable fragments of first order logic
• Martin's axiom, omitting types, and complete representations in algebraic logic
• New Behavior in Legal Decompositions Arising from Non-positive Linear Recurrences

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)