Capturing Relativized Complexity Classes without Order
Anuj Dawar, Georg Gottlob, Lauri Hella · Mathematical logic quarterly · 1998
Abstract We consider the problem of obtaining logical characterisations of oracle complexity classes. In particular, we consider the complexity classes LOGSPACENP and PTIMENP. For these classes, characterisations are known in terms of NP computable Lindström quantifiers which hold on ordered structures. We show that these characterisations are unlikely to extend to arbitrary (unordered) structures, since this would imply the collapse of certain exponential complexity hierarchies. We also observe, however, that PTIMENP can be characterised in terms of Lindström quantifers (not necessarily NP computable), though it remains open whether this can be done for LOGSPACENP.