Let . Let denote the class of cylindric algebras of dimension and denote the class of representable s. We say that is representable up to if has an -square representation. An square represenation is locally relativized represenation that is classical locally only on so called -squares’. Roughly if we zoom in by a movable window to an square representation, there will become a point determinded and depending on where we mistake the square-representation for a genuine classical one. When we zoom out the non-representable part gets more exposed. For , an square represenation is -square; the converse however is not true. The variety is a limiting case coinciding with s having -square representations. Let be the class of algebras representable up to . We show that for .

生成讲解博客的中文版本

生成AI智能校验的中文版本