Abstract
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.
Similar content being viewed by others
References
A. L. Semenov, “Finiteness Conditions for Algebras of Relations,” Tr. Mat. Inst. im. V.A. Steklova, Ross. Akad. Nauk 242, 103–107 (2003) [Proc. Steklov Inst. Math. 242, 92–96 (2003)].
N. K. Vereshchagin and A. Shen, Languages and Calculi (MTsNMO, Moscow, 2000) [in Russian].
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © A.L. Semenov, S.F. Soprunov, 2011, published in Trudy Matematicheskogo Instituta imeni V.A. Steklova, 2011, Vol. 274, pp. 291–296.
Rights and permissions
About this article
Cite this article
Semenov, A.L., Soprunov, S.F. Finite quantifier hierarchies in relational algebras. Proc. Steklov Inst. Math. 274, 267–272 (2011). https://doi.org/10.1134/S0081543811060162
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0081543811060162