scientific article; zbMATH DE number 2236632
From MaRDI portal
Publication:5711883
zbMath1098.03068MaRDI QIDQ5711883
Fernando Ferreira, António Marques Fernandes
Publication date: 8 December 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
maximum principlereverse mathematicsuniform continuityreal-valued continuous functionsHeine/Borel covering theorem
Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)
Related Items
Bounded functional interpretation and feasible analysis ⋮ Strict \({\varPi^1_1}\)-reflection in bounded arithmetic
