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
On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results, 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