Dean, Walter Bernays and the completeness theorem. (English) Zbl 1506.03060 Ann. Japan Assoc. Philos. Sci. 25, 45-55 (2017). MSC: 03B10 03F40 03F35 03B30 03-03 01A60 PDFBibTeX XMLCite \textit{W. Dean}, Ann. Japan Assoc. Philos. Sci. 25, 45--55 (2017; Zbl 1506.03060) Full Text: DOI
Zyuz’kov, V. M. Sufficient conditions for the existence of undecidable indirectly reflective sentences. (Russian. English summary) Zbl 1510.03025 Vestn. Tomsk. Gos. Univ., Mat. Mekh. 2015, No. 3(35), 12-17 (2015). MSC: 03F30 03F40 03B25 PDFBibTeX XMLCite \textit{V. M. Zyuz'kov}, Vestn. Tomsk. Gos. Univ., Mat. Mekh. 2015, No. 3(35), 12--17 (2015; Zbl 1510.03025) Full Text: DOI MNR
Égré, P. Reasoning by recurrence: what is the foundation? (Le raisonnement par récurrence: quel fondement?) (French) Zbl 1358.03013 Gaz. Math., Soc. Math. Fr. 146, 27-37 (2015). MSC: 03A05 03F03 03F30 PDFBibTeX XMLCite \textit{P. Égré}, Gaz. Math., Soc. Math. Fr. 146, 27--37 (2015; Zbl 1358.03013)
Shapiro, Stewart; Linnebo, Øystein Frege meets Brouwer (or Heyting or Dummett). (English) Zbl 1375.03012 Rev. Symb. Log. 8, No. 3, 540-552 (2015). MSC: 03A05 03F35 03B30 03B15 PDFBibTeX XMLCite \textit{S. Shapiro} and \textit{Ø. Linnebo}, Rev. Symb. Log. 8, No. 3, 540--552 (2015; Zbl 1375.03012) Full Text: DOI
von Plato, Jan Gödel, Gentzen, Goodstein: the magic sound of a G-string. (English) Zbl 1319.03002 Math. Intell. 36, No. 4, 22-27 (2014). MSC: 03-03 01A60 03F15 03F30 PDFBibTeX XMLCite \textit{J. von Plato}, Math. Intell. 36, No. 4, 22--27 (2014; Zbl 1319.03002) Full Text: DOI
Fernández Duque, David Turing and Gödel on Sisyphus’s mountain. (Spanish) Zbl 1439.03010 Misc. Mat. 56, 55-76 (2013). MSC: 03-03 03F30 03F40 01A60 PDFBibTeX XMLCite \textit{D. Fernández Duque}, Misc. Mat. 56, 55--76 (2013; Zbl 1439.03010) Full Text: Link
Zyuz’kov, V. M. Undecidable indirectly reflexive sentences. (Russian. English summary) Zbl 1510.03024 Vestn. Tomsk. Gos. Univ., Mat. Mekh. 2010, No. 1(9), 21-33 (2010). MSC: 03F30 03F40 03B25 PDFBibTeX XMLCite \textit{V. M. Zyuz'kov}, Vestn. Tomsk. Gos. Univ., Mat. Mekh. 2010, No. 1(9), 21--33 (2010; Zbl 1510.03024) Full Text: MNR
Rumfitt, Ian Hume’s principle and the number of all objects. (English) Zbl 1366.03124 Nôus 35, No. 4, 515-541 (2001). MSC: 03A05 03-03 03F30 01A50 PDFBibTeX XMLCite \textit{I. Rumfitt}, Nôus 35, No. 4, 515--541 (2001; Zbl 1366.03124) Full Text: DOI
Kuroda, Satoru Models of bounded arithmetic. (English) Zbl 1047.03507 RIMS Kokyuroku 1217, 45-60 (2001). MSC: 03F30 03C62 PDFBibTeX XMLCite \textit{S. Kuroda}, RIMS Kokyuroku 1217, 45--60 (2001; Zbl 1047.03507)
Kuroda, Satoru Complexity theory and bounded arithmetic for truly feasible computation. (English) Zbl 0951.68513 RIMS Kokyuroku 1096, 35-50 (1999). MSC: 68Q15 03D15 03F30 PDFBibTeX XMLCite \textit{S. Kuroda}, RIMS Kokyuroku 1096, 35--50 (1999; Zbl 0951.68513)
Kuroda, Satoru Counting small sets in weak bounded arithmetic. (English) Zbl 0925.03191 RIMS Kokyuroku 976, 27-33 (1997). MSC: 03D15 03F30 68Q15 PDFBibTeX XMLCite \textit{S. Kuroda}, RIMS Kokyuroku 976, 27--33 (1997; Zbl 0925.03191)
Kikuchi, Makoto On Buss and Turán’s extensions of Haken’s results. (English) Zbl 0925.03210 RIMS Kokyuroku 976, 34-37 (1997). MSC: 03F20 03B35 03D15 03F30 68Q15 PDFBibTeX XMLCite \textit{M. Kikuchi}, RIMS Kokyuroku 976, 34--37 (1997; Zbl 0925.03210)
Glaß, Thomas Standard structures for systems of explicit mathematics (a proof-theoretic study). (Standardstrukturen für Systeme expliziter Mathematik (Eine beweistheoretische Untersuchung).) (German) Zbl 0797.03058 Münster: Univ. Münster, Math.-Naturwiss. Fak. vi, 135 S. (1993). MSC: 03F50 03F35 PDFBibTeX XMLCite \textit{T. Glaß}, Standardstrukturen für Systeme expliziter Mathematik (Eine beweistheoretische Untersuchung). Münster: Univ. Münster, Math.-Naturwiss. Fak. (1993; Zbl 0797.03058)
Boolos, George Zooming down the slippery slope. (English) Zbl 1366.03026 Nôus 25, No. 5, 695-706 (1991). MSC: 03A05 03B10 03F30 PDFBibTeX XMLCite \textit{G. Boolos}, Nôus 25, No. 5, 695--706 (1991; Zbl 1366.03026) Full Text: DOI
Dzhaparidze, G. K. The logic of generalized weak interpretability. (English) Zbl 0793.03065 Soobshch. Akad. Nauk Gruz. 143, No. 3, 233-235 (1991). MSC: 03F25 03B45 03F30 PDFBibTeX XMLCite \textit{G. K. Dzhaparidze}, Soobshch. Akad. Nauk Gruz. 143, No. 3, 233--235 (1991; Zbl 0793.03065)
Chaitin, Gregory J. Randomness in arithmetic. (Bulgarian) Zbl 0709.94672 Fiz.-Mat. Spis. 32(65), No. 1, 33-38 (1990). MSC: 94A15 03F30 03D10 68Q05 68Q30 PDFBibTeX XML
Kolata, Gina Does Gödel’s theorem matter to mathematics? (English) Zbl 1225.03080 Science 218, No. 4574, 779-780 (1982). MSC: 03F30 03C62 03H15 PDFBibTeX XMLCite \textit{G. Kolata}, Science 218, No. 4574, 779--780 (1982; Zbl 1225.03080) Full Text: DOI