User:IssaRice/Computability and logic/Uniformity in computability theory