Correction to: “The field of LE-series with a nonstandard analytic structure”. (English) Zbl 1453.03034 Notre Dame J. Formal Logic 57, No. 1, 151 (2016). MSC: 03C64 PDFBibTeX XMLCite Notre Dame J. Formal Logic 57, No. 1, 151 (2016; Zbl 1453.03034) Full Text: DOI
Alizadeh, Majid; Ardeshir, Mohammad; Ruitenburg, Wim Boolean algebras in Visser algebras. (English) Zbl 1347.03105 Notre Dame J. Formal Logic 57, No. 1, 141-150 (2016). MSC: 03G05 03G25 06D20 03B20 PDFBibTeX XMLCite \textit{M. Alizadeh} et al., Notre Dame J. Formal Logic 57, No. 1, 141--150 (2016; Zbl 1347.03105) Full Text: DOI
Nurkhaidarov, Ermek S.; Shochat, Erez Closed normal subgroups of the automorphism group of a saturated model of Peano arithmetic. (English) Zbl 1354.03049 Notre Dame J. Formal Logic 57, No. 1, 127-139 (2016). Reviewer: Roman Kossak (New York) MSC: 03C62 03C50 03H15 PDFBibTeX XMLCite \textit{E. S. Nurkhaidarov} and \textit{E. Shochat}, Notre Dame J. Formal Logic 57, No. 1, 127--139 (2016; Zbl 1354.03049) Full Text: DOI
Tennant, Neil Rule-irredundancy and the sequent calculus for core logic. (English) Zbl 1403.03117 Notre Dame J. Formal Logic 57, No. 1, 105-125 (2016). MSC: 03F05 03F03 PDFBibTeX XMLCite \textit{N. Tennant}, Notre Dame J. Formal Logic 57, No. 1, 105--125 (2016; Zbl 1403.03117) Full Text: DOI Link
Humberstone, Lloyd Note on extending congruential modal logics. (English) Zbl 1350.03018 Notre Dame J. Formal Logic 57, No. 1, 95-103 (2016). Reviewer: Can Baskent (Bath) MSC: 03B45 PDFBibTeX XMLCite \textit{L. Humberstone}, Notre Dame J. Formal Logic 57, No. 1, 95--103 (2016; Zbl 1350.03018) Full Text: DOI
Stephenson, Jonathan Controlling effective packing dimension of \(\Delta_2^0\) degrees. (English) Zbl 1352.03048 Notre Dame J. Formal Logic 57, No. 1, 73-93 (2016). Reviewer: Liang Yu (Nanjing) MSC: 03D32 68Q30 PDFBibTeX XMLCite \textit{J. Stephenson}, Notre Dame J. Formal Logic 57, No. 1, 73--93 (2016; Zbl 1352.03048) Full Text: DOI
Goddard, Christina Improving a bounding result that constructs models of high Scott rank. (English) Zbl 1402.03057 Notre Dame J. Formal Logic 57, No. 1, 59-71 (2016). MSC: 03C70 03D60 03C15 PDFBibTeX XMLCite \textit{C. Goddard}, Notre Dame J. Formal Logic 57, No. 1, 59--71 (2016; Zbl 1402.03057) Full Text: DOI Euclid
Fokina, Ekaterina; Frolov, Andrey; Kalimullin, Iskander Categoricity spectra for rigid structures. (English) Zbl 1359.03030 Notre Dame J. Formal Logic 57, No. 1, 45-57 (2016). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03C57 03D45 03C35 03D28 PDFBibTeX XMLCite \textit{E. Fokina} et al., Notre Dame J. Formal Logic 57, No. 1, 45--57 (2016; Zbl 1359.03030) Full Text: DOI Link
Jura, Matthew Reverse mathematics and the coloring number of graphs. (English) Zbl 1353.03008 Notre Dame J. Formal Logic 57, No. 1, 27-44 (2016). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 03D80 05C15 PDFBibTeX XMLCite \textit{M. Jura}, Notre Dame J. Formal Logic 57, No. 1, 27--44 (2016; Zbl 1353.03008) Full Text: DOI Link
Corduan, Jared; Groszek, Marcia Reverse mathematics and Ramsey properties of partial orderings. (English) Zbl 1353.03007 Notre Dame J. Formal Logic 57, No. 1, 1-25 (2016). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 05C55 05D10 PDFBibTeX XMLCite \textit{J. Corduan} and \textit{M. Groszek}, Notre Dame J. Formal Logic 57, No. 1, 1--25 (2016; Zbl 1353.03007) Full Text: DOI