scientific article
From MaRDI portal
zbMath0108.00802MaRDI QIDQ3843617
Publication date: 1962
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Measure-theoretic uniformity, THEOREMS OF HYPERARITHMETIC ANALYSIS AND ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS, The Forcing Method and the Upper Semilattice of Hyperdegrees, Countable admissible ordinals and hyperdegrees, THE STRENGTH OF AN AXIOM OF FINITE CHOICE FOR BRANCHES IN TREES, Recursive Pseudo-Well-Orderings, POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND, Unnamed Item, Derivatives of normal functions in reverse mathematics, Measure-Theoretic Uniformity in Recursion Theory and Set Theory, Hyperarithmetical Sets, An ordinal analysis for theories of self-referential truth, Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem, THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
