Provably Total Functions in the Polynomial Hierarchy. - Noah Fleming; Christophe Marciot; Deniz Imrek (Electron. Colloquium Comput. Complex., 2025)