A note on neat reducts
From MaRDI portal
Publication:2642524
DOI10.1007/s11225-007-9034-0zbMath1124.03046MaRDI QIDQ2642524
Publication date: 17 August 2007
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-007-9034-0
03G15: Cylindric and polyadic algebras; relation algebras
Related Items
New perspectives in algebraic logic, from neat embeddings to Erdős graphs, Some results about neat reducts, The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable
Cites Work
- Unnamed Item
- Unnamed Item
- 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
- Algebraization of quantifier logics, an introductory overview
- 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 neat reducts is not elementary
- The class of 2-dimensional neat reducts is not elementary
- Relation algebra reducts of cylindric algebras and an application to proof theory
- Arguments for the Continuity Principle
- Algebraic Logic, Where Does it Stand Today?
- On neat reducts of algebras of logic