The neat embedding problem for algebras other than cylindric algebras and for infinite dimensions
From MaRDI portal
Publication:2921030
Recommendations
- On neat embeddings of cylindric algebras
- On representability of neatly embeddable cylindric algebras
- A Neat Embedding Theorem for Expansions of Cylindric Algebras
- Neat reducts and neat embeddings in cylindric algebras
- scientific article; zbMATH DE number 5836013
- On neat reducts of reducts of cylindric algebras
- Embedding problems for finite dimensional division algebras
- Algebraic \(k\)-sets and generally neighborly embeddings
- scientific article; zbMATH DE number 2152041
- scientific article; zbMATH DE number 67046
Cites work
- scientific article; zbMATH DE number 67043 (Why is no real title available?)
- scientific article; zbMATH DE number 3387342 (Why is no real title available?)
- A Neat Embedding Theorem for Expansions of Cylindric Algebras
- Cylindric algebras. Part II
- Notions of density that imply representability in algebraic logic
- Provability with Finitely Many Variables
- Relation algebra reducts of cylindric algebras and an application to proof theory
- Relation algebras by games
- Representation theory for polyadic algebras
- The class of neat-reducts of cylindric algebras is not a variety but is closed w.r.t. HP
Cited in
(14)- The Neat Embedding Problem and the Number of Variables Required in Proofs
- On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic
- Quasi-polyadic algebras and their dual position
- Varying interpolation and amalgamation in polyadic MV-algebras
- Interpolation and amalgamation in modal cylindric algebras
- Notions of representability for cylindric algebras: some algebras are more representable than others
- On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results
- On neat embeddings of cylindric algebras
- Blow Up and Blur Constructions in Algebraic Logic
- Complete Representations and Neat Embeddings
- Neat embeddings as adjoint situations
- On neat embeddings of algebraisations of first order logic
- A brief history of Tarskian algebraic logic with new perspectives and innovations
This page was built for publication: The neat embedding problem for algebras other than cylindric algebras and for infinite dimensions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2921030)
