Publication:5537368
From MaRDI portal
zbMath0156.01101MaRDI QIDQ5537368
Publication date: 1960
Related Items
Classes of Polish spaces under effective Borel isomorphism, Recursive Pseudo-Well-Orderings, Measure-Theoretic Uniformity in Recursion Theory and Set Theory, Degrees of Nonrecursive Presentability, Comparing Peano arithmetic, Basic Law V, and Hume's Principle, Higher Kurtz randomness, Parametrization over inductive relations of a bounded number of variables, Lowness of higher randomness notions, The completeness theorem for typing lambda-terms, Completeness of the hyperarithmetic isomorphism equivalence relation, Decision times of infinite computations, On revision operators, Hyperarithmetical Sets, AN APPLICATION OF RECURSION THEORY TO ANALYSIS, On the Π1 1 -separation principle