数学论文（无限时间图灵机） (7-5)

[CFK+10]Merlin Carl、Tim Fischbach、Peter Koepke、Russell Miller、Miriam Nasfi和Gregor Weckbecker。

无限时间寄存器机的基本理论。拱数学逻辑，49（2）：249–2732010。

[CH11]Sam Coskey和Joel David Hamkins。无限时间可计算等价关系。圣母院

《形式逻辑杂志》，2011年。出现。

[DHS05]Vinay Deolalikar、Joel David Hamkins和Ralf Dieter Schindler。P≠无穷大的NPåco-NP计时机器。《逻辑与计算杂志》，15（5）：577-5922005年10月。

[FS89]哈维·弗里德曼和李·斯坦利。一类可数结构的Borel可约性理论。

J.符号逻辑，54（3）：894–9141989。

[Ham02]乔尔·大卫·哈姆金斯。无限时间的图灵机器。《心智与机器》，12（4）：521–5392002。（专门讨论超计算的特刊）。

[Ham04]乔尔·大卫·哈姆金斯。超级任务计算。在Boris Piwinger Benedikt L¨owe和Thoralf R¨asch，编辑，《计算的经典和新范式及其复杂性层次》，《逻辑趋势》第23卷，第141-158页。Kluwer学术出版社，2004年。2001年9月21日至24日在维也纳举行的“形式科学基础III”会议的论文。

[Ham05]乔尔·大卫·哈姆金斯。具有无限时间图灵机的无限可计算性。在巴里S。

Cooper和Benedikt L¨owe，编辑，《新计算范式》，LNCS第3526卷，阿姆斯特丹，2005年6月8日至12日。CiE，Springer Verlag。

[Ham07]乔尔·大卫·哈姆金斯。无限时间图灵机综述。在J´erõome Durand Lose and Maurice Margenstern，编辑，《机器、计算和普遍性——2007年第五届MCU国际会议》，《计算机科学讲义》第4664卷，法国奥尔良，2007年。

[Hjo00]Greg Hjorth。分类和轨道等效关系，《数学调查》第75卷专著。美国数学学会，普罗维登斯，RI，2000年。

[HK96]Greg Hjorth和Alexander S.Kechris。Borel等价关系和可数模型的分类。Ann.纯应用。逻辑学，82（3）：221-2721996。

[HL00]乔尔·大卫·哈姆金斯和安迪·刘易斯。无限时间图灵机。J.符号逻辑，65（2）：567–604, 2000.

[HL02]乔尔·大卫·哈姆金斯和安迪·刘易斯。Post的超级任务问题既有积极的解决方案，也有消极的解决方案。数理逻辑档案，41（6）：507–5232002。

[HLM07]乔尔·大卫·哈姆金斯、大卫·莱涅茨基和拉塞尔·米勒。快速决策的复杂性ORM可判定集。Barry Cooper、Benedikt L¨owe和Andrea Sorbi，《计算》杂志编辑和现实世界中的逻辑-第三届欧洲可计算性会议CiE 2007，第4497卷论文集，《计算机科学讲义》，意大利锡耶纳，2007年。

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。