Anand Pillay
We study model-theoretic and stability-theoretic properies of the nonabelian free group in the light of Sela's recent result on stability and results announced by Bestvina and Feighn. We point out analogies between the free group and so-called bad groups of finite Morley rank and we prove non CM-triviality of the free group.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We give a complete characterization of the forking independence relation over any set of parameters in the free groups of finite rank, in terms of the $JSJ$ decompositions relative to those parameters.
We give a description of the model theoretic relation of forking independence in terms of the notion of JSJ decompositions in non abelian free groups.
Forking and invariant types in regular ordered Abelian groups
本文研究正则有序阿贝尔群中分叉与不变类型的性质，证明了类型不叉过A的条件。
Transfer principles for forking and dividing in expansions of pure short exact sequences of Abelian groups
本研究探讨Aschenbrenner等人关于阿贝尔结构纯短正合列量词消去的辉煌Ax-Kochen-Ershov原理与分叉的关系，证明了该设定下分叉和分裂的Ax-Kochen-Ershov原理。
For $n\geq 3$, define $T_n$ to be the theory of the generic $K_n$-free graph, where $K_n$ is the complete graph on $n$ vertices. We prove a graph theoretic characterization of dividing in $T_n$, and use it to show that forking and dividing are the same for complete types. We then give an example of a forking and nondividing formula. Altogether, $T_n$ provides a counterexample to a recent question of Chernikov and Kaplan.
On some Fraisse limits with free amalgamation
该研究分两部分展开，先探讨稳定Kim-forking的概念与背景，再给出通过满足强条件的Fraïssé类极限构建NSOP1理论的通用方法，明确其独立性性质，基于前人成果推进了模型论相关研究。
In this paper we give a complete algebraic description of groups elementarily equivalent to a given free nilpotent group of finite rank.
In this paper we find a characterization for groups elementarily equivalent to a free nilpotent group $G$ of class 2 and arbitrary finite rank.
I prove that the generic type of the free nonabelian group has infinite weight (strengthening non superstability of the free group).
We show that the theory of the free group -- and more generally the theory of any torsion-free hyperbolic group -- is $n$-ample for any $n\geq 1$. We give also an explicit description of the imaginary algebraic closure in free groups.
We prove that non-abelian free groups of finite rank at least 3 or of countable rank are not $\forall$-homogeneous. We answer three open questions from Kharlampovich, Myasnikov, and Sklinos regarding whether free groups, finitely generated elementary free groups, and non-abelian limit groups form special kinds of Fraïssé classes in which embeddings must preserve $\forall$-formulas. We also provide interesting examples of countable non-finitely generated elementary free groups.
This paper is the 10th in a sequence on the structure of sets of solutions to systems of equations over groups, projections of such sets (Diophantine sets), and the structure of definable sets over few classes of groups. In the 10th paper we answer affirmatively a question of R. L. Vaught on the elementary equivalence of free products of pairs of elementarily equivalent groups, and obtain a generalization of Tarski's problem on the elementary equivalence of non-abelian free groups. Finally, we prove that free products of stable groups is stable, generalizing a previous result on the stability …
We give an example of a definable set in every free or torsion-free (non-elementary) hyperbolic group that is not in the Boolean algebra of equational sets. Hence, the theories of free and torsion-free (non-elementary) hyperbolic groups are not equational in the sense of G. Srour.
We prove that the generic type of a non-cyclic torsion-free hyperbolic group G is foreign to any interpretable abelian group, hence also to any interpretable field. This result depends, among other things, on the definable simplicity of a non-cyclic torsion-free hyperbolic group, and we take the opportunity to give a proof of the latter using Sela's description of imaginaries in torsion-free hyperbolic groups. We also use the description of imaginaries to prove that if F is a free group of rank > 2 then no orbit of a finite tuple from F under Aut(F) is definable.
We prove that if a countable group is elementarily equivalent to a non-abelian free group and all of its abelian subgroups are cyclic, then the group is a union of a chain of regular NTQ groups (i.e., hyperbolic towers).
Considering a particular case of a problem posed by Saharon Shelah, we prove that the automorphism group of an infinitely generated free nilpotent group N first-order interprets the full second-order theory of the set rank(N) in the empty language.
We prove that two co-Hopfian finitely generated virtually free groups are elementarily equivalent if and only if they are isomorphic. We also prove that co-Hopfian finitely generated virtually free groups are homogeneous in the sense of model theory.
A survey article that presents some recent algebraic and model-theoretic results on the automorphism groups of relatively free groups of infinite rank. The topics include topological aspects, generating sets, descripition of automorpisms and expressive power of the first-order theories.
We construct Graev ultrametrics on free products of groups with two-sided invariant ultrametrics and HNN extensions of such groups. We also introduce a notion of a free product of general Polish groups and prove, in particular, that two Polish groups G and H can be embedded into a Polish group T in such a way that the subgroup of T generated by G and H is isomorphic to the free product G*H.
We give some lower bounds on the Shelah rank of varieties in the free group whose coordinate groups are hyperbolic towers.
We give a complete classification of finitely generated virtually free groups up to $\forall\exists$-elementary equivalence. As a corollary, we give an algorithm that takes as input two finite presentations of virtually free groups, and decides whether these groups have the same $\forall\exists$-theory or not.
We prove that no infinite field is definable in the theory of the free group
We give a simple proof of the finite presentation of Sela's limit groups by using free actions on R^n-trees. We first prove that Sela's limit groups do have a free action on an R^n-tree. We then prove that a finitely generated group having a free action on an R^n-tree can be obtained from free abelian groups and surface groups by a finite sequence of free products and amalgamations over cyclic groups. As a corollary, such a group is finitely presented, has a finite classifying space, its abelian subgroups are finitely generated and contains only finitely many conjugacy classes of non-cyclic ma…
We investigate effective properties of uncountable free abelian groups. We show that identifying free abelian groups and constructing bases for such groups is often computationally hard, depending on the cardinality. For example, we show, under the assumption $V=L$, that there is a first-order definable free abelian group with no first-order definable basis.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。