scientific article; zbMATH DE number 619555
From MaRDI portal
zbMath0797.03057MaRDI QIDQ4302475
Publication date: 17 August 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Second- and higher-order arithmetic and fragments (03F35)
Related Items
The binary expansion and the intermediate value theorem in constructive reverse mathematics, The self-embedding theorem of \(\text{WKL}_ 0\) and a non-standard method
