Abstract

ABSTRACT As is well-known, a classical representation theorem of the theory of cylindric algebras is: A ε IGwsa if and only if A ε SNrαCAα+ε. The part “only if” is trivial. Regarding to the other part “A ε SNrαCAα+ε then A ε IGwsα“ the following question arises: is it possible to replace the class CA in the hypothesis A ε SNrαCAα+ε by a larger class so that the theorem still holds. Such a larger class Kα β is defined. The class Kα β is the best possible, in a sense to be made precise. Representability of set algebras is investigated, too.