A Refinement of the McCreight-Meyer Union Theorem

Matthew Fox, Chaitanya Karamchedu

Using properties of Blum complexity measures and certain complexity class operators, we exhibit a total computable and non-decreasing function $t_{\mathsf{poly}}$ such that for all…