scientific article
zbMath1262.03003MaRDI QIDQ2898881
Publication date: 12 July 2012
Full work available at URL: http://tuprints.ulb.tu-darmstadt.de/2972/1/disE.pdf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
reverse mathematicsprogram extractionBanach contraction mapping principleweak König's lemmaproof miningbar recursionchain-antichain principleRamsey's theorem for pairsnon-principal ultrafiltersBolzano-Weierstrass principlecohesive principle
Constructive and recursive analysis (03F60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Foundations of classical theories (including reverse mathematics) (03B30) Ramsey theory (05D10) Applications of computability and recursion theory (03D80) Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35)
Related Items (1)
This page was built for publication:
