当前位置: X-MOL 学术Ann. Pure Appl. Logic › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
A topological zero-one law and elementary equivalence of finitely generated groups
Annals of Pure and Applied Logic ( IF 0.6 ) Pub Date : 2020-11-04 , DOI: 10.1016/j.apal.2020.102915
D. Osin

Let G denote the space of finitely generated marked groups. We give equivalent characterizations of closed subspaces SG satisfying the following zero-one law: for any sentence σ in the infinitary logic Lω1,ω, the set of all models of σ in S is either meager or comeager. In particular, we prove that the zero-one law holds for certain natural spaces associated to hyperbolic groups and their generalizations. As an application, we show that generic torsion-free lacunary hyperbolic groups are elementarily equivalent; the same claim holds for lacunary hyperbolic groups without non-trivial finite normal subgroups. Our paper has a substantial expository component. We give streamlined proofs of some known results and survey ideas from topology, logic, and geometric group theory relevant to our work. We also discuss some open problems.



中文翻译:

拓扑零一定律和有限生成群的基本等价

G表示有限生成的标记组的空间。我们给出封闭子空间的等效特征小号G满足以下零一定律:对于不定式逻辑中的任何句子σ大号ω1个ω,是σ中所有模型的集合小号是微不足道的还是虚弱的。特别地,我们证明零一定律适用于某些与双曲群及其推广有关的自然空间。作为一个应用,我们证明了无扭转泛型双曲线基团在本质上是等效的。对于没有非平凡有限正态子群的腔双曲群,该主张也成立。我们的论文有很多说明性的内容。我们提供一些已知结果的简化证据,并从与我们的工作相关的拓扑,逻辑和几何群论中得出调查思路。我们还将讨论一些未解决的问题。

更新日期:2020-11-09
down
wechat
bug