Grochow, Joshua A. Polynomial-time axioms of choice and polynomial-time cardinality. (English) Zbl 07719400 Theory Comput. Syst. 67, No. 3, 627-669 (2023). MSC: 68Qxx 03Dxx 03-XX PDFBibTeX XMLCite \textit{J. A. Grochow}, Theory Comput. Syst. 67, No. 3, 627--669 (2023; Zbl 07719400) Full Text: DOI arXiv
Carson, Jacob; Cenzer, Douglas; Remmel, Jeffrey B. Effective categoricity of automatic equivalence and nested equivalence structures. (English) Zbl 1485.03109 Theory Comput. Syst. 64, No. 6, 1110-1139 (2020). MSC: 03C57 03C35 PDFBibTeX XMLCite \textit{J. Carson} et al., Theory Comput. Syst. 64, No. 6, 1110--1139 (2020; Zbl 1485.03109) Full Text: DOI
Case, John Resource restricted computability theoretic learning: Illustrative topics and problems. (English) Zbl 1187.68382 Theory Comput. Syst. 45, No. 4, 773-786 (2009). MSC: 68T05 PDFBibTeX XMLCite \textit{J. Case}, Theory Comput. Syst. 45, No. 4, 773--786 (2009; Zbl 1187.68382) Full Text: DOI