The Tarski Theorems and Elementary Equivalence of Group Rings

来源 :理论数学进展(英文) | 被引量 : 0次 | 上传用户：dakeke

【摘要】

：

The Tarski theorems, proved by Myasnikov and Kharlampovich and inde-pendently by Sela say that all nonabelian free groups satisfy the same first-order or elemen

【作者】

：

Benjamin Fine Anthony Gaglione

【机构】

：

DepartmentofMathematics,DepartmentofMathematics,FachbereichMathematik,DepartmentofStatistics

【出处】

：

理论数学进展(英文)

【发表日期】

：

2017年2期

【关键词】

：

Group RING ELEMENTARY EQUIVALENT Universally EQUIVALENT Direct UNION Discriminat

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

The Tarski theorems, proved by Myasnikov and Kharlampovich and inde-pendently by Sela say that all nonabelian free groups satisfy the same first-order or elementary theory. Kharlampovich and Myasnikov also prove that the elementary theory of free groups i

其他文献

立井施工井壁悬挂潜水泵排水新工艺

张双楼煤矿新副井立井施工,在垂深290 m和410 m处井壁涌水达12 m^3/h,严重影响了井壁施工质量。施工中改变了传统的钢丝绳悬吊排水泵及排水管路的排水方法,分别在垂深290 m和

期刊

立井施工截水槽井壁悬挂潜水泵排水

还声音本来面貌——EVENT ALP5专业监听音箱

同我们测试过的高档2.0多媒体音箱不同的是，EVENT ALP 5是一款真正的专业监听音箱。对于预算并不充裕的专业音乐制作人，EVENT ALP 5这款新产品是一个价钱容易接受的选择．而它出

期刊

专业监听音箱EVENT声音音乐制作人面貌多媒体音箱ALP发烧友还原度

七款新品耀世而生全面引领灵动商务

2008年9月24日，全球及中国投影机领导厂商爱普生公司今日发布了多达7款的商务投影机新品，此次发布的7款新品在对原有SVGA和XGA产品线进行升级的同时，还包括3款支持宽屏的WXGA分

期刊

商务投影机XGA分辨率爱普生公司SVGA产品线笔记本宽屏

含锰锌铁氧体磁性生物活性玻璃陶瓷制备工艺及其性能研究

在磷灰石/硅灰石生物活性玻璃陶瓷（A-WGC）中掺杂锰锌铁氧体,制备出一种新型的磁性生物活性玻璃陶瓷,并研究了不同制备工艺对其磁性和生物活性的影响.结果表明,使用不同掺杂工艺

期刊

锰锌铁氧体磁性生物活性玻璃陶瓷生物活性Mn-Zn ferrite magnetic bioactive glass-ceramics bioactiv

西部农村集体经济组织财会工作的深思考

农村集体经济组织是—个较为特殊的组织，它不是一级政权组织，依照《村民委员会组织法》的规定，它属于自治组织。但是。它既要自主履行村务管理的职能，又要协助政府从事许多行政管

期刊

农村集体经济组织财会工作《村民委员会组织法》建设社会主义新农村村级集体经济行政管理工作基层组织建设

表面活性剂对固相反应制备钴酸镍形貌影响的研究

采用醋酸镍、醋酸钴和草酸，加入不同的表面活性剂，在室温条件下进行固相化学反应，于60℃水浴恒温2d，获得前驱物；经热分析后，610℃分解．用XRD、SEM对热分解产物进行表征，获得了多种不

期刊

钴酸镍表面活性剂固相反应形貌NiCo2O4 surfactant solid state reaction topography

Stability Analysis and Stochastic SI Modelling of Endemic Diseases

In this paper, we study a stochastic epidemic model in Meta-population setting. The stochastic model is obtained from the deterministic model by set up random p

期刊

META-POPULATIONBasicREPRODUCTIONRatioLYAPUNOVFunctionPositiveEQUILIBRIUM

Common Fixed Point Results for Compatible Map in Digital Metric Space

In this paper, we prove common fixed point results for quadruple self-mappings satisfying an implicit function which is general enough to cover a multitude of k

期刊

ImplicitRelationCompatibleMapsFixedPointRESULTSDIGITALMETRICSPACEMETRI

在线音乐商店

在经历了最初的磕磕碰碰之后，Internet与唱片工业似乎已经找到了共同发展的途径（至少从目前看来是这样）。

期刊

网页制作学习软件在线音乐商店INTERNET网站

浅议中小型企业财务管理中存在的问题

随着社会的发展，民营企业发挥着越来越重要的作用。但是中小型企业在其发展过程中也形成了重市场、重技术、轻财务管理的思想。本文针对民营企业在财务管理体制中存在企业管理

期刊

企业财务管理中小型企业财务管理体制财务管理观念管理组织机构成本管理机制产权激励机制资金管理机制

The Tarski Theorems and Elementary Equivalence of Group Rings

与本文相关的学术论文