首页 | 本学科首页   官方微博 | 高级检索  
     检索      


Diophantine geometry over groups V2: quantifier elimination II
Authors:Z Sela
Institution:(1) Institute of Mathematics, Hebrew University, Jerusalem, 91904, Israel
Abstract:This paper is the sixth in a sequence on the structure of sets of solutions to systems of equations in a free group, projections of such sets, and the structure of elementary sets defined over a free group. In the two papers on quantifier elimination we use the iterative procedure that validates the correctness of an AE sentence defined over a free group, presented in the fourth paper, to show that the Boolean algebra of AE sets defined over a free group is invariant under projections, hence, show that every elementary set defined over a free group is in the Boolean algebra of AE sets. The procedures we use for quantifier elimination, presented in this paper, enable us to answer affirmatively some of Tarski’s questions on the elementary theory of a free group in the last paper of this sequence. Received (resubmission): January 2004 Revision: November 2005 Accepted: March 2006 Partially supported by an Israel Academy of Sciences Fellowship.
Keywords:Equations over groups  Makanin–  Razborov diagrams  free groups  limit groups  first order theory  quantifier elimination  Tarski problems
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号