Abstract

Neat embedding theorems yield an abstract algebraic characterization for the representability of a given class of algebras by set algebras. Resek and Thompson’s theorem called attention to a new kind of representation in the theory of cylindric algebras, to the representation by cylindric relativised set algebras. In this paper, we present the algebraic characterization of this kind of representation; we formulate neat embedding theorems for this representation.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call