https://deepai.org/publication/the-polylog-time-hierarchy-captured-by-restricted-second-order-logic
The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic | DeepAI
Jun 19, 2018 - 06/19/18 - Let SO^plog denote the restriction of second-order logic, where second-order quantification ranges over relations of size at most ...
second order logictime hierarchypolylogcaptured