Neat embeddings, omitting types, and interpolation: an overview

DOI10.1305/NDJFL/1091030854zbMATH Open1071.03041OpenAlexW2025979706MaRDI QIDQ558739FDOQ558739

Authors: Tarek Sayed Ahmed 

Publication date: 13 July 2005

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1091030854

Recommendations

• Neat reducts and amalgamation in retrospect, a survey of results and some methods. II: Results on amalgamation
• New perspectives in algebraic logic, from neat embeddings to Erdős graphs
• Martin's axiom, omitting types, and complete representations in algebraic logic
• Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts
• Omitting types for finite variable fragments and complete representations of algebras

zbMATH Keywords

surveyamalgamationalgebraic logiccylindric algebrasomitting typesneat embeddings

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Title not available (Why is that?)
• Cylindric algebras. Part II
• Nonfinite axiomatizability results for cylindric and relation algebras
• Relation algebras and projective geometries
• Model theory.
• Varieties of complex algebras
• Algebraizable logics
• Relation algebras by games
• Title not available (Why is that?)
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Nonfinitizability of classes of representable cylindric algebras
• Amalgamation and interpolation in normal modal logics
• Complete representations in algebraic logic
• Epimorphisms in cylindric algebras and definability in finite variable logic
• The class of neat-reducts of cylindric algebras is not a variety but is closed w.r.t. HP
• Martin's axiom, omitting types, and complete representations in algebraic logic
• Amalgamation, congruence-extension, and interpolation properties in algebras
• On amalgamation of reducts of polyadic algebras
• The class of 2-dimensional neat reducts is not elementary
• Step by step – Building representations in algebraic logic
• Title not available (Why is that?)
• Relation algebra reducts of cylindric algebras and an application to proof theory
• On neat reducts of algebras of logic
• The class of neat reducts is not elementary
• Non-finite-axiomatizability results in algebraic logic
• On the search for a finitizable algebraization of first order logic
• On universal algebraic constructions of logics
• On systems of varieties definable by schemes of equations
• Atom structures of cylindric algebras and relation algebras
• A confirmation of a conjecture of Tarski
• Omitting types for algebraizable extensions of first order logic
• Back and forth constructions in modal logic: An interpolation theorem for a family of modal logics
• Omitting types and the real line
• Rectangular games
• Finite schematizable algebraic logic
• An introduction to cylindric set algebras
• On modal logics betweenK × K × KandS5 × S5 × S5
• Cylindric-relativised set algebras have strong amalgamation
• Provability with Finitely Many Variables
• Cylindric modal logic
• Omitting types in incomplete theories
• Persistence and atomic generation for varieties of Boolean algebras with operators
• Relation algebras from cylindric algebras. II

Cited In (6)

• A Neat Embedding Theorem for Expansions of Cylindric Algebras
• The Neat Embedding Problem and the Number of Variables Required in Proofs
• Omitting types for finite variable fragments and complete representations of algebras
• Some results about neat reducts
• New perspectives in algebraic logic, from neat embeddings to Erdős graphs
• Strong amalgamation in systems of varieties

This page was built for publication: Neat embeddings, omitting types, and interpolation: an overview

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