描述自由组
AMS MathViewer支持的HTML文章
摘要：
工具书类
C.J.灰烬 和 J.奈特 , 可计算结构与超算术层次 《逻辑与数学基础研究》，第144卷，北荷兰出版公司，阿姆斯特丹，2000年。 先生 1767842 M.Bestvina和M.Feighn，“自由群的可定义和可忽略子集”，正在进行中。 V.卡尔维特 , V.S.Kharizanova公司 , D.F.钠 、和 S.米勒 , 可计算模型的索引集 ，代数逻辑卡 45 （2006），第5期，538–574，631–632（俄语，附俄语摘要）； 英语翻译。， 代数逻辑 45 （2006），第5期，306–325。 先生 2307694 ，内政部 2007年10月10日/10469-006-0029-0 D.Grove和M.Culler，私人信件。 奥尔加·哈兰波维奇 和 亚历克谢·米亚斯尼科夫 , 自由非交换群的基本理论 ，J.代数 302 （2006），第2期，451-552。 先生 2293770 ，内政部 10.1016/j.代数.2006.03.033 罗杰·林登 和 保罗·舒普 , 组合群理论 《数学经典》，施普林格-弗拉格出版社，柏林，2001年。 1977年版重印。 先生 1812024 ，内政部 10.1007/978-3-642-61896-3 A.I.马尔塞夫 , 关于方程$zxyx^ {-1}年 ^ {-1}z ^{-1}=aba^ {-1}b ^{-1}$在自由组中 ，代数i Logika Sem。 1 （1962年），第5号，45-50（俄语）。 先生 0153726 C.McCoy和J.Wallbaum，“描述自由群，第二部分：$\Pi^0_4$硬度和无$\Sigma^0_2$基础”， 交易。 阿米尔。 数学。 Soc公司。 ，此问题。 G.Metakides公司 和 A.内罗德 , 场论的有效内容 ，安。数学。 逻辑 17 （1979），第3289-320号。 先生 556895 ，内政部 10.1016/0003-4843(79)90011-1 阿南德·皮莱 , 关于自由群的一般性和权重 , 程序。 阿米尔。 数学。 Soc公司。 137 (2009), 11号 , 3911–3917. 先生 2529900 ，内政部 10.1090/S0002-9939-09-09956-0 布鲁诺·波扎特 , 群居马厩，avec型盖内瑞克（génériques réguliers） ，符号逻辑J 48 （1983），第2期，339–355（法语）。 先生 704088 ，内政部 10.2307/2273551 达纳·斯科特 , 具有可数长公式和有限量词串的逻辑 《模型理论》（Proc.1963 Internat.Sympos，Berkeley），荷兰北部，阿姆斯特丹，1965年，第329-341页。 先生 0200133 Z.Sela，系列论文，“群I上的丢番图几何：Makanin-Razborov图”， 数学出版物 《高等科学研究所》，第93卷（2001年），第31–105页； 组II上的丢番图几何：完备性、闭包和形式解”， 以色列数学杂志。 第134卷（2003），第173–254页； Z.Sela，“组III上的丢番图几何：刚性和固体解”， 以色列数学杂志。 第147卷（2005），第1-73页； “组IV上的丢番图几何：句子验证的迭代过程”， 以色列数学杂志。 第143卷（2004年），第1-130页； “群V$_{1}$上的丢番图几何：量词消除I”， 以色列数学杂志。 第150卷（2005年），第1-197页； “群V$_{2}$上的丢番图几何：量词消除II”， 几何和功能分析 第16卷（2006年），第537–706页； “群VI上的丢番图几何：自由群的初等理论”， 几何和功能分析 第16卷（2006年），第707-730页。 R.Sklinos，“关于自由群的泛型类型”，出现在 符号逻辑杂志 .
其他信息
J.卡森 附属机构：印第安纳州圣母大学数学系，邮编：46556 V.哈里扎诺夫 附属机构：乔治华盛顿大学数学系，华盛顿特区，20052 J.奈特 附属机构：印第安纳州圣母大学数学系，邮编：46556 MR作者ID： 103325 K.兰格 所属单位：马萨诸塞州韦尔斯利韦尔斯利学院数学系02482 C.麦考伊 附属机构：俄勒冈州波特兰市波特兰大学数学系，邮编97203 MR作者ID： 695683 A.莫罗佐夫 附属机构：俄罗斯新西伯利亚俄罗斯科学院索博列夫数学研究所，邮编：630090 S.奎因 附属机构：伊利诺伊州河畔森林多米尼加大学数学系，邮编：60305 C.萨夫兰斯基 附属机构：宾夕法尼亚州拉特罗布圣文森特学院数学系，15650 J.沃尔鲍姆 附属机构：弗吉尼亚州哈里森堡东门诺特大学数学科学系，邮编：22802 编辑接收日期：2009年7月1日 编辑收到修订版：2010年8月25日 电子发布日期：2012年6月21日 附加说明：作者承认NSF拨款DMS-0554841的部分支持。 第二作者还获得了NSF拨款DMS-0904101的部分支持 ©版权所有2012 美国数学学会 本文的版权在出版28年后恢复为公共领域。 日记账：事务处理。 阿米尔。 数学。 Soc公司。 364 (2012), 5715-5728 MSC（2010）：初级03C57 内政部： https://doi.org/10.1090/S0002-9947-2012-05456-0 MathSciNet评论： 2946928