From algebra to logic: there and back again -- the story of a hierarchy
classification
💻 cs.FL
cs.LO
keywords
hierarchylogicorderalgebraalternationbackconcerningconnected
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.