伊万·乔治耶夫;克里斯蒂安森,拉尔斯;弗兰克·斯蒂芬 具有惊人复杂性的可计算无理数。 (英语) Zbl 1481.03041号 Ann.纯粹应用。逻辑 172,第2号,文章ID 102893,30页(2021). 审核人:Matteo Bianchetti(圣母院) MSC公司:03D78号 03D20日 03层60 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{I.Georgiev}等人,Ann.Pure Appl。逻辑172,第2号,文章ID 102893,30页(2021;Zbl 1481.03041) 全文: 内政部 链接
克里斯蒂安森,拉尔斯;施拉盖·普赫塔(Schlage-Puchta,Jan-Chritoph);安德烈亚斯·魏尔曼 流线型次递归度理论。 (英语) Zbl 1245.03063号 Ann.纯粹应用。逻辑 163,第6号,698-716(2012). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:03D20日 03日30分 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{L.Kristiansen}等人,Ann.Pure Appl。逻辑163,No.6,698--716(2012;Zbl 1245.03063) 全文: 内政部