Characterizing the Exponential-Space Hierarchy Via Partial Fixpoints
Logic in Computer Science
2025-11-05 v1
Abstract
The characterization of PSPACE-queries over ordered structures as exactly those expressible in first-order logic with partial fixpoints (Vardi'82) is one of the classical results in the field of descriptive complexity. In this paper, we extend this result to characterizations of k-EXPSPACE-queries for arbitrary k, characterizing them as exactly those expressible in order-k+1-higher-order logic with partial fixpoints. For k>1, the restriction to ordered structures is no longer necessary due to the high expressive power of higher-order logic.
Keywords
Cite
@article{arxiv.2511.02596,
title = {Characterizing the Exponential-Space Hierarchy Via Partial Fixpoints},
author = {Florian Bruse and David Kronenberger and Martin Lange},
journal= {arXiv preprint arXiv:2511.02596},
year = {2025}
}
Comments
In Proceedings FICS 2024, arXiv:2511.00626