New perspectives in algebraic logic, from neat embeddings to Erdős graphs
From MaRDI portal
Publication:450159
DOI10.1016/j.joems.2011.08.002zbMath1258.03090OpenAlexW2048585504MaRDI QIDQ450159
Publication date: 13 September 2012
Published in: Journal of the Egyptian Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.joems.2011.08.002
representabilitycompletenessforcingfinite-variable fragmentsomitting typescylindric algebraneat reduct
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Neat embeddings, omitting types, and interpolation: an overview
- Relation algebras by games
- Amalgamation, interpolation and epimorphisms in algebraic logic
- Some results about neat reducts
- Connections between quasi-projective relation algebras and cylindric algebras
- Weakly higher order cylindric algebras and finite axiomatization of the representables
- Epimorphisms in cylindric algebras and definability in finite variable logic
- Cylindric algebras. Part II
- The class of neat-reducts of cylindric algebras is not a variety but is closed w.r.t. HP
- Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti
- Amalgamation and interpolation in normal modal logics
- Algebraization of quantifier logics, an introductory overview
- Modal languages and bounded fragments of predicate logic
- Interpolation and amalgamation; pushing the limits. I
- Martin's axiom, omitting types, and complete representations in algebraic logic
- Finitary polyadic algebras from cylindric algebras
- Classes without the amalgamation property
- Amalgamation, congruence-extension, and interpolation properties in algebras
- On amalgamation of reducts of polyadic algebras
- A note on neat reducts
- The class of 2-dimensional neat reducts is not elementary
- Epimorphisms are not surjective, even in simple algebras
- On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras
- The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable
- Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts
- The class of polyadic algebras has the super amalgamation property
- Polyadic and cylindric algebras of sentences
- An Interpolation Theorem for First Order Logic with Infinitary Predicates
- A Neat Embedding Theorem for Expansions of Cylindric Algebras
- The Class SNr3CAk is Not Closed Under Completions
- On complete representations of algebras of logic
- Neat reducts and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation
- Step by step – Building representations in algebraic logic
- Complete representations in algebraic logic
- On representability of neatly embeddable cylindric algebras
- Relation algebra reducts of cylindric algebras and an application to proof theory
- Erdős Graphs Resolve Fine's Canonicity Problem
- Three interpolation theorems for typeless logics
- Relation algebra reducts of cylindric algebras and complete representations
- Omitting types for finite variable fragments and complete representations of algebras
- Representability and amalgamation for Heyting polyadic algebras
- Amalgamation in universal algebraic logic
- An Omitting Types Theorem for first order logic with infinitary relation symbols
- Algebraic Logic, Where Does it Stand Today?
- On weak and strong interpolation in algebraic logics
- Independence Results in Algebraic Logic
- Internal cohen extensions
- On neat reducts of algebras of logic