Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Difference hierarchies and duality with an application to formal
  languages   The notion of a difference hierarchy, first introduced by Hausdorff, plays an
important role in many areas of mathematics, logic and theoretical computer
science such as descriptive set theory, complexity theory, and the theory of
regular languages and automata. From a lattice theoretic point of view, the
difference hierarchy over a bounded distributive lattice stratifies the Boolean
algebra generated by it according to the minimum length of difference chains
required to describe the Boolean elements. While each Boolean element is given
by a finite difference chain, there is no canonical such writing in general. We
show that, relative to the filter completion, or equivalently, the lattice of
closed upsets of the dual Priestley space, each Boolean element over the
lattice has a canonical minimum length decomposition into a Hausdorff
difference. As a corollary each Boolean element over a (co-)Heyting algebra has
a canonical difference chain. With a further generalization of this result
involving a directed family of adjunctions with meet-semilattices, we give an
elementary proof of the fact that a regular language is given by a Boolean
combination of purely universal sentences using arbitrary numerical predicates
if and only if it is given by a Boolean combination of purely universal
sentences using only regular numerical predicates.

11
The categories of this paper are: hep-lat
30
The categories of this paper are: q-alg
14
The categories of this paper are: math-ph
33
The categories of this paper are: plasm-ph
21
The categories of this paper are: adap-org
36
The categories of this paper are: cmp-lg
32
The categories of this paper are: atom-ph
23
The categories of this paper are: solv-int
28
The categories of this paper are: alg-geom
26
The categories of this paper are: bayes-an
22
The categories of this paper are: chao-dyn
13
The categories of this paper are: quant-ph
19
The categories of this paper are: eess
5
The categories of this paper are: gr-qc
6
The categories of this paper are: astro-ph
17
The categories of this paper are: q-fin