2000 character limit reached
From algebra to logic: there and back again -- the story of a hierarchy (1406.1035v1)
Published 3 Jun 2014 in cs.FL and cs.LO
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.
Collections
Sign up for free to add this paper to one or more collections.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.