Motivated by constraint satisfaction problems, Feder and Vardi (SIAM Journal of Computing, 28, 57-104, 1998) set out to search for fragments L of $L\,of\,\Sigma _1^1 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results