Zdanowski, Konrad Truth definition for \(\Delta_0\) formulas and PSPACE computations. (English) Zbl 1496.03240 Fundam. Math. 252, No. 1, 1-38 (2021). Reviewer: Leszek Aleksander Kołodziejczyk (Warszawa) MSC: 03F30 03F35 68Q15 03D15 03F20 PDFBibTeX XMLCite \textit{K. Zdanowski}, Fundam. Math. 252, No. 1, 1--38 (2021; Zbl 1496.03240) Full Text: DOI
Freund, Anton; Pakhomov, Fedor Short proofs for slow consistency. (English) Zbl 1455.03078 Notre Dame J. Formal Logic 61, No. 1, 31-49 (2020). Reviewer: Leszek Aleksander Kołodziejczyk (Warszawa) MSC: 03F30 03F20 03F15 03F40 03D20 PDFBibTeX XMLCite \textit{A. Freund} and \textit{F. Pakhomov}, Notre Dame J. Formal Logic 61, No. 1, 31--49 (2020; Zbl 1455.03078) Full Text: DOI arXiv Euclid
Enayat, Ali; Łełyk, Mateusz; Wcisło, Bartosz Truth and feasible reducibility. (English) Zbl 1444.03164 J. Symb. Log. 85, No. 1, 367-421 (2020). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03F30 03C62 03D15 03H15 PDFBibTeX XMLCite \textit{A. Enayat} et al., J. Symb. Log. 85, No. 1, 367--421 (2020; Zbl 1444.03164) Full Text: DOI arXiv
Visser, Albert The small-is-very-small principle. (English) Zbl 1521.03234 Math. Log. Q. 65, No. 4, 453-478 (2019). MSC: 03F30 03C62 03F40 03H15 PDFBibTeX XMLCite \textit{A. Visser}, Math. Log. Q. 65, No. 4, 453--478 (2019; Zbl 1521.03234) Full Text: DOI arXiv
Kolmakov, Evgeny; Beklemishev, Lev Axiomatization of provable \(n\)-provability. (English) Zbl 1444.03165 J. Symb. Log. 84, No. 2, 849-869 (2019). Reviewer: Roger Villemaire (Montréal) MSC: 03F30 03F25 03F40 03F45 PDFBibTeX XMLCite \textit{E. Kolmakov} and \textit{L. Beklemishev}, J. Symb. Log. 84, No. 2, 849--869 (2019; Zbl 1444.03165) Full Text: DOI arXiv
Critch, Andrew A parametric, resource-bounded generalization of Löb’s theorem, and a robust cooperation criterion for open-source game theory. (English) Zbl 1454.03026 J. Symb. Log. 84, No. 4, 1368-1381 (2019). Reviewer: Éric Martin (Sydney) MSC: 03B45 03B70 03F03 91A35 91A05 91A10 PDFBibTeX XMLCite \textit{A. Critch}, J. Symb. Log. 84, No. 4, 1368--1381 (2019; Zbl 1454.03026) Full Text: DOI
Pudlák, Pavel Incompleteness in the finite domain. (English) Zbl 1423.03245 Bull. Symb. Log. 23, No. 4, 405-441 (2017). MSC: 03F20 03D15 68Q15 03F30 03F40 PDFBibTeX XMLCite \textit{P. Pudlák}, Bull. Symb. Log. 23, No. 4, 405--441 (2017; Zbl 1423.03245) Full Text: DOI arXiv
Enayat, Ali; Wong, Tin Lok Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\). (English) Zbl 1422.03080 Ann. Pure Appl. Logic 168, No. 6, 1247-1283 (2017). MSC: 03C62 03H15 03C30 03C50 03F35 PDFBibTeX XMLCite \textit{A. Enayat} and \textit{T. L. Wong}, Ann. Pure Appl. Logic 168, No. 6, 1247--1283 (2017; Zbl 1422.03080) Full Text: DOI
Pudlák, Pavel On the complexity of finding falsifying assignments for Herbrand disjunctions. (English) Zbl 1378.03043 Arch. Math. Logic 54, No. 7-8, 769-783 (2015). MSC: 03F20 68Q17 03D15 PDFBibTeX XMLCite \textit{P. Pudlák}, Arch. Math. Logic 54, No. 7--8, 769--783 (2015; Zbl 1378.03043) Full Text: DOI arXiv
Joosten, Joost J. Consistency statements and iterations of computable functions in \(\mathrm{I}\Sigma_1\) and PRA. (English) Zbl 1201.03054 Arch. Math. Logic 49, No. 7-8, 773-798 (2010). Reviewer: Roman Murawski (Poznań) MSC: 03F30 03C62 03D20 PDFBibTeX XMLCite \textit{J. J. Joosten}, Arch. Math. Logic 49, No. 7--8, 773--798 (2010; Zbl 1201.03054) Full Text: DOI
Joosten, Joost J. The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\). (English) Zbl 1077.03034 Notre Dame J. Formal Logic 46, No. 2, 127-146 (2005). Reviewer: Mladen Vuković (Zagreb) MSC: 03F45 PDFBibTeX XMLCite \textit{J. J. Joosten}, Notre Dame J. Formal Logic 46, No. 2, 127--146 (2005; Zbl 1077.03034) Full Text: DOI
Avigad, Jeremy Formalizing forcing arguments in subsystems of second-order arithmetic. (English) Zbl 0860.03040 Ann. Pure Appl. Logic 82, No. 2, 165-191 (1996). Reviewer: R.Murawski (Poznań) MSC: 03F35 03C25 PDFBibTeX XMLCite \textit{J. Avigad}, Ann. Pure Appl. Logic 82, No. 2, 165--191 (1996; Zbl 0860.03040) Full Text: DOI
Krajíček, Jan; Pudlák, Pavel On the structure of initial segments of models of arithmetic. (English) Zbl 0678.03026 Arch. Math. Logic 28, No. 2, 91-98 (1989). Reviewer: R.Kossak MSC: 03F30 03H15 03C62 03F20 PDFBibTeX XMLCite \textit{J. Krajíček} and \textit{P. Pudlák}, Arch. Math. Logic 28, No. 2, 91--98 (1989; Zbl 0678.03026) Full Text: DOI