Cantone, Domenico; Omodeo, Eugenio G.; Panettiere, Mattia Reconciling transparency, low \(\varDelta_0\)-complexity and axiomatic weakness in undecidability proofs. (English) Zbl 07696222 J. Log. Comput. 33, No. 4, 738-763 (2023). MSC: 03-XX 68-XX PDFBibTeX XMLCite \textit{D. Cantone} et al., J. Log. Comput. 33, No. 4, 738--763 (2023; Zbl 07696222) Full Text: DOI
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
Cheng, Yong Finding the limit of incompleteness. I. (English) Zbl 1464.03089 Bull. Symb. Log. 26, No. 3-4, 268-286 (2020). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 03F30 03D35 PDFBibTeX XMLCite \textit{Y. Cheng}, Bull. Symb. Log. 26, No. 3--4, 268--286 (2020; Zbl 1464.03089) Full Text: DOI arXiv
Hájek, Petr Towards metamathematics of weak arithmetics over fuzzy logic. (English) Zbl 1243.03032 Log. J. IGPL 19, No. 3, 467-475 (2011). MSC: 03B52 03C62 03F30 PDFBibTeX XMLCite \textit{P. Hájek}, Log. J. IGPL 19, No. 3, 467--475 (2011; Zbl 1243.03032) Full Text: DOI
Švejdar, Vítězslav On interpretability in the theory of concatenation. (English) Zbl 1190.03051 Notre Dame J. Formal Logic 50, No. 1, 87-95 (2009). MSC: 03F25 03B25 PDFBibTeX XMLCite \textit{V. Švejdar}, Notre Dame J. Formal Logic 50, No. 1, 87--95 (2009; Zbl 1190.03051) Full Text: DOI