The neat embedding problem for algebras other than cylindric algebras and for infinite dimensions
DOI10.1017/JSL.2013.20zbMATH Open1328.03057OpenAlexW1998056081MaRDI QIDQ2921030FDOQ2921030
Authors: Tarek Sayed Ahmed, Robin Hirsch 
Publication date: 30 September 2014
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://discovery.ucl.ac.uk/1402074/7/Hirsch%20et%20al.%20neat_embedding_final.pdf
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
algebraic logiccylindric algebrasneat embeddingssubstitution algebrasquasi-polyadic algebrasneat reducts
Cites Work
- Cylindric algebras. Part II
- Relation algebras by games
- The class of neat-reducts of cylindric algebras is not a variety but is closed w.r.t. HP
- A Neat Embedding Theorem for Expansions of Cylindric Algebras
- Relation algebra reducts of cylindric algebras and an application to proof theory
- Representation theory for polyadic algebras
- Provability with Finitely Many Variables
- Title not available (Why is that?)
- Notions of density that imply representability in algebraic logic
- Title not available (Why is that?)
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
- Varying interpolation and amalgamation in polyadic MV-algebras
- Quasi-polyadic algebras and their dual position
- 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)
