马修·霍洛普 关于公开选择的注释。 （英语） Zbl 07797487号 可计算性 12，第4号，351-369（2023）.MSC公司：03年月日 PDF格式BibTeX公司 XML格式引用 \textit{M.Hoyrup}，可计算性12，No.4，351--369（2023；Zbl 07797487） 全文： DOI程序
马修·霍洛普;木原隆树;维克托·塞利瓦诺夫 波兰空间同胚类型的不可计算度。 （英语） Zbl 07633507号 Anselmo，Marcella（编辑）等人，《超越可计算性的视野》。第十六届欧洲可计算性会议，CiE 2020，意大利费西亚诺，2020年6月29日至7月3日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12098, 189-192 (2020).MSC公司：第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hoyrup}等人，Lect。注释计算。科学。12098，189--192（2020；Zbl 07633507） 全文： DOI程序