无限对称群的有效闭子群
由AMS MathViewer提供支持的HTML文章
摘要：
工具书类
C.J.灰烬 和 J.F.奈特 , 递归结构对 Ann.Pure应用。 逻辑 46 （1990），第3211-234号。 先生 1049387 ，内政部 10.1016/0168-0072（90）90004-L C.J.灰烬 和 J.奈特 , 可计算结构与超算术层次 ，《逻辑与数学基础研究》，第144卷，北荷兰出版公司，阿姆斯特丹，2000年。 先生 1767842 保罗·布罗德黑德 和 道格拉斯·森泽 , 有效闭合集和枚举 ，建筑。 数学。 逻辑 46 （2008），编号7-8，565-582。 先生 2395559 ，内政部 2007年10月1日/00153-008-0065-7 劳伦特·宾文努（Laurent Bienvenu） , 诺姆·格林伯格 、和 贝诺伊特·莫宁 , 持续较高的随机性 ，J.数学。 日志。 17 （2017），第1期，1750004，53。 先生 3651213 ，内政部 10.1142/S0219061317500040 瓦斯科·布拉特卡 , 彼得·赫特林 、和 克劳斯·维赫劳赫（Klaus Weihrauch） , 可计算分析教程 《新计算范式》，Springer，纽约，2008年，第425-491页。 先生 2762094 ，内政部 10.1007/978-0-387-68546-5_ {1}8 尤里·埃尔肖夫 和 谢尔盖·冈查洛夫 , 建设性模型 ，西伯利亚代数和逻辑学院，顾问局，纽约，2000年。 先生 1749622 ，内政部 10.1007/978-1-4615-4305-3 苏高 , 不变描述性集合论 《纯粹和应用数学》（博卡拉顿），第293卷，CRC出版社，佛罗里达州博卡拉顿，2009年。 先生 2455198 葛晓琳 和 J.伊恩·理查兹 , 紧群酉表示的可计算性 ，逻辑方法（伊萨卡，纽约，1992）Progr。 计算。 科学。 申请。 《逻辑》，第12卷，Birkhäuser Boston，马萨诸塞州波士顿，1993年，第386–421页。 先生 1281158 小野幸郎 和 高崎木原 , 关于有效强测度零的有效闭集 ，Ann.纯应用。 逻辑 165 （2014），第9期，1445–1469。 先生 3210078 ，内政部 10.1016/j.apal.2014.04.013 莫西·贾登 , 希尔伯特域有限群的代数扩张 以色列J.数学。 18 (1974), 279–307. 先生 376617 ，内政部 2007年10月10日/BF02757283 彼得·拉罗什 , 有效伽罗瓦理论 ，J.符号逻辑 46 （1981），第2期，385–392。 先生 613291 ，内政部 10.2307/2273630 罗杰·林登 和 保罗·舒普 , 组合群理论 ，Ergebnisse der Mathematik und ihrer Grenzgebiete，乐队89，施普林格-弗拉格，柏林-纽约，1977年。 先生 0577064 蒂莫西·麦克尼科尔 , 关于$\ell^p$空间可计算范畴的注记 《进化的可计算性》，《计算课堂讲稿》。 科学。， 第9136卷，Springer，Cham，2015年，第268–275页。 先生 3382366 ，内政部 10.1007/978-3-319-20028-6_ {2}7 A.梅尔尼科夫。 可计算拓扑群和Pontryagin对偶。 出现在《美国数学学会汇刊》上。 亚历山大·梅尔尼科夫 , 可计算等距空间 ，符号逻辑J 78 （2013），第4期，1055–1085。 先生 3156512 ，内政部 10.2178/jsl.7804030 亚历山大·曼尼柯夫 和 安东尼奥·蒙塔尔班 , 可计算的波兰群体行动 ，J.Symb。 日志。 83 （2018），第2期，443–460。 先生 3835072 ，内政部 10.1017/jsl.2017.68 G.Metakides公司 和 A.内罗德 , 场论的有效内容 ，安。数学。 逻辑 17 （1979），第3期，289–320。 先生 556895 ，内政部 10.1016/0003-4843(79)90011-1 玛丽安·B·波尔-埃尔 和 J.伊恩·理查兹 , 分析和物理中的可计算性 《数理逻辑的观点》，施普林格-弗拉格出版社，柏林，1989年。 先生 1005942 ，内政部 10.1007/978-3-662-21717-7 L.S.蓬特里亚金 , 拓扑组 Gordon and Breach Science Publishers，Inc.，纽约-伦敦-巴黎，1966年。 阿伦·布朗（Arlen Brown）翻译自第二版俄语。 先生 0201557 简·雷曼 , 有效闭合的度量集和随机性 Ann.Pure应用。 逻辑 156 （2008），第1期，170–182。 先生 2474448 ，内政部 2016年10月10日/j.apal.2008年6月15日 杰拉尔德·E·萨克斯 , 高等递归理论 ，《数理逻辑透视》，施普林格出版社，柏林，1990年。 先生 1080970 ，内政部 2007年10月10日/BFb0086109 里克·L·史密斯 , 具有有效表示的PROFINITE群理论 ，ProQuest LLC，密歇根州安阿伯，1979年。 论文（博士）——宾夕法尼亚州立大学。 先生 2628530 里克·L·史密斯 , profinite组的有效方面 ，J.符号逻辑 46 （1981），第4期，851-863。 先生 641497 ，内政部 10.2307/2273233
其他信息
诺姆·格林伯格 附属机构：新西兰威灵顿维多利亚大学数学与统计系，邮编6140，邮政信箱600 MR作者ID： 757288 ORCID代码： 0000-0003-2917-3848 电子邮件： greenberg@msor.vuw.ac.nz 亚历山大·曼尼柯夫 附属机构：梅西大学，私人邮袋102904 NSMC，新西兰奥克兰，0745 MR作者ID： 878230 ORCID代码： 0000-0001-8781-7432 电子邮件： alexander.g.melnikov@gmail.com 安德烈·尼斯 附属机构：奥克兰大学计算机科学系，新西兰奥克兰，邮编：1020，Private Bag 92019 MR作者ID： 328692 电子邮件： andre@cs.auckland.ac.nz 丹尼尔·图雷茨基 附属机构：新西兰威灵顿维多利亚大学数学与统计系，邮编6140，邮政信箱600 MR作者ID： 894314 电子邮件： dan.turesky@vuw.ac.nz 编辑接收日期：2017年9月19日 编辑收到修订版：2017年11月6日和2017年12月12日 电子发布日期：2018年9月10日 附加说明：第一作者和第三作者得到新西兰马斯登基金的部分资助。 第二位作者得到了新西兰马斯登基金和梅西大学研究基金的部分资助。 沟通人：Heike Mildenberger ©版权所有2018 美国数学学会 期刊：Proc。 阿默尔。 数学。 Soc公司。 146 (2018), 5421-5435 MSC（2010）：初级03D80、20B35 内政部： https://doi.org/10.1090/proc/14055 MathSciNet评论： 3866879