Omitting types for finite variable fragments and complete representations of algebras

DOI10.2178/jsl/1208358743zbMath1143.03035OpenAlexW2031667755MaRDI QIDQ5387302

Tarek Sayed Ahmed, Istvan Németi, Hajnalka Andréka

Publication date: 8 May 2008

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1208358743

zbMATH Keywords

first-order logicrelation algebraomitting typescomplete representationcylindric algebrafinite-variable fragment

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cylindric and polyadic algebras; relation algebras (03G15) Interpolation, preservation, definability (03C40)

Related Items

On notions of representability for cylindric‐polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality ⋮ Omitting Types in Fragments and Extensions of First Order Logic ⋮ On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results ⋮ Omitting types algebraically and more about amalgamation for modal cylindric algebras ⋮ Weakly representable atom structures that are not strongly representable, with an application to first order logic ⋮ A brief history of Tarskian algebraic logic with new perspectives and innovations ⋮ Notions of representability for cylindric algebras: some algebras are more representable than others ⋮ Complete Representations and Neat Embeddings ⋮ New perspectives in algebraic logic, from neat embeddings to Erdős graphs ⋮ The class of completely representable polyadic algebras of infinite dimensions is elementary ⋮ Keeping Globally Inconsistent Scientific Theories Locally Consistent ⋮ Existence of certain finite relation algebras implies failure of omitting types for \(L_n\) ⋮ Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally ⋮ Some results about neat reducts ⋮ Strongly representable atom structures of cylindric algebras ⋮ Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic ⋮ Epimorphisms in cylindric algebras and definability in finite variable logic ⋮ Blow Up and Blur Constructions in Algebraic Logic

Cites Work

• Unnamed Item
• Neat embeddings, omitting types, and interpolation: an overview
• Relation algebras by games
• Amalgamation, interpolation and epimorphisms in algebraic logic
• Connections between quasi-projective relation algebras and cylindric algebras
• Modal languages and bounded fragments of predicate logic
• Atom structures of cylindric algebras and relation algebras
• A note on algebras of substitutions
• Strongly representable atom structures of relation algebras
• On Preservation Theorems for Two-Variable Logic
• Finite schematizable algebraic logic
• Complete representations in algebraic logic
• On the search for a finitizable algebraization of first order logic
• Relation algebra reducts of cylindric algebras and an application to proof theory
• On the Restraining Power of Guards
• Algebraic Logic, Where Does it Stand Today?
• Completions of B<scp>OOLEAN</scp> Algebras with operators
• Boolean Algebras with Operators. Part I
• Handbook of philosophical logic. Vol. 1.
• On neat reducts of algebras of logic
• Relation algebras from cylindric algebras. I
• Relation algebras from cylindric algebras. II