Hermo Reyes, Eduardo; Joosten, Joost J. The logic of Turing progressions. (English) Zbl 1452.03132 Notre Dame J. Formal Logic 61, No. 1, 155-180 (2020). Reviewer: Mladen Vuković (Zagreb) MSC: 03F45 03F30 03F03 03B45 PDFBibTeX XMLCite \textit{E. Hermo Reyes} and \textit{J. J. Joosten}, Notre Dame J. Formal Logic 61, No. 1, 155--180 (2020; Zbl 1452.03132) Full Text: DOI arXiv Euclid Link
Wu, Huishan The complexity of radicals and socles of modules. (English) Zbl 1484.03019 Notre Dame J. Formal Logic 61, No. 1, 141-153 (2020). MSC: 03B30 03D15 03D45 PDFBibTeX XMLCite \textit{H. Wu}, Notre Dame J. Formal Logic 61, No. 1, 141--153 (2020; Zbl 1484.03019) Full Text: DOI Euclid
Oms, Sergi A remark on probabilistic measures of coherence. (English) Zbl 1437.81010 Notre Dame J. Formal Logic 61, No. 1, 129-140 (2020). MSC: 81P05 03A10 81P10 PDFBibTeX XMLCite \textit{S. Oms}, Notre Dame J. Formal Logic 61, No. 1, 129--140 (2020; Zbl 1437.81010) Full Text: DOI Euclid
Kanovei, Vladimir; Lyubetsky, Vassily Canonization of smooth equivalence relations on infinite-dimensional \(\mathsf{E}_0\)-large products. (English) Zbl 1471.03072 Notre Dame J. Formal Logic 61, No. 1, 117-128 (2020). Reviewer: Longyun Ding (Tianjin) MSC: 03E15 03E35 PDFBibTeX XMLCite \textit{V. Kanovei} and \textit{V. Lyubetsky}, Notre Dame J. Formal Logic 61, No. 1, 117--128 (2020; Zbl 1471.03072) Full Text: DOI arXiv Euclid
Ciardelli, Ivano; Iemhoff, Rosalie; Yang, Fan Questions and dependency in intuitionistic logic. (English) Zbl 1453.03025 Notre Dame J. Formal Logic 61, No. 1, 75-115 (2020). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03B65 03B60 03B20 PDFBibTeX XMLCite \textit{I. Ciardelli} et al., Notre Dame J. Formal Logic 61, No. 1, 75--115 (2020; Zbl 1453.03025) Full Text: DOI arXiv Euclid Link
Sanders, Sam Splittings and disjunctions in reverse mathematics. (English) Zbl 1462.03009 Notre Dame J. Formal Logic 61, No. 1, 51-74 (2020). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03D65 03F35 PDFBibTeX XMLCite \textit{S. Sanders}, Notre Dame J. Formal Logic 61, No. 1, 51--74 (2020; Zbl 1462.03009) Full Text: DOI arXiv Euclid
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
Badia, Guillermo; Olkhovikov, Grigory A Lindström theorem for intuitionistic propositional logic. (English) Zbl 1484.03073 Notre Dame J. Formal Logic 61, No. 1, 11-30 (2020). MSC: 03C95 03B20 PDFBibTeX XMLCite \textit{G. Badia} and \textit{G. Olkhovikov}, Notre Dame J. Formal Logic 61, No. 1, 11--30 (2020; Zbl 1484.03073) Full Text: DOI arXiv Euclid
Valizadeh, Ali N.; Pourmahdian, Massoud Pseudofiniteness in Hrushovski constructions. (English) Zbl 1484.03057 Notre Dame J. Formal Logic 61, No. 1, 1-10 (2020). MSC: 03C45 03C15 05C63 05C65 PDFBibTeX XMLCite \textit{A. N. Valizadeh} and \textit{M. Pourmahdian}, Notre Dame J. Formal Logic 61, No. 1, 1--10 (2020; Zbl 1484.03057) Full Text: DOI arXiv Euclid