scientific article; zbMATH DE number 1418437

zbMath0954.03065MaRDI QIDQ4941992

Ulrich Kohlenbach

Publication date: 14 February 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

continuous functionanalysisimplicit function theoremDini's theoremprinciple of uniform boundednessGrzegorczyk arithmeticHeine-Borel compactness

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Related Items (4)

Things that can and things that cannot be done in PRA ⋮ A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces ⋮ Bounded functional interpretation ⋮ On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness

This page was built for publication: