scientific article
From MaRDI portal
Publication:3843617
zbMath0108.00802MaRDI QIDQ3843617
Publication date: 1962
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (14)
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
This page was built for publication:
