Omitting types for algebraizable extensions of first order logic

DOI10.3166/jancl.15.465-489zbMath1185.03091OpenAlexW2094894200MaRDI QIDQ3647239

Tarek Sayed Ahmed

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.15.465-489

zbMATH Keywords

algebraic logicMartin's axiomomitting typespolyadic algebrasfinitization problemrich semigroups

Mathematics Subject Classification ID

Continuum hypothesis and Martin's axiom (03E50) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (3)

Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally ⋮ Neat embeddings, omitting types, and interpolation: an overview ⋮ Strong Amalgamation in Systems of Varieties

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cylindric algebras. Part II
• Amalgamation and interpolation in normal modal logics
• Logic in algebraic form. Three languages and theories
• On universal algebraic constructions of logics
• Isomorphic but not lower base-isomorphic cylindric algebras of finite dimension
• Weakly representable but not representable relation algebras
• Atom structures of cylindric algebras and relation algebras
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Martin's axiom, omitting types, and complete representations in algebraic logic
• On the role of the Baire Category Theorem and Dependent Choice in the foundations of logic
• Omitting types and the real line
• Isomorphic but not lower base-isomorphic cylindric set algebras
• Non-finite-axiomatizability results in algebraic logic
• Nonfinite axiomatizability results for cylindric and relation algebras
• Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic
• Step by step – Building representations in algebraic logic
• Strong representability of fork algebras, a set theoretic foundation
• Finite schematizable algebraic logic
• Complete representations in algebraic logic
• A completeness theorem for higher order logics
• On the search for a finitizable algebraization of first order logic
• On the equational theory of representable polyadic equality algebras
• Omitting types in incomplete theories
• Algebraic Logic, Where Does it Stand Today?
• Nonfinitizability of classes of representable cylindric algebras
• Nonfinitizability of classes of representable polyadic algebras
• Persistence and atomic generation for varieties of Boolean algebras with operators
• On neat reducts of algebras of logic

This page was built for publication: Omitting types for algebraizable extensions of first order logic