Petrenko, Oleksandr; Protasov, Igor Selective and Ramsey ultrafilters on \(G\)-spaces. (English) Zbl 1368.05150 Notre Dame J. Formal Logic 58, No. 3, 453-459 (2017). MSC: 05D10 54H15 PDFBibTeX XMLCite \textit{O. Petrenko} and \textit{I. Protasov}, Notre Dame J. Formal Logic 58, No. 3, 453--459 (2017; Zbl 1368.05150) Full Text: DOI arXiv Euclid
Dawar, Anuj; Forster, Thomas; McKenzie, Zachiri Decidable fragments of the simple theory of types with infinity and NF. (English) Zbl 1417.03271 Notre Dame J. Formal Logic 58, No. 3, 433-451 (2017). MSC: 03E70 03B25 03B15 PDFBibTeX XMLCite \textit{A. Dawar} et al., Notre Dame J. Formal Logic 58, No. 3, 433--451 (2017; Zbl 1417.03271) Full Text: DOI arXiv Euclid
Zeman, Martin Two upper bounds on consistency strength of \(\neg \square_{\aleph_\omega}\) and stationary set reflection at two successive \(\aleph_n\). (English) Zbl 1417.03252 Notre Dame J. Formal Logic 58, No. 3, 409-432 (2017). MSC: 03E05 03E35 03E45 03E55 PDFBibTeX XMLCite \textit{M. Zeman}, Notre Dame J. Formal Logic 58, No. 3, 409--432 (2017; Zbl 1417.03252) Full Text: DOI Euclid
Cunningham, Daniel A diamond principle consistent with AD. (English) Zbl 1417.03261 Notre Dame J. Formal Logic 58, No. 3, 397-407 (2017). MSC: 03E35 03E15 03E45 03E60 PDFBibTeX XMLCite \textit{D. Cunningham}, Notre Dame J. Formal Logic 58, No. 3, 397--407 (2017; Zbl 1417.03261) Full Text: DOI Euclid
Yorioka, Teruyuki Club-isomorphisms of Aronszajn trees in the extension with a Suslin tree. (English) Zbl 1417.03267 Notre Dame J. Formal Logic 58, No. 3, 381-396 (2017). MSC: 03E35 03E50 03E57 03E05 PDFBibTeX XMLCite \textit{T. Yorioka}, Notre Dame J. Formal Logic 58, No. 3, 381--396 (2017; Zbl 1417.03267) Full Text: DOI Euclid
Hadzihasanovic, Amar; van den Berg, Benno Nonstandard functional interpretations and categorical models. (English) Zbl 1431.03081 Notre Dame J. Formal Logic 58, No. 3, 343-380 (2017). MSC: 03H15 03F25 03G30 PDFBibTeX XMLCite \textit{A. Hadzihasanovic} and \textit{B. van den Berg}, Notre Dame J. Formal Logic 58, No. 3, 343--380 (2017; Zbl 1431.03081) Full Text: DOI arXiv Euclid
Joray, Pierre A completed system for Robin Smith’s incomplete ecthetic syllogistic. (English) Zbl 1380.03016 Notre Dame J. Formal Logic 58, No. 3, 329-342 (2017). MSC: 03A05 PDFBibTeX XMLCite \textit{P. Joray}, Notre Dame J. Formal Logic 58, No. 3, 329--342 (2017; Zbl 1380.03016) Full Text: DOI Euclid
Bienvenu, Laurent; Hölzl, Rupert; Porter, Christopher P.; Shafer, Paul Randomness and semimeasures. (English) Zbl 1417.03242 Notre Dame J. Formal Logic 58, No. 3, 301-328 (2017). MSC: 03D32 PDFBibTeX XMLCite \textit{L. Bienvenu} et al., Notre Dame J. Formal Logic 58, No. 3, 301--328 (2017; Zbl 1417.03242) Full Text: DOI arXiv Euclid Link