Omitting Types in Fragments and Extensions of First Order Logic

DOI10.18778/0138-0680.2021.13MaRDI QIDQ6043005zbMATH OpenOpenAlexFDO

Authors Tarek Sayed Ahmed

Publication date 4 May 2023

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

zbMATH Keywords

algebraic logiccompletionsmultimodal logicomitting types

Mathematics Subject Classification ID

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

Recommendations

• Omitting types for finite variable fragments of first order logic
• Omitting types for finite variable fragments and complete representations of algebras
• A note on omitting types in propositional logic.
• An omitting types theorem in finite schematizable algebraic logic
• Omitting types algebraically via cylindric algebras

Cites work

• A new representation theory: representing cylindric-like algebras by relativized set algebras
• Atom structures and Sahlqvist equations
• Atom structures of cylindric algebras and relation algebras
• Bare canonicity of representable cylindric and polyadic 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 II
• Graph Theory and Probability
• 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
• On amalgamation of reducts of polyadic algebras
• On modal logics betweenK × K × KandS5 × S5 × S5
• On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
• Relation algebras by games
• Representable cylindric algebras and many-dimensional modal logics
• Representation theory for polyadic algebras
• The class of completely representable polyadic algebras of infinite dimensions is elementary
• Various notions of represetability for cylindric and polyadic algebras

Cited in

(1)

• Optimized encodings of fragments of type theory in first order logic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6043005)