可计算拓扑群与Pontryagin对偶
AMS MathViewer支持的HTML文章
摘要：
工具书类
C.J.灰烬 和 J.奈特 , 可计算结构与超算术层次 《逻辑与数学基础研究》，第144卷，北荷兰出版公司，阿姆斯特丹，2000年。 先生 1767842 伊万·J·巴克 , 约化阿贝尔$p$-群的前后关系 Ann.Pure应用。 逻辑 75 （1995），第3期，223-249。 先生 1355134 ，内政部 10.1016/0168-0072(94)00045-5 瓦斯科·布拉特卡 , 彼得·赫特林 ，以及 克劳斯·维赫劳赫（Klaus Weihrauch） , 可计算分析教程 ，《新计算范式》，施普林格，纽约，2008年，第425–491页。 先生 2762094 ，内政部 10.1007/978-0-387-68546-5_ {1}8 威廉·布恩 , 单词问题 数学安。 (2) 70 (1959), 207–265. 先生 179237 ，内政部 10.2307/1970103 R.G.唐尼 和 斯图亚特·库尔茨 , 递归理论与有序群 Ann.Pure应用。 逻辑 32 （1986），第2期，137–151。 先生 863331 ，内政部 10.1016/0168-0072(86)90049-7 罗德·唐尼 和 安东尼奥·蒙塔尔班 , 无挠阿贝尔群的同构问题是解析完备的 ，代数杂志 320 （2008），第6期，2291–2300。 先生 2437501 ，内政部 2016年10月10日/j.jalgebra.2008.06.007 V.P.多布里卡 , 可构造阿贝尔群 西伯利亚。 材料Zh。 22 （1981），第3号，208–213，239（俄语）。 先生 621475 V.P.Dobritsa公司 , 阿贝尔群的一些构造 西伯利亚。 材料Zh。 24 （1983年），第2期，第18–25页（俄语）。 先生 695289 罗德尼·G·唐尼 , 关于代数结构的表示 《复杂性、逻辑和递归理论》，《纯粹与应用》讲义。 数学。， 第187卷，德克尔，纽约，1997年，第157-205页。 先生 1455136 R.G.唐尼 , 可计算性理论与线性排序 《递归数学手册》，第2卷，《发现逻辑研究》。 数学。， 第139卷，荷兰北部，阿姆斯特丹，1998年，第823–976页。 先生 1673590 ，内政部 10.1016/S0049-237X（98）80047-5 尤里·埃尔肖夫 和 谢尔盖·冈查洛夫 , 建设性模型 ，西伯利亚代数和逻辑学院，顾问局，纽约，2000年。 先生 1749622 ，内政部 10.1007/978-1-4615-4305-3 于。 埃尔肖夫， 溶解度问题与构造模型 [俄语]，瑙卡，莫斯科（1980年）。 叶卡捷琳娜·福基纳 , Sy David Friedman , 瓦伦蒂娜·哈里扎诺夫 , 朱莉娅·奈特 , 查尔斯·麦考伊 ，以及 安东尼奥·蒙塔尔班 , 可计算结构上的同构关系 ，J.符号逻辑 77 （2012），第1期，第122–132页。 先生 2951633 ，内政部 10.2178/jsl/1327068695 杰拉尔德·福兰德 , 抽象谐波分析课程 第二版，《数学教科书》，CRC出版社，佛罗里达州博卡拉顿，2016年。 先生 3444405 拉斯洛·福克斯 , 无限阿贝尔群。 第一卷 《纯粹与应用数学》，第36卷，学术出版社，纽约-朗顿出版社，1970年。 先生 0255673 拉兹洛夫克斯 , 无限阿贝尔群。 第二卷 《纯粹数学与应用数学》。 第36-II卷，学术出版社，纽约-朗顿，1973年。 先生 0349869 S.S.冈查洛夫 和 Dzh.公司。 Naĭt（钠） , 可计算结构与反结构定理 ，代数逻辑卡 41 （2002），第6、639–681、757号（俄文，附俄文摘要）； 英语翻译。， 代数逻辑 41 （2002），第6期，351-373。 先生 1967769 ，内政部 10.1023/A:1021758312697 诺姆·格林伯格、亚历山大·梅尔尼科夫、朱莉娅·奈特和丹尼尔·图雷茨基， 不可数结构中的统一程序 ，显示。 S.S.贡查罗夫 , 模型和阿贝尔群的自稳定性 ，代数i Logika 19 （1980年），编号1，23–44，132（俄语）。 先生 604656 S.S.贡查罗夫 , 构造数有限的群 杜克。 阿卡德。 诺克SSSR 256 （1981），第2号，269–272（俄语）。 先生 600943 谢尔盖·冈查洛夫 , 可数布尔代数与可判定性 ，西伯利亚代数和逻辑学院，顾问局，纽约，1997年。 先生 1444819 葛晓林 和 J.伊恩·理查兹 , 紧群酉表示的可计算性 《逻辑方法》（Ithaca，NY，1992）Progr。 计算。 科学。 申请。 《逻辑》，第12卷，Birkhäuser Boston，马萨诸塞州波士顿，1993年，第386–421页。 先生 1281158 G.希格曼 , 有限呈现群的子群 ，程序。 罗伊。 Soc.伦敦Ser。 A类 262 (1961), 455–475. 先生 130286 ，内政部 10.1098/rspa.1961.0132 马修·哈里森-培训师 , 亚历山大·曼尼柯夫 ，以及 安东尼奥·蒙塔尔班 , 可计算代数中的独立性 ，J.代数 443 (2015), 441–468. 先生 3400410 ，内政部 2016年10月10日/j.jalgebra.2015.06.004 N.G.Khisamiev先生 , 构造阿贝尔群 ，递归数学手册，第2卷，研究发现的逻辑。 数学。， 第139卷，荷兰北部，阿姆斯特丹，1998年，第1177–1231页。 先生 1673602 ，内政部 10.1016/S0049-237X（98）80050-5 伊斯坎德·卡利穆林 , 巴哈迪尔·库萨诺夫 ，以及 亚历山大·曼尼柯夫 , 结构的极限单调序列和度谱 ，程序。 阿默尔。 数学。 Soc公司。 141 （2013），第9期，3275–3289。 先生 3068980 ，内政部 10.1090/S0002-9939-2013-11586-8 夏洛特·林 , 递归表示的阿贝尔群：有效的$p$群论。 我 ，J.符号逻辑 46 （1981），第3期，617–624。 先生 627909 ，内政部 10.2307/2273759 彼得·洛斯 , 阿贝尔群的分类与Pontrjagin对偶 《代数、逻辑和应用》，第10卷，Gordon和Breach科学出版社，阿姆斯特丹，1998年。 先生 1741074 彼得·拉罗什 , 有效伽罗瓦理论 ，J.符号逻辑 46 （1981），第2期，385–392。 先生 613291 ，内政部 10.2307/2273630 罗杰·林登 和 保罗·舒普 , 组合群理论 《数学经典》，施普林格-弗拉格出版社，柏林，2001年。 1977年版的再版。 先生 1812024 ，DOI 10.1007/978-3-642-61896-3 A.I.马尔塞夫 , 构造代数。 我 乌斯佩希·马特·诺克 16 （1961），第3号（99），第3-60（俄语）。 先生 0151377 A.I.马尔塞夫 , 关于递归阿贝尔群 杜克。 阿卡德。 诺克SSSR 146 （1962），1009–1012（俄语）。 先生 0151378 大卫·马克 , 模型理论 《数学研究生课本》，第217卷，施普林格-弗拉格出版社，纽约，2002年。 引言。 先生 1924282 蒂莫西·麦克尼科尔 , 关于$\ell^p$空间可计算范畴的注记 《进化的可计算性》，《计算课堂讲稿》。 科学。， 第9136卷，Springer，Cham，2015年，第268–275页。 先生 3382366 ，内政部 10.1007/978-3-319-20028-6_ {2}7 亚历山大·梅尔尼科夫 , 可计算等距空间 ，J.符号逻辑 78 （2013），第4期，1055–1085。 先生 3156512 亚历山大·梅尔尼科夫 , 可计算阿贝尔群 ，公牛。 符号。 日志。 20 （2014），第3期，315–356。 先生 3271281 ，内政部 10.1017/bsl.2014.32 亚历山大·梅尔尼科夫（Alexander G.Melnikov）和安东尼奥·蒙塔尔布（Antonio Montalb$\rm\acute{a}$n）， 可计算的波兰群体行动 ，显示。 亚历山大·梅尔尼科夫 和 Keng Meng Ng公司 , 可计算扭阿贝尔群 高级数学。 325 (2018), 864–907. 先生 3742605 ，内政部 2016年10月10日/j.aim.2017.12.011 G.Metakides公司 和 A.内罗德 , 场论的有效内容 ，安。数学。 逻辑 17 （1979），第3期，289–320。 先生 556895 ，内政部 10.1016/0003-4843(79)90011-1 亚历山大·梅尔尼科夫 和 安德烈·尼斯 , 紧可计算度量空间的分类问题 《计算的本质》，《计算讲义》。 科学。， 第7921卷，施普林格，海德堡，2013年，第320–328页。 先生 3102033 ，内政部 10.1007/978-3-642-39053-1_ {3}7 亚历山大·梅尔尼科夫 和 Keng Meng Ng公司 , 连续函数空间上的可计算结构和运算 ，基金。 数学。 233 （2016），第2期，101–141。 先生 3466002 ，内政部 10.4064/fm36-12-2015年 西德尼·A·莫里斯 , Pontryagin对偶与局部紧阿贝尔群的结构 《伦敦数学学会讲稿系列》，第29期，剑桥大学出版社，剑桥-纽约-墨尔本，1977年。 先生 0442141 Timothy H.McNicholl和D.M.Stull， $l^p的可计算副本的等距度$ ，显示。 P.S.诺维科夫 , Ob algoritmićeskoĭnerazrešimosti问题到第三代斯洛文·特奥里·格鲁普 ，伊兹达特。 阿卡德。 Nauk SSSR，莫斯科，1955年（俄罗斯）。 Trudy Mat.Inst.Steklov公司。 第44号。 先生 0075197 A.努尔塔津， 可计算类和自动稳定性的代数准则 ，科学学校总结，数学。 新西伯利亚SB USSRAS研究所，1974年。 玛丽安·B·波尔-埃尔 和 J.伊恩·理查兹 , 分析和物理中的可计算性 《数理逻辑的观点》，施普林格-弗拉格出版社，柏林，1989年。 先生 1005942 ，内政部 10.1007/978-3-662-21717-7 L.S.蓬特里亚金 , 拓扑组 Gordon and Breach Science Publishers，Inc.，纽约-伦敦-巴黎，1966年。 阿伦·布朗（Arlen Brown）翻译自第二版俄语。 先生 0201557 小哈特利·罗杰斯。 , 递归函数理论与有效可计算性 第二版，麻省理工学院出版社，马萨诸塞州剑桥，1987年。 先生 886890 里克·L·史密斯 , $p$-群自稳定性的两个定理 1979-80逻辑年（康涅狄格州斯托斯市康涅狄克大学数学与逻辑课程研讨会，1979/80）数学课堂讲稿。， 第859卷，施普林格，柏林-纽约，1981年，第302-311页。 先生 619876 里克·L·史密斯 , 亵渎群体的有效方面 ，J.符号逻辑 46 （1981），第4期，851-863。 先生 641497 ，内政部 10.2307/2273233年10月 A.M.图灵 , 关于可计算数，及其在Entscheidungs问题中的应用 ，程序。 伦敦数学。 社会（2） 42 （1936年），第3期，230–265页。 先生 1577030 ，内政部 10.1112/plms/22-42.1.230 A.M.图灵 , 关于可计算数字，以及Entscheidungs问题的应用。 A更正 ，程序。 伦敦数学。 社会（2） 43 （1937年），第7期，544–546。 先生 1575661 ，内政部 10.1112/plms/s2-43.6.544 克劳斯·维赫劳赫（Klaus Weihrauch） , 可计算分析 ，《理论计算机科学》课文。 EATCS系列，施普林格-弗拉格出版社，柏林，2000年。 引言。 先生 1795407 ，内政部 10.1007/978-3-642-56999-9 克劳斯·维赫劳赫（Klaus Weihrauch） , 关于可计算度量空间Tietze-Urysohn扩张是可计算的 《分析中的可计算性和复杂性》（Swansea，2000）《计算讲义》。 科学。， 第2064卷，施普林格出版社，柏林，2001年，第357-368页。 先生 1893086 ，内政部 10.1007/3-540-45335-0_ {2}1
其他信息
亚历山大·曼尼柯夫 附属机构：新西兰奥克兰梅西大学自然与数学科学研究所 MR作者ID： 878230 ORCID代码： 0000-0001-8781-7432 电子邮件： alexander.g.melnikov@gmail.com 编辑接收日期：2017年5月4日 编辑收到修订版：2017年6月29日和2017年7月3日 电子发布日期：2018年5月3日 ©版权所有2018 美国数学学会 日记账：事务处理。 阿默尔。 数学。 Soc公司。 370 (2018), 8709-8737 MSC（2010）：主要03D45、03D80、43A40 内政部： https://doi.org/10.1090/tran/7355 MathSciNet评论： 3864392