scientific article; zbMATH DE number 3250555
From MaRDI portal
Publication:5537368
zbMath0156.01101MaRDI QIDQ5537368
Publication date: 1960
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (15)
On revision operators ⋮ Completeness of the hyperarithmetic isomorphism equivalence relation ⋮ Decision times of infinite computations ⋮ Recursive Pseudo-Well-Orderings ⋮ Classes of Polish spaces under effective Borel isomorphism ⋮ Higher Kurtz randomness ⋮ Comparing Peano arithmetic, Basic Law V, and Hume's Principle ⋮ Parametrization over inductive relations of a bounded number of variables ⋮ Measure-Theoretic Uniformity in Recursion Theory and Set Theory ⋮ On the Π1 1 -separation principle ⋮ Hyperarithmetical Sets ⋮ Lowness of higher randomness notions ⋮ Degrees of Nonrecursive Presentability ⋮ AN APPLICATION OF RECURSION THEORY TO ANALYSIS ⋮ The completeness theorem for typing lambda-terms
This page was built for publication: