From algebra to logic: there and back again -- the story of a hierarchy
Abstract
This is an extended survey of the results concerning a hierarchy of languages that is tightly connected with the quantifier alternation hierarchy within the two-variable fragment of first order logic of the linear order.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2014
- DOI:
- 10.48550/arXiv.1406.1035
- arXiv:
- arXiv:1406.1035
- Bibcode:
- 2014arXiv1406.1035W
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory;
- Computer Science - Logic in Computer Science
- E-Print:
- Developments in Language Theory 2014, Ekaterinburg : Russian Federation (2014)