Review: Richard M. Friedberg, 4-Quantifier Completeness: A Banach-Mazur Functional not Uniformly Partial Recursive