Granberg Olsson, Mattias; Leigh, Graham E. Revisiting the conservativity of fixpoints over intuitionistic arithmetic. (English) Zbl 07790931 Arch. Math. Logic 63, No. 1-2, 61-87 (2024). MSC: 03F50 03F25 03F30 03F55 PDFBibTeX XMLCite \textit{M. Granberg Olsson} and \textit{G. E. Leigh}, Arch. Math. Logic 63, No. 1--2, 61--87 (2024; Zbl 07790931) Full Text: DOI arXiv OA License
Ferreira, Gilda; Firmino, Paulo Herbrandized modified realizability. arXiv:2402.16437 Preprint, arXiv:2402.16437 [math.LO] (2024). MSC: 03F10 03B20 03B40 03F30 03F25 BibTeX Cite \textit{G. Ferreira} and \textit{P. Firmino}, ``Herbrandized modified realizability'', Preprint, arXiv:2402.16437 [math.LO] (2024) Full Text: arXiv OA License
Cabbolet, Marcoen J. T. F. Relative consistency of Set Matrix Theory with ZF. arXiv:2402.09458 Preprint, arXiv:2402.09458 [math.LO] (2024). MSC: 03F25 03E65 BibTeX Cite \textit{M. J. T. F. Cabbolet}, ``Relative consistency of Set Matrix Theory with ZF'', Preprint, arXiv:2402.09458 [math.LO] (2024) Full Text: arXiv OA License
Cheng, Yong On Rosser theories. arXiv:2401.11749 Preprint, arXiv:2401.11749 [math.LO] (2024). MSC: 03F40 03F30 03F25 BibTeX Cite \textit{Y. Cheng}, ``On Rosser theories'', Preprint, arXiv:2401.11749 [math.LO] (2024) Full Text: arXiv OA License
Anand, Bhupinder Singh Why the classes P and NP are not well-defined finitarily. arXiv:2401.09478 Preprint, arXiv:2401.09478 [math.LO] (2024). MSC: 00A30 03A05 03B10 03D10 03D15 03F25 03F30 68Q15 68Q17 68T27 BibTeX Cite \textit{B. S. Anand}, ``Why the classes P and NP are not well-defined finitarily'', Preprint, arXiv:2401.09478 [math.LO] (2024) Full Text: arXiv OA License
Damnjanovic, Zlatan Tree theory: interpretability between weak first-order theories of trees. (English) Zbl 07808883 Bull. Symb. Log. 29, No. 4, 465-502 (2023). MSC: 03-02 03F25 03F30 PDFBibTeX XMLCite \textit{Z. Damnjanovic}, Bull. Symb. Log. 29, No. 4, 465--502 (2023; Zbl 07808883) Full Text: DOI OA License
Enayat, Ali; Łełyk, Mateusz Axiomatizations of Peano arithmetic: a truth-theoretic view. (English) Zbl 07781912 J. Symb. Log. 88, No. 4, 1526-1555 (2023). MSC: 03F30 03F25 03C62 PDFBibTeX XMLCite \textit{A. Enayat} and \textit{M. Łełyk}, J. Symb. Log. 88, No. 4, 1526--1555 (2023; Zbl 07781912) Full Text: DOI OA License
Brauer, Ethan A classical modal theory of lawless sequences. (English) Zbl 07749831 Bull. Symb. Log. 29, No. 3, 406-452 (2023). MSC: 03F25 03F50 03F55 00A30 03A05 PDFBibTeX XMLCite \textit{E. Brauer}, Bull. Symb. Log. 29, No. 3, 406--452 (2023; Zbl 07749831) Full Text: DOI
Frittaion, Emanuele Extensional realizability and choice for dependent types in intuitionistic set theory. (English) Zbl 07735948 J. Symb. Log. 88, No. 3, 1138-1169 (2023). MSC: 03F50 03F25 03F55 PDFBibTeX XMLCite \textit{E. Frittaion}, J. Symb. Log. 88, No. 3, 1138--1169 (2023; Zbl 07735948) Full Text: DOI
Aguilera, J. P.; Pakhomov, F. The \(\Pi^1_2\) consequences of a theory. (English) Zbl 07731078 J. Lond. Math. Soc., II. Ser. 107, No. 3, 1045-1073 (2023). MSC: 03F15 03F25 03D20 03D60 03D65 03E45 18A99 PDFBibTeX XMLCite \textit{J. P. Aguilera} and \textit{F. Pakhomov}, J. Lond. Math. Soc., II. Ser. 107, No. 3, 1045--1073 (2023; Zbl 07731078) Full Text: DOI arXiv
Frittaion, Emanuele; Nemoto, Takako; Rathjen, Michael Choice and independence of premise rules in intuitionistic set theory. (English) Zbl 07719416 Ann. Pure Appl. Logic 174, No. 9, Article ID 103314, 24 p. (2023). MSC: 03F03 03F25 03F50 03F55 PDFBibTeX XMLCite \textit{E. Frittaion} et al., Ann. Pure Appl. Logic 174, No. 9, Article ID 103314, 24 p. (2023; Zbl 07719416) Full Text: DOI
Fischer, Martin; Nicolai, Carlo; Dopico, Pablo Nonclassical truth with classical strength. A proof-theoretic analysis of compositional truth over hype. (English) Zbl 07689495 Rev. Symb. Log. 16, No. 2, 425-448 (2023). MSC: 03F03 03B60 03F25 03B50 PDFBibTeX XMLCite \textit{M. Fischer} et al., Rev. Symb. Log. 16, No. 2, 425--448 (2023; Zbl 07689495) Full Text: DOI arXiv
Dinis, Bruno; Gaspar, Jaime Hardwiring truth in functional interpretations. (English) Zbl 1518.03013 Port. Math. 80, No. 1-2, 81-105 (2023). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03F25 03F10 03F35 PDFBibTeX XMLCite \textit{B. Dinis} and \textit{J. Gaspar}, Port. Math. 80, No. 1--2, 81--105 (2023; Zbl 1518.03013) Full Text: DOI
Kentaro, Sato; Walker, Jan Finitist axiomatic truth. (English) Zbl 07657274 J. Symb. Log. 88, No. 1, 22-73 (2023). MSC: 03F25 03F30 03A05 03D20 03D70 03F05 03F35 PDFBibTeX XMLCite \textit{S. Kentaro} and \textit{J. Walker}, J. Symb. Log. 88, No. 1, 22--73 (2023; Zbl 07657274) Full Text: DOI
Powell, Thomas A finitization of Littlewood’s Tauberian theorem and an application in Tauberian remainder theory. (English) Zbl 1523.03024 Ann. Pure Appl. Logic 174, No. 4, Article ID 103231, 28 p. (2023). Reviewer: Bruno Dinis (Évora) MSC: 03F10 03F25 40A05 40E05 PDFBibTeX XMLCite \textit{T. Powell}, Ann. Pure Appl. Logic 174, No. 4, Article ID 103231, 28 p. (2023; Zbl 1523.03024) Full Text: DOI
Walsh, James Characterizations of ordinal analysis. (English) Zbl 07653726 Ann. Pure Appl. Logic 174, No. 4, Article ID 103230, 16 p. (2023). MSC: 03F15 03F35 03F40 03F25 PDFBibTeX XMLCite \textit{J. Walsh}, Ann. Pure Appl. Logic 174, No. 4, Article ID 103230, 16 p. (2023; Zbl 07653726) Full Text: DOI arXiv
Sato, Kentaro A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection. (English) Zbl 07637214 Ann. Pure Appl. Logic 174, No. 3, Article ID 103207, 48 p. (2023). MSC: 03B30 03E70 03F25 03F35 03F50 03F60 PDFBibTeX XMLCite \textit{K. Sato}, Ann. Pure Appl. Logic 174, No. 3, Article ID 103207, 48 p. (2023; Zbl 07637214) Full Text: DOI
Jeon, Hanul; Walsh, James Generalized ordinal analysis and reflection principles in set theory. arXiv:2312.12859 Preprint, arXiv:2312.12859 [math.LO] (2023). MSC: 03F15 03F40 03F25 03E45 BibTeX Cite \textit{H. Jeon} and \textit{J. Walsh}, ``Generalized ordinal analysis and reflection principles in set theory'', Preprint, arXiv:2312.12859 [math.LO] (2023) Full Text: arXiv OA License
Jeon, Hanul The proof-theoretic strength of Constructive Second-order set theories. arXiv:2312.12854 Preprint, arXiv:2312.12854 [math.LO] (2023). MSC: 03F25 03E70 03F50 03F65 BibTeX Cite \textit{H. Jeon}, ``The proof-theoretic strength of Constructive Second-order set theories'', Preprint, arXiv:2312.12854 [math.LO] (2023) Full Text: arXiv OA License
Kurahashi, Taishi; Visser, Albert Pour-El’s Landscape. arXiv:2310.04814 Preprint, arXiv:2310.04814 [math.LO] (2023). MSC: 03F25 03F30 03F40 BibTeX Cite \textit{T. Kurahashi} and \textit{A. Visser}, ``Pour-El's Landscape'', Preprint, arXiv:2310.04814 [math.LO] (2023) Full Text: arXiv OA License
Enayat, Ali Curious satisfaction classes. arXiv:2308.07463 Preprint, arXiv:2308.07463 [math.LO] (2023). MSC: 03F30 03C62 03F25 BibTeX Cite \textit{A. Enayat}, ``Curious satisfaction classes'', Preprint, arXiv:2308.07463 [math.LO] (2023) Full Text: arXiv OA License
Łelyk, Mateusz; Nicolai, Carlo Implicit Commitment in a General Setting. arXiv:2302.02783 Preprint, arXiv:2302.02783 [math.LO] (2023). MSC: 03F40 03F25 03A05 00A30 BibTeX Cite \textit{M. Łelyk} and \textit{C. Nicolai}, ``Implicit Commitment in a General Setting'', Preprint, arXiv:2302.02783 [math.LO] (2023) Full Text: arXiv OA License
Pakhomov, Fedor; Visser, Albert Finitely axiomatized theories lack self-comprehension. (English) Zbl 07740288 Bull. Lond. Math. Soc. 54, No. 6, 2513-2531 (2022). MSC: 03F25 03F40 03E40 PDFBibTeX XMLCite \textit{F. Pakhomov} and \textit{A. Visser}, Bull. Lond. Math. Soc. 54, No. 6, 2513--2531 (2022; Zbl 07740288) Full Text: DOI arXiv
Rimatskiĭ, Vitaliĭ Valentinovich Globally admissible inference rules. (English) Zbl 07656248 Izv. Irkutsk. Gos. Univ., Ser. Mat. 42, 138-160 (2022). MSC: 03F25 03B35 PDFBibTeX XMLCite \textit{V. V. Rimatskiĭ}, Izv. Irkutsk. Gos. Univ., Ser. Mat. 42, 138--160 (2022; Zbl 07656248) Full Text: DOI Link
Humberstone, Lloyd; Kuhn, Steven T. Modal logics that are both monotone and antitone: Makinson’s extension results and affinities between logics. (English) Zbl 07634481 Notre Dame J. Formal Logic 63, No. 4, 515-550 (2022). MSC: 03B45 03B05 03A05 03F25 PDFBibTeX XMLCite \textit{L. Humberstone} and \textit{S. T. Kuhn}, Notre Dame J. Formal Logic 63, No. 4, 515--550 (2022; Zbl 07634481) Full Text: DOI Link
Damnjanovic, Zlatan Mutual interpretability of weak essentially undecidable theories. (English) Zbl 07620694 J. Symb. Log. 87, No. 4, 1374-1395 (2022). MSC: 03F25 03F30 PDFBibTeX XMLCite \textit{Z. Damnjanovic}, J. Symb. Log. 87, No. 4, 1374--1395 (2022; Zbl 07620694) Full Text: DOI arXiv
Cantini, Andrea Reflecting and unfolding. (English) Zbl 07608784 Ademollo, Francesco (ed.) et al., Thinking and calculating. Essays in logic, its history and its philosophical applications in honour of Massimo Mugnai. Cham: Springer. Log. Epistemol. Unity Sci. 54, 369-383 (2022). MSC: 03A05 01A20 01A35 01A45 01A50 01A60 03F03 03F25 03F35 03A05 PDFBibTeX XMLCite \textit{A. Cantini}, Log. Epistemol. Unity Sci. 54, 369--383 (2022; Zbl 07608784) Full Text: DOI
Murwanashyaka, Juvenal Weak essentially undecidable theories of concatenation. (English) Zbl 1518.03001 Arch. Math. Logic 61, No. 7-8, 939-976 (2022). Reviewer: Emil Jeřábek (Praha) MSC: 03B25 03F25 03F30 03F40 PDFBibTeX XMLCite \textit{J. Murwanashyaka}, Arch. Math. Logic 61, No. 7--8, 939--976 (2022; Zbl 1518.03001) Full Text: DOI
Cantini, Andrea Truth and the philosophy of mathematics. (English) Zbl 07598444 Oliveri, Gianluigi (ed.) et al., Objects, structures, and logics. FilMat studies in the philosophy of mathematics. Cham: Springer. Boston Stud. Philos. Hist. Sci. 339, 311-330 (2022). MSC: 03-XX 00A30 03F03 03F25 03F35 03A05 PDFBibTeX XMLCite \textit{A. Cantini}, Boston Stud. Philos. Hist. Sci. 339, 311--330 (2022; Zbl 07598444) Full Text: DOI
Rimatskiy, Vytalii Valentinovich Description of modal logics which enjoy co-cover property. (English) Zbl 07593949 Sib. Èlektron. Mat. Izv. 19, No. 1, 316-325 (2022). MSC: 03F25 03B35 PDFBibTeX XMLCite \textit{V. V. Rimatskiy}, Sib. Èlektron. Mat. Izv. 19, No. 1, 316--325 (2022; Zbl 07593949) Full Text: DOI
Visser, Albert Friedman-reflexivity. (English) Zbl 1521.03221 Ann. Pure Appl. Logic 173, No. 9, Article ID 103160, 41 p. (2022). Reviewer: Lukasz Stepien (Kraków) MSC: 03F25 03F30 03F40 PDFBibTeX XMLCite \textit{A. Visser}, Ann. Pure Appl. Logic 173, No. 9, Article ID 103160, 41 p. (2022; Zbl 1521.03221) Full Text: DOI
Darnell, Eamon; Thomas-Bolduc, Aaron Takeuti’s well-ordering proof: an accessible reconstruction. (English) Zbl 1521.03218 Australas. J. Log. 19, No. 1, 1-31 (2022). MSC: 03F15 03F25 PDFBibTeX XMLCite \textit{E. Darnell} and \textit{A. Thomas-Bolduc}, Australas. J. Log. 19, No. 1, 1--31 (2022; Zbl 1521.03218) Full Text: DOI
Nemoto, Takako; Kentaro, Sato A marriage of Brouwer’s intuitionism and Hilbert’s finitism. I: Arithmetic. (English) Zbl 1510.03023 J. Symb. Log. 87, No. 2, 437-497 (2022). Reviewer: Lukasz Stepien (Kraków) MSC: 03F25 03F35 03F50 03F55 03F60 PDFBibTeX XMLCite \textit{T. Nemoto} and \textit{S. Kentaro}, J. Symb. Log. 87, No. 2, 437--497 (2022; Zbl 1510.03023) Full Text: DOI
Mazurek, Jiří New preference violation indices for the condition of order preservation. (English) Zbl 07477236 RAIRO, Oper. Res. 56, No. 1, 367-380 (2022). MSC: 03F25 90B50 PDFBibTeX XMLCite \textit{J. Mazurek}, RAIRO, Oper. Res. 56, No. 1, 367--380 (2022; Zbl 07477236) Full Text: DOI
Visser, Albert Essential Hereditary Undecidability. arXiv:2212.03565 Preprint, arXiv:2212.03565 [math.LO] (2022). MSC: 03F25 03F30 03F40 BibTeX Cite \textit{A. Visser}, ``Essential Hereditary Undecidability'', Preprint, arXiv:2212.03565 [math.LO] (2022) Full Text: arXiv OA License
Cheng, Yong There are no minimal effectively inseparable theories. arXiv:2211.06190 Preprint, arXiv:2211.06190 [math.LO] (2022). MSC: 03F40 03F25 03F30 BibTeX Cite \textit{Y. Cheng}, ``There are no minimal effectively inseparable theories'', Preprint, arXiv:2211.06190 [math.LO] (2022) Full Text: arXiv OA License
Pacheco, Leonardo; Yokoyama, Keita Determinacy and reflection principles in second-order arithmetic. arXiv:2209.04082 Preprint, arXiv:2209.04082 [math.LO] (2022). MSC: 03B30 03F35 03F25 03H15 BibTeX Cite \textit{L. Pacheco} and \textit{K. Yokoyama}, ``Determinacy and reflection principles in second-order arithmetic'', Preprint, arXiv:2209.04082 [math.LO] (2022) Full Text: arXiv OA License
Jäger, Gerhard; Rathjen, Michael Admissible extensions of subtheories of second order arithmetic. arXiv:2202.03476 Preprint, arXiv:2202.03476 [math.LO] (2022). MSC: 03F05 03F15 03F25 03E30 03B15 03C70 BibTeX Cite \textit{G. Jäger} and \textit{M. Rathjen}, ``Admissible extensions of subtheories of second order arithmetic'', Preprint, arXiv:2202.03476 [math.LO] (2022) Full Text: arXiv OA License
Enayat, Ali Indiscernibles and satisfaction classes in arithmetic. arXiv:2212.08411 Preprint, arXiv:2212.08411 [math.LO] (2022). MSC: 03F30 03F25 03C62 BibTeX Cite \textit{A. Enayat}, ``Indiscernibles and satisfaction classes in arithmetic'', Preprint, arXiv:2212.08411 [math.LO] (2022) Full Text: arXiv OA License
Zapryagaev, Alexnader On Interpretations in Büchi Arithmetics. arXiv:2211.16392 Preprint, arXiv:2211.16392 [math.LO] (2022). MSC: 03C62 03F25 BibTeX Cite \textit{A. Zapryagaev}, ``On Interpretations in B\"uchi Arithmetics'', Preprint, arXiv:2211.16392 [math.LO] (2022) Full Text: arXiv OA License
Visser, Albert Enayat theories. (English) Zbl 1515.03215 J. Appl. Log. - IfCoLog J. Log. Appl. 8, No. 7, 2073-2117 (2021). MSC: 03F25 03F30 03F40 03E70 PDFBibTeX XMLCite \textit{A. Visser}, J. Appl. Log. - IfCoLog J. Log. Appl. 8, No. 7, 2073--2117 (2021; Zbl 1515.03215) Full Text: arXiv
Moschovakis, Joan Rand Solovay’s relative consistency proof for FIM and BI. (English) Zbl 07473064 Notre Dame J. Formal Logic 62, No. 4, 661-667 (2021). MSC: 03F25 03-03 01A61 03B30 03F50 03F55 PDFBibTeX XMLCite \textit{J. R. Moschovakis}, Notre Dame J. Formal Logic 62, No. 4, 661--667 (2021; Zbl 07473064) Full Text: DOI arXiv
Blanck, Rasmus Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic. (English) Zbl 1508.03091 Rev. Symb. Log. 14, No. 3, 624-644 (2021). MSC: 03F30 03F40 03F25 03H15 PDFBibTeX XMLCite \textit{R. Blanck}, Rev. Symb. Log. 14, No. 3, 624--644 (2021; Zbl 1508.03091) Full Text: DOI arXiv
Ferreira, Fernando The abstract type of the real numbers. (English) Zbl 1486.03098 Arch. Math. Logic 60, No. 7-8, 1005-1017 (2021). Reviewer: Jeffry L. Hirst (Boone) MSC: 03F35 03B30 03F10 03F25 54F15 PDFBibTeX XMLCite \textit{F. Ferreira}, Arch. Math. Logic 60, No. 7--8, 1005--1017 (2021; Zbl 1486.03098) Full Text: DOI
Jäger, Gerhard Short note: least fixed points versus least closed points. (English) Zbl 1484.03124 Arch. Math. Logic 60, No. 7-8, 831-835 (2021). Reviewer: Bruno Dinis (Évora) MSC: 03F35 03F25 PDFBibTeX XMLCite \textit{G. Jäger}, Arch. Math. Logic 60, No. 7--8, 831--835 (2021; Zbl 1484.03124) Full Text: DOI
Arai, Toshiyasu; Wainer, Stanley S.; Weiermann, Andreas Goodstein sequences based on a parametrized Ackermann-Péter function. (English) Zbl 07396324 Bull. Symb. Log. 27, No. 2, 168-186 (2021). MSC: 03F15 03F25 03F30 03F35 03D55 PDFBibTeX XMLCite \textit{T. Arai} et al., Bull. Symb. Log. 27, No. 2, 168--186 (2021; Zbl 07396324) Full Text: DOI
Dinis, Bruno; Oliva, Paulo A parametrised functional interpretation of Heyting arithmetic. (English) Zbl 1506.03122 Ann. Pure Appl. Logic 172, No. 4, Article ID 102940, 24 p. (2021). MSC: 03F10 03F25 03F07 03F30 03F55 PDFBibTeX XMLCite \textit{B. Dinis} and \textit{P. Oliva}, Ann. Pure Appl. Logic 172, No. 4, Article ID 102940, 24 p. (2021; Zbl 1506.03122) Full Text: DOI arXiv Link
Visser, Albert Friedman-reflexivity: interpreters as consistoids. arXiv:2111.14413 Preprint, arXiv:2111.14413 [math.LO] (2021). MSC: 03F25 03F30 03F40 BibTeX Cite \textit{A. Visser}, ``Friedman-reflexivity: interpreters as consistoids'', Preprint, arXiv:2111.14413 [math.LO] (2021) Full Text: arXiv OA License
Pakhomov, Fedor; Walsh, James Reflection ranks via infinitary derivations. arXiv:2107.03521 Preprint, arXiv:2107.03521 [math.LO] (2021). MSC: 03F35 03F05 03F15 03F25 BibTeX Cite \textit{F. Pakhomov} and \textit{J. Walsh}, ``Reflection ranks via infinitary derivations'', Preprint, arXiv:2107.03521 [math.LO] (2021) Full Text: arXiv OA License
Walsh, James On the Hierarchy of Natural Theories. arXiv:2106.05794 Preprint, arXiv:2106.05794 [math.LO] (2021). MSC: 03F25 03F40 03F15 03F30 03F35 BibTeX Cite \textit{J. Walsh}, ``On the Hierarchy of Natural Theories'', Preprint, arXiv:2106.05794 [math.LO] (2021) Full Text: arXiv OA License
Visser, Albert Cyclic Henkin Logic. arXiv:2101.11462 Preprint, arXiv:2101.11462 [math.LO] (2021). MSC: 03A05 03B25 03F25 03F30 03F45 BibTeX Cite \textit{A. Visser}, ``Cyclic Henkin Logic'', Preprint, arXiv:2101.11462 [math.LO] (2021) Full Text: arXiv OA License
Coquand, Thierry; Neuwirth, Stefan Lorenzen’s proof of consistency for elementary number theory. (English) Zbl 1512.03073 Hist. Philos. Log. 41, No. 3, 281-290 (2020). MSC: 03F25 03F30 06A06 03-03 01A75 PDFBibTeX XMLCite \textit{T. Coquand} and \textit{S. Neuwirth}, Hist. Philos. Log. 41, No. 3, 281--290 (2020; Zbl 1512.03073) Full Text: DOI
Lorenzen, Paul [Neuwirth, Stefan] A proof of freedom from contradiction within the theory of partial order. (Ein halbordnungstheoretischer Widerspruchsfreiheitsbeweis.) (German, English) Zbl 1512.03074 Hist. Philos. Log. 41, No. 3, 265-280 (2020). MSC: 03F25 06A06 03-03 01A75 PDFBibTeX XMLCite \textit{P. Lorenzen}, Hist. Philos. Log. 41, No. 3, 265--280 (2020; Zbl 1512.03074) Full Text: DOI
Aschenbrenner, Matthias; Khélif, Anatole; Naziazeno, Eudes; Scanlon, Thomas The logical complexity of finitely generated commutative rings. (English) Zbl 1476.03047 Int. Math. Res. Not. 2020, No. 1, 112-166 (2020). MSC: 03C60 03F25 13L05 PDFBibTeX XMLCite \textit{M. Aschenbrenner} et al., Int. Math. Res. Not. 2020, No. 1, 112--166 (2020; Zbl 1476.03047) Full Text: DOI arXiv
Engrácia, Patrícia; Ferreira, Fernando Bounded functional interpretation with an abstract type. (English) Zbl 1505.03126 Rezuş, Adrian (ed.), Contemporary logic and computing. London: College Publications. Landsc. Log. 1, 87-112 (2020). MSC: 03F10 03F30 03F25 PDFBibTeX XMLCite \textit{P. Engrácia} and \textit{F. Ferreira}, Landsc. Log. 1, 87--112 (2020; Zbl 1505.03126)
Almeida, Edgar L. B.; Freire, Rodrigo A. On existence in arithmetic. (English) Zbl 1487.03028 Costa-Leite, Alexandre (ed.), Abstract consequence and logics. Essays in honor of Edelcio G. de Souza. London: College Publications. Tributes 42, 199-218 (2020). MSC: 03B30 03F35 03F25 PDFBibTeX XMLCite \textit{E. L. B. Almeida} and \textit{R. A. Freire}, Tributes 42, 199--218 (2020; Zbl 1487.03028)
Powell, Thomas On the computational content of Zorn’s lemma. (English) Zbl 1498.03153 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 768-781 (2020). MSC: 03F25 03F10 03D65 03E25 PDFBibTeX XMLCite \textit{T. Powell}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 768--781 (2020; Zbl 1498.03153) Full Text: DOI arXiv
Warren, Jared Shadows of syntax. Revitalizing logical and mathematical conventionalism. (English) Zbl 07247163 New York, NY: Oxford University Press (ISBN 978-0-19-008615-2/hbk; 978-0-19-008616-9/ebook). xx, 385 p. (2020). MSC: 03-02 03A05 03F30 03H15 03F25 00A30 PDFBibTeX XMLCite \textit{J. Warren}, Shadows of syntax. Revitalizing logical and mathematical conventionalism. New York, NY: Oxford University Press (2020; Zbl 07247163) Full Text: DOI
Ferreira, Fernando The FAN principle and weak König’s lemma in Herbrandized second-order arithmetic. (English) Zbl 1455.03077 Ann. Pure Appl. Logic 171, No. 9, Article ID 102843, 20 p. (2020). Reviewer: Bruno Dinis (Lisboa) MSC: 03F10 03F35 03F50 03B40 03F25 PDFBibTeX XMLCite \textit{F. Ferreira}, Ann. Pure Appl. Logic 171, No. 9, Article ID 102843, 20 p. (2020; Zbl 1455.03077) Full Text: DOI
McEldowney, Paul Anh On Morita equivalence and interpretability. (English) Zbl 1444.03004 Rev. Symb. Log. 13, No. 2, 388-415 (2020). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03A10 03F25 00A30 03A05 PDFBibTeX XMLCite \textit{P. A. McEldowney}, Rev. Symb. Log. 13, No. 2, 388--415 (2020; Zbl 1444.03004) Full Text: DOI
Visser, Albert Another look at the second incompleteness theorem. (English) Zbl 1444.03168 Rev. Symb. Log. 13, No. 2, 269-295 (2020). Reviewer: Victor V. Pambuccian (Glendale) MSC: 03F40 03B25 03F25 03F30 03F45 03A05 PDFBibTeX XMLCite \textit{A. Visser}, Rev. Symb. Log. 13, No. 2, 269--295 (2020; Zbl 1444.03168) Full Text: DOI
Goris, Evan; Joosten, Joost J. Two new series of principles in the interpretability logic of all reasonable arithmetical theories. (English) Zbl 1471.03085 J. Symb. Log. 85, No. 1, 1-25 (2020). Reviewer: Osamu Sonobe (Follonica) MSC: 03F45 03F25 03B45 03B60 03F30 03F40 PDFBibTeX XMLCite \textit{E. Goris} and \textit{J. J. Joosten}, J. Symb. Log. 85, No. 1, 1--25 (2020; Zbl 1471.03085) Full Text: DOI Link
Walsh, James A note on the consistency operator. (English) Zbl 1443.03042 Proc. Am. Math. Soc. 148, No. 6, 2645-2654 (2020). Reviewer: Anton Freund (Darmstadt) MSC: 03F40 03F25 03F35 PDFBibTeX XMLCite \textit{J. Walsh}, Proc. Am. Math. Soc. 148, No. 6, 2645--2654 (2020; Zbl 1443.03042) Full Text: DOI arXiv
Alam, Irfan Generalizing the de Finetti–Hewitt–Savage theorem. arXiv:2008.08754 Preprint, arXiv:2008.08754 [math.PR] (2020). MSC: 60G09 28E05 28A33 60B05 00A30 26E35 54J05 60C05 28C15 03H05 62A99 03F25 01A07 00A35 01A67 03A05 BibTeX Cite \textit{I. Alam}, ``Generalizing the de Finetti--Hewitt--Savage theorem'', Preprint, arXiv:2008.08754 [math.PR] (2020) Full Text: arXiv OA License
Inoué, Takao The consistency of arithmetic from a point of view of constructive tableau method with strong negation, Part I: the system without complete induction. arXiv:2010.07368 Preprint, arXiv:2010.07368 [math.LO] (2020). MSC: 03F03 03F25 03F30 03F50 BibTeX Cite \textit{T. Inoué}, ``The consistency of arithmetic from a point of view of constructive tableau method with strong negation, Part I: the system without complete induction'', Preprint, arXiv:2010.07368 [math.LO] (2020) Full Text: arXiv OA License
Kołodziejczyk, Leszek Aleksander; Wong, Tin Lok; Yokoyama, Keita Ramsey’s theorem for pairs, collection, and proof size. arXiv:2005.06854 Preprint, arXiv:2005.06854 [math.LO] (2020). MSC: 03B30 03F35 03F20 03F25 03F30 03H15 05D10 BibTeX Cite \textit{L. A. Kołodziejczyk} et al., ``Ramsey's theorem for pairs, collection, and proof size'', Preprint, arXiv:2005.06854 [math.LO] (2020) Full Text: arXiv OA License
Willard, Dan E. How the Law of Excluded Middle Pertains to the Second Incompleteness Theorem and its Boundary-Case Exceptions. arXiv:2006.01057 Preprint, arXiv:2006.01057 [math.LO] (2020). MSC: 03F25 03F30 BibTeX Cite \textit{D. E. Willard}, ``How the Law of Excluded Middle Pertains to the Second Incompleteness Theorem and its Boundary-Case Exceptions'', Preprint, arXiv:2006.01057 [math.LO] (2020) Full Text: arXiv OA License
Parsons, Charles Remarks on two papers of Paul Bernays. (English) Zbl 1465.03033 Mras, Gabriele M. (ed.) et al., Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter. Publ. Austrian Ludwig Wittgenstein Soc. New Ser. 27, 297-312 (2019). MSC: 03A05 00A30 03F25 03F30 03-03 01A60 PDFBibTeX XMLCite \textit{C. Parsons}, Publ. Austrian Ludwig Wittgenstein Soc. New Ser. 27, 297--312 (2019; Zbl 1465.03033) Full Text: DOI
Rathjen, Michael; Toppel, Michael On relating theories: proof-theoretical reduction. (English) Zbl 1469.03160 Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 311-331 (2019). MSC: 03F15 03F25 03F35 03F50 PDFBibTeX XMLCite \textit{M. Rathjen} and \textit{M. Toppel}, Synth. Libr. 412, 311--331 (2019; Zbl 1469.03160) Full Text: DOI Link
Powell, Thomas Computational interpretations of classical reasoning: from the epsilon calculus to stateful programs. (English) Zbl 1469.03161 Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 255-290 (2019). MSC: 03F25 03F30 03F35 03F10 PDFBibTeX XMLCite \textit{T. Powell}, Synth. Libr. 412, 255--290 (2019; Zbl 1469.03161) Full Text: DOI arXiv
Mainzer, Klaus From mathesis universalis to provability, computability, and constructivity. (English) Zbl 1469.03113 Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 203-234 (2019). MSC: 03D10 03D35 03F35 03F60 03B30 03F25 68V15 03B38 55U40 PDFBibTeX XMLCite \textit{K. Mainzer}, Synth. Libr. 412, 203--234 (2019; Zbl 1469.03113) Full Text: DOI
Jäger, Gerhard; Steila, Silvia From mathesis universalis to fixed points and related set-theoretic concepts. (English) Zbl 1469.03140 Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 113-129 (2019). MSC: 03E30 03F03 03F25 03E45 PDFBibTeX XMLCite \textit{G. Jäger} and \textit{S. Steila}, Synth. Libr. 412, 113--129 (2019; Zbl 1469.03140) Full Text: DOI
Altenkirch, Thorsten; Boulier, Simon; Kaposi, Ambrus; Tabareau, Nicolas Setoid type theory – a syntactic translation. (English) Zbl 1434.03034 Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 155-196 (2019). MSC: 03B38 03B40 03F25 PDFBibTeX XMLCite \textit{T. Altenkirch} et al., Lect. Notes Comput. Sci. 11825, 155--196 (2019; Zbl 1434.03034) Full Text: DOI
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
Visser, Albert From Tarski to Gödel – or how to derive the second incompleteness theorem from the undefinability of truth without self-reference. (English) Zbl 1444.03167 J. Log. Comput. 29, No. 5, 595-604 (2019). MSC: 03F40 03F25 03F30 PDFBibTeX XMLCite \textit{A. Visser}, J. Log. Comput. 29, No. 5, 595--604 (2019; Zbl 1444.03167) Full Text: DOI arXiv
Lefever, Koen; Székely, Gergely On generalization of definitional equivalence to non-disjoint languages. (English) Zbl 1457.03024 J. Philos. Log. 48, No. 4, 709-729 (2019). MSC: 03B10 03C40 03F25 PDFBibTeX XMLCite \textit{K. Lefever} and \textit{G. Székely}, J. Philos. Log. 48, No. 4, 709--729 (2019; Zbl 1457.03024) Full Text: DOI arXiv
Rezaei, Akbar On extended implication groupoids. (English) Zbl 1436.03300 Bol. Soc. Mat. Mex., III. Ser. 25, No. 2, 237-247 (2019). Reviewer: Wiesław A. Dudek (Wrocław) MSC: 03F25 08A30 06F35 20N02 PDFBibTeX XMLCite \textit{A. Rezaei}, Bol. Soc. Mat. Mex., III. Ser. 25, No. 2, 237--247 (2019; Zbl 1436.03300) Full Text: DOI
Powell, Thomas Parametrized bar recursion: a unifying framework for realizability interpretations of classical dependent choice. (English) Zbl 1444.03141 J. Log. Comput. 29, No. 4, 519-554 (2019). MSC: 03D65 03F10 03F25 03E25 03B40 PDFBibTeX XMLCite \textit{T. Powell}, J. Log. Comput. 29, No. 4, 519--554 (2019; Zbl 1444.03141) Full Text: DOI arXiv
Kharlampovich, Olga; López, Laura Bi-interpretability of some monoids with the arithmetic and applications. (English) Zbl 1467.03030 Semigroup Forum 99, No. 1, 126-139 (2019). MSC: 03F25 03C60 03C40 03C62 20M05 20M14 PDFBibTeX XMLCite \textit{O. Kharlampovich} and \textit{L. López}, Semigroup Forum 99, No. 1, 126--139 (2019; Zbl 1467.03030) Full Text: DOI arXiv
van den Berg, Benno A Kuroda-style \(j\)-translation. (English) Zbl 1450.03003 Arch. Math. Logic 58, No. 5-6, 627-634 (2019). Reviewer: Jaime Gaspar (Kent) MSC: 03B20 03F25 03F50 PDFBibTeX XMLCite \textit{B. van den Berg}, Arch. Math. Logic 58, No. 5--6, 627--634 (2019; Zbl 1450.03003) Full Text: DOI arXiv
Rezuş, Adrian Book review of: J. von Plato, Saved from the cellar. Gerhard Gentzen’s shorthand notes on logic and the foundations of mathematics. (English) Zbl 1435.00038 Stud. Log. 107, No. 3, 583-589 (2019). MSC: 00A17 03-03 01A60 03F03 03F05 03F25 03F40 03F50 03F55 03A05 01A70 PDFBibTeX XMLCite \textit{A. Rezuş}, Stud. Log. 107, No. 3, 583--589 (2019; Zbl 1435.00038) Full Text: DOI
Hämeen-Anttila, Maria Nominalistic ordinals, recursion on higher types, and finitism. (English) Zbl 1441.03005 Bull. Symb. Log. 25, No. 1, 101-124 (2019). Reviewer: Roman Murawski (Poznań) MSC: 03-03 01A60 03F15 03F25 PDFBibTeX XMLCite \textit{M. Hämeen-Anttila}, Bull. Symb. Log. 25, No. 1, 101--124 (2019; Zbl 1441.03005) Full Text: DOI Link
Kanckos, Annika A note on Gentzen’s ordinal assignment. (English) Zbl 1477.03249 Arch. Math. Logic 58, No. 3-4, 347-352 (2019). MSC: 03F25 03F30 03F05 03F15 PDFBibTeX XMLCite \textit{A. Kanckos}, Arch. Math. Logic 58, No. 3--4, 347--352 (2019; Zbl 1477.03249) Full Text: DOI Link
Freund, Anton A note on iterated consistency and infinite proofs. (English) Zbl 1454.03075 Arch. Math. Logic 58, No. 3-4, 339-346 (2019). Reviewer: Valery Plisko (Moskva) MSC: 03F05 03F25 03F15 03B30 03F30 PDFBibTeX XMLCite \textit{A. Freund}, Arch. Math. Logic 58, No. 3--4, 339--346 (2019; Zbl 1454.03075) Full Text: DOI arXiv
Pakhomov, Fedor; Visser, Albert On a question of Krajewski’s. (English) Zbl 1441.03010 J. Symb. Log. 84, No. 1, 343-358 (2019). Reviewer: Branislav Boričić (Beograd) MSC: 03B10 03B30 03D30 03F25 PDFBibTeX XMLCite \textit{F. Pakhomov} and \textit{A. Visser}, J. Symb. Log. 84, No. 1, 343--358 (2019; Zbl 1441.03010) Full Text: DOI arXiv
Kentaro, Sato A note on predicative ordinal analysis. I. Iterated comprehension and transfinite induction. (English) Zbl 1467.03031 J. Symb. Log. 84, No. 1, 226-265 (2019). Reviewer: Valery Plisko (Moskva) MSC: 03F30 03F05 03F15 03F25 03F35 03D20 PDFBibTeX XMLCite \textit{S. Kentaro}, J. Symb. Log. 84, No. 1, 226--265 (2019; Zbl 1467.03031) Full Text: DOI
Chow, Timothy Y. The consistency of arithmetic. (English) Zbl 1428.03074 Math. Intell. 41, No. 1, 22-30 (2019). Reviewer: Roman Murawski (Poznań) MSC: 03F30 03F25 PDFBibTeX XMLCite \textit{T. Y. Chow}, Math. Intell. 41, No. 1, 22--30 (2019; Zbl 1428.03074) Full Text: DOI arXiv
Artemov, Sergei The Provability of Consistency. arXiv:1902.07404 Preprint, arXiv:1902.07404 [math.LO] (2019). MSC: 03F03 03F25 03F30 03F40 03F50 BibTeX Cite \textit{S. Artemov}, ``The Provability of Consistency'', Preprint, arXiv:1902.07404 [math.LO] (2019) Full Text: arXiv OA License
Powell, Thomas A functional interpretation with state. (English) Zbl 1453.03065 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 839-848 (2018). MSC: 03F25 03F10 03F30 PDFBibTeX XMLCite \textit{T. Powell}, in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 839--848 (2018; Zbl 1453.03065) Full Text: DOI
Dewar, Neil On translating between logics. (English) Zbl 1428.03014 Analysis, Oxf. 78, No. 4, 622-630 (2018). MSC: 03A05 03B99 03F25 PDFBibTeX XMLCite \textit{N. Dewar}, Analysis, Oxf. 78, No. 4, 622--630 (2018; Zbl 1428.03014) Full Text: DOI Link
Darnell, Eamon; Thomas-Bolduc, Aaron Takeuti’s well-ordering proof: finitistically fine? (English) Zbl 1404.03006 Zack, Maria (ed.) et al., Research in history and philosophy of mathematics. The CSHPM 2017 annual meeting in Toronto, Ontario, Canada, May 2017. Cham: Birkhäuser (ISBN 978-3-319-90855-7/hbk; 978-3-319-90983-7/ebook). Proceedings of the Canadian Society for History and Philosophy of Mathematics/La Société Canadienne d’Histoire et de Philosophie des Mathématiques, 167-180 (2018). MSC: 03-03 03F25 03F30 03F05 03F15 01A60 PDFBibTeX XMLCite \textit{E. Darnell} and \textit{A. Thomas-Bolduc}, in: Research in history and philosophy of mathematics. The CSHPM 2017 annual meeting in Toronto, Ontario, Canada, May 2017. Cham: Birkhäuser. 167--180 (2018; Zbl 1404.03006) Full Text: DOI Link
Ishihara, Hajime; Maietti, Maria Emilia; Maschio, Samuele; Streicher, Thomas Consistency of the intensional level of the minimalist foundation with Church’s thesis and axiom of choice. (English) Zbl 1522.03323 Arch. Math. Logic 57, No. 7-8, 873-888 (2018). MSC: 03F25 03B38 03F30 03F50 03F65 PDFBibTeX XMLCite \textit{H. Ishihara} et al., Arch. Math. Logic 57, No. 7--8, 873--888 (2018; Zbl 1522.03323) Full Text: DOI
Fujiwara, Makoto; Kohlenbach, Ulrich Interrelation between weak fragments of double negation shift and related principles. (English) Zbl 1445.03006 J. Symb. Log. 83, No. 3, 991-1012 (2018). Reviewer: Valery Plisko (Moskva) MSC: 03B20 03F50 03F10 03F25 03F35 PDFBibTeX XMLCite \textit{M. Fujiwara} and \textit{U. Kohlenbach}, J. Symb. Log. 83, No. 3, 991--1012 (2018; Zbl 1445.03006) Full Text: DOI Link
Montalbán, Antonio; Shore, Richard A. Conservativity of ultrafilters over subsystems of second order arithmetic. (English) Zbl 1522.03325 J. Symb. Log. 83, No. 2, 740-765 (2018). MSC: 03F35 03B30 03D80 03F25 PDFBibTeX XMLCite \textit{A. Montalbán} and \textit{R. A. Shore}, J. Symb. Log. 83, No. 2, 740--765 (2018; Zbl 1522.03325) Full Text: DOI Link
Jäger, Gerhard; Steila, Silvia About some fixed point axioms and related principles in Kripke-Platek environments. (English) Zbl 1469.03139 J. Symb. Log. 83, No. 2, 642-668 (2018). MSC: 03E30 03F03 03F25 03E45 PDFBibTeX XMLCite \textit{G. Jäger} and \textit{S. Steila}, J. Symb. Log. 83, No. 2, 642--668 (2018; Zbl 1469.03139) Full Text: DOI
Schindler, Thomas Some notes on truths and comprehension. (English) Zbl 1436.03308 J. Philos. Log. 47, No. 3, 449-479 (2018). MSC: 03F35 03F25 03A05 PDFBibTeX XMLCite \textit{T. Schindler}, J. Philos. Log. 47, No. 3, 449--479 (2018; Zbl 1436.03308) Full Text: DOI Link
Zapryagaev, Alexander; Pakhomov, Fedor Interpretations of Presburger arithmetic in itself. (English) Zbl 1503.03046 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10703, 354-367 (2018). MSC: 03F30 03F25 PDFBibTeX XMLCite \textit{A. Zapryagaev} and \textit{F. Pakhomov}, Lect. Notes Comput. Sci. 10703, 354--367 (2018; Zbl 1503.03046) Full Text: DOI arXiv
Dinis, Bruno; Gaspar, Jaime Intuitionistic nonstandard bounded modified realisability and functional interpretation. (English) Zbl 1426.03013 Ann. Pure Appl. Logic 169, No. 5, 392-412 (2018). Reviewer: Valery Plisko (Moskva) MSC: 03B20 03F25 03F35 11U10 PDFBibTeX XMLCite \textit{B. Dinis} and \textit{J. Gaspar}, Ann. Pure Appl. Logic 169, No. 5, 392--412 (2018; Zbl 1426.03013) Full Text: DOI arXiv
Heck, Richard G. jun. The logical strength of compositional principles. (English) Zbl 1384.03037 Notre Dame J. Formal Logic 59, No. 1, 1-33 (2018). MSC: 03A05 03F30 03F25 PDFBibTeX XMLCite \textit{R. G. Heck jun.}, Notre Dame J. Formal Logic 59, No. 1, 1--33 (2018; Zbl 1384.03037) Full Text: DOI Euclid Link
Willard, Dan E. About the Chasm Separating the Goals of Hilbert’s Consistency Program from the Second Incompletess Theorem. arXiv:1807.04717 Preprint, arXiv:1807.04717 [math.LO] (2018). MSC: 03B52 03F25 03F45 BibTeX Cite \textit{D. E. Willard}, ``About the Chasm Separating the Goals of Hilbert's Consistency Program from the Second Incompletess Theorem'', Preprint, arXiv:1807.04717 [math.LO] (2018) Full Text: arXiv OA License