2. 您的位置
3. 首页
4. 期刊论文
5. The Tarski Problems and Their Solutions

The Tarski Problems and Their Solutions

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

【摘 要】

：

Around 1945, Alfred Tarski proposed several questions concerning the elementary theory of non-abelian free groups. These remained open for 60 years until they w

【作 者】

：

Benjamin Fine Anthony Gaglione 

【机 构】

：

DepartmentofMathematicsFairfieldUniversity,DepartmentofMathematics,DepartmentofMathematics,Departmen

【出 处】

：

理论数学进展(英文)

【发表日期】

：

2015年4期

【关键词】

：

Non-Abelian Free Group ELEMENTARY Theory TARSKI PROBLEMS ELEMENTARY Free GROUPS 

下载到本地 , 更方便阅读

下载此文 赞助VIP

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

论文部分内容阅读

Around 1945, Alfred Tarski proposed several questions concerning the elementary theory of non-abelian free groups. These remained open for 60 years until they were proved by O. Kharlampovich and A. Myasnikov and independently by Z. Sela. The proofs, by bo

其他文献

Some Results on Wavelet Frame Packets

The aim of this paper is to study wavelet frame packets in which there are many frames. It is a generalization of wavelet packets. We derive few results on wave

期刊

WAVELETWAVELETPACKETSFRAMEPACKETSWaveletWavelet PacketsFrame Packets

The Property of a Special Type of Exponential Spline Function

Approximation theory experienced a long term history. Since 50’ last century, the rise of spline function as well as the advance of calculation promotes the gr

期刊

EXPONENTIALSPLINEFunctionINTERPOLATIONERRORESTIMATIONExponential Spline Fu

金士顿Data Traveler ReadyFlash闪存盘

随着新一代操作系统Windows Vista的发布,软、硬件厂商分别开始了向Vista靠拢的进程,作为个人移动存储的重要产品之一的闪存盘也不例外,金士顿公司最近推出的Data Traveler R

期刊

TRAVELER金士顿公司闪存盘WindowsVISTAWINDWOS操作系统硬件厂商

Improved Nearness Research

In the realm of Bounded Topology we now consider supernearness spaces as a common generalization of various kinds of topological structures. Among them the so-c

期刊

Set-ConvergenceSupertopologicalSPACELodatoSPACECONTIGUITYSPACENearnessPa

Samsung YP-T8 MP3播放器

Samsung YP-T8是三星公司当前的旗舰级闪存MP3播放器，其引入了大量新鲜的设计元素。因此问世后受到了很多用户的关注，近日《个人电脑》实验室收到了容量为256MB的版本（T8V），并对其

期刊

SAMSUNGYP-T8MP3播放器闪存TFT真彩显示屏音频文件

风险分析法在职业学院的应用

1．投资规模。首先，职业学院要根据教学的实际需要，对未来的专业发展、生源、投资项目的利用率等方面情况进行科学地分析、评估和推算，进而对所需的投资总规模进行估算。主要内容

期刊

职业学院风险分析应用投资规模固定资产投资建筑工程实际需要专业发展

我国企业跨国经营的行业选择战略研究

根据当代国际直接投资发展的新特点和世界市场的竞争状况，考虑到充分发挥我国现有产业优势及境外投资的可能性。应以具有比较优势的制造业作为境外投资重点，有选择地投资于进口

期刊

企业跨国经营选择战略行业高新技术产业投资发展境外投资进口替代型竞争状况

Volume of Geodesic Balls in Finsler Manifolds of Hyperbolic Type

Let ?be a compact Finsler manifold of hyperbolic type, and ?be its universal Finslerian covering. In this paper we show that the growth function of the volume o

期刊

FINSLERMANIFOLDGromovHYPERBOLICMANIFOLDCriticalExponentVOLUMEEntropyFin

Crystallography in the Spaces E<sup>2</sup>, E<sup>3&l

In the paper N0II, we describe some isomorphism classes and we apply their properties to the study of five crystal families of space E5. The names of these fami

期刊

CRYSTALFamiliesofSPACEE5NAMESPointGroupsoftheFamiliesRhombotopicCRYS

Non-Archimedean Analysis on the Extended Hyperreal Line *R<sub>d</sub>an

In 1980 F. Wattenberg constructed the Dedekind completion *Rd of the Robinson non-archimedean field *R and established basic algebraic properties of *Rd. In 198

期刊

NON-ARCHIMEDEANAnalysisRobinsonNon-ArchimedianFIELDDEDEKINDCompletionDEDE