Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A PSPACE-Complete First Order Fragment of Computability Logic   In a recently launched research program for developing logic as a formal
theory of (interactive) computability, several very interesting logics have
been introduced and axiomatized. These fragments of the larger Computability
Logic aim not only to describe "what" can be computed, but also provide a
mechanism for extracting computational algorithms from proofs. Among the most
expressive and fundamental of these is CL4, known to be (constructively) sound
and complete with respect to the underlying computational semantics.
Furthermore, the fragment of CL4 not containing blind quantifiers was shown to
be decidable in polynomial space. The present work extends this result and
proves that this fragment is, in fact, PSPACE-complete.

16
The categories of this paper are: stat
22
The categories of this paper are: chao-dyn
15
The categories of this paper are: nucl-ex
19
The categories of this paper are: eess
8
The categories of this paper are: hep-ex
24
The categories of this paper are: dg-ga
3
The categories of this paper are: physics
6
The categories of this paper are: astro-ph
25
The categories of this paper are: patt-sol
0
The categories of this paper are: hep-ph
35
The categories of this paper are: mtrl-th
33
The categories of this paper are: plasm-ph
29
The categories of this paper are: funct-an
32
The categories of this paper are: atom-ph
37
The categories of this paper are: supr-con
17
The categories of this paper are: q-fin