Downey, Rodney G.; Melnikov, Alexander G. Computably compact metric spaces. (English) Zbl 07725101 Bull. Symb. Log. 29, No. 2, 170-263 (2023). MSC: 03D45 03D78 03C57 PDFBibTeX XMLCite \textit{R. G. Downey} and \textit{A. G. Melnikov}, Bull. Symb. Log. 29, No. 2, 170--263 (2023; Zbl 07725101) Full Text: DOI
Normann, Dag; Sanders, Sam On the uncountability of \(\mathbb{R}\). (English) Zbl 1523.03004 J. Symb. Log. 87, No. 4, 1474-1521 (2022). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 03D65 03D55 03D30 PDFBibTeX XMLCite \textit{D. Normann} and \textit{S. Sanders}, J. Symb. Log. 87, No. 4, 1474--1521 (2022; Zbl 1523.03004) Full Text: DOI arXiv
Sanders, Sam Representations and the foundations of mathematics. (English) Zbl 07522852 Notre Dame J. Formal Logic 63, No. 1, 1-28 (2022). MSC: 03B30 03F35 PDFBibTeX XMLCite \textit{S. Sanders}, Notre Dame J. Formal Logic 63, No. 1, 1--28 (2022; Zbl 07522852) Full Text: DOI arXiv
Sanders, Sam Nets and reverse mathematics. (English) Zbl 07363324 Computability 10, No. 1, 31-62 (2021). MSC: 03Dxx PDFBibTeX XMLCite \textit{S. Sanders}, Computability 10, No. 1, 31--62 (2021; Zbl 07363324) Full Text: DOI arXiv
Sanders, Sam Reverse mathematics of topology: dimension, paracompactness, and splittings. (English) Zbl 1486.03023 Notre Dame J. Formal Logic 61, No. 4, 537-559 (2020). MSC: 03B30 03F35 PDFBibTeX XMLCite \textit{S. Sanders}, Notre Dame J. Formal Logic 61, No. 4, 537--559 (2020; Zbl 1486.03023) Full Text: DOI arXiv
Marcone, Alberto The reverse mathematics of wqos and bqos. (English) Zbl 1496.03035 Schuster, Peter M. (ed.) et al., Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21–25, 2015 and the Dagstuhl seminar 16031 on well quasi-orders in computer science, Schloss Dagstuhl, Germany, January 17–22, 2016. Cham: Springer. Trends Log. Stud. Log. Libr. 53, 189-219 (2020). MSC: 03B30 03F35 06A06 PDFBibTeX XMLCite \textit{A. Marcone}, Trends Log. Stud. Log. Libr. 53, 189--219 (2020; Zbl 1496.03035) Full Text: DOI arXiv
Normann, Dag; Sanders, Sam On the mathematical and foundational significance of the uncountable. (English) Zbl 1484.03018 J. Math. Log. 19, No. 1, Article ID 1950001, 40 p. (2019). MSC: 03B30 03D65 03F35 PDFBibTeX XMLCite \textit{D. Normann} and \textit{S. Sanders}, J. Math. Log. 19, No. 1, Article ID 1950001, 40 p. (2019; Zbl 1484.03018) Full Text: DOI arXiv
Frittaion, Emanuele; Hendtlass, Matthew; Marcone, Alberto; Shafer, Paul; Van der Meeren, Jeroen Reverse mathematics, well-quasi-orders, and Noetherian spaces. (English) Zbl 1342.03041 Arch. Math. Logic 55, No. 3-4, 431-459 (2016). Reviewer: Jeffry L. Hirst (Boone) MSC: 03F35 03B30 PDFBibTeX XMLCite \textit{E. Frittaion} et al., Arch. Math. Logic 55, No. 3--4, 431--459 (2016; Zbl 1342.03041) Full Text: DOI arXiv Link
Dzhafarov, Damir D.; Mummert, Carl Reverse mathematics and properties of finite character. (English) Zbl 1253.03032 Ann. Pure Appl. Logic 163, No. 9, 1243-1251 (2012). Reviewer: Jeffry L. Hirst (Boone) MSC: 03B30 03F35 03E25 PDFBibTeX XMLCite \textit{D. D. Dzhafarov} and \textit{C. Mummert}, Ann. Pure Appl. Logic 163, No. 9, 1243--1251 (2012; Zbl 1253.03032) Full Text: DOI arXiv
Mummert, Carl; Stephan, Frank Topological aspects of poset spaces. (English) Zbl 1196.54046 Mich. Math. J. 59, No. 1, 3-24 (2010). Reviewer: Jorge Picado (Coimbra) MSC: 54D80 03B30 03E15 54F99 PDFBibTeX XMLCite \textit{C. Mummert} and \textit{F. Stephan}, Mich. Math. J. 59, No. 1, 3--24 (2010; Zbl 1196.54046) Full Text: DOI arXiv
Heinatsch, Christoph \({\Pi^1_2}\)-comprehension and the property of Ramsey. (English) Zbl 1171.03033 Arch. Math. Logic 48, No. 3-4, 323-386 (2009). Reviewer: Jeffry L. Hirst (Boone) MSC: 03F35 03B30 PDFBibTeX XMLCite \textit{C. Heinatsch}, Arch. Math. Logic 48, No. 3--4, 323--386 (2009; Zbl 1171.03033) Full Text: DOI