Finite Quantifier Hierarchies in Relational Algebrasстатья
Информация о цитировании статьи получена из
Web of Science,
Scopus
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 29 декабря 2014 г.
Аннотация:For a given structure of finite signature, one can construct a hierarchy of classes of relations definable in this structure according to the number of quantifier alternations in the formulas expressing the relations. In ordinary examples, this hierarchy is either infinite (as in the arithmetic of addition and multiplication of natural numbers) or stabilizes very rapidly (in structures with decidable theories, such as the field of real numbers). In the present paper, we construct a series of examples showing that the above-mentioned hierarchy may have an arbitrary finite length. The proof employs a modification of the Ehrenfeucht game.