Omitting Types in Fragments and Extensions of First Order Logic

DOI10.18778/0138-0680.2021.13zbMath1529.03216OpenAlexW3169674195MaRDI QIDQ6043005

Tarek Sayed Ahmed

Publication date: 4 May 2023

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.2021.13

zbMATH Keywords

completionsalgebraic logicmultimodal logicomitting types

Mathematics Subject Classification ID

Abstract algebraic logic (03G27) Other classical first-order model theory (03C68)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bare canonicity of representable cylindric and polyadic algebras
• The class of completely representable polyadic algebras of infinite dimensions is elementary
• Relation algebras by games
• Cylindric algebras. Part II
• Classification theory and the number of non-isomorphic models
• Atom structures and Sahlqvist equations
• Atom structures of cylindric algebras and relation algebras
• On amalgamation of reducts of polyadic algebras
• Graph Theory and Probability
• 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
• Nonfinite axiomatizability results for cylindric and relation algebras
• Complete representations in algebraic logic
• On modal logics betweenK × K × KandS5 × S5 × S5
• Various notions of represetability for cylindric and polyadic algebras
• Omitting types for finite variable fragments and complete representations of algebras
• Representation theory for polyadic algebras

This page was built for publication: Omitting Types in Fragments and Extensions of First Order Logic