瓦斯科·布拉特卡;马修·亨特拉斯;亚历山大·克鲁泽。 关于Baire范畴定理的统一计算内容。 (英语) Zbl 1455.03080号 圣母院J.形式逻辑 59,第4号,605-636(2018).MSC公司:03层60 03D28号 03D78号 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka}等人,圣母院J.形式逻辑59,No.4,605--636(2018;Zbl 1455.03080) 全文: DOI程序 arXiv公司 欧几里得
瓦斯科·布拉特卡;马修·亨特拉斯;亚历山大·克鲁泽。 关于可计算性理论的统一计算内容。 (英语) 兹比尔1420.03110 理论计算。系统。 61,第4期,1376-1426(2017).MSC公司:03D78号 03D25号 03D28号 03天32分 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka}等人,理论计算。系统。61,第4号,1376--1426(2017;Zbl 1420.03110) 全文: DOI程序 arXiv公司