User:IssaRice/Computability and logic/Uniformity: Difference between revisions