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.
Sponsor
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.