Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1762

Preprint Number 1762

Previous Next Preprint server

1762. D. Osin
A topological zero-one law and elementary equivalence of finitely generated groups

Submission date: 16 April 2020


Let G denote the space of finitely generated marked groups. We give equivalent characterizations of closed subspaces S ⊆ G 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 show that the zero-one law holds for certain natural spaces associated to hyperbolic groups and their generalizations. As an application, we obtain 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.

Mathematics Subject Classification: Primary: 03C07, 03C60, 20F67, 03E15. Secondary: 03C75, 06F15, 20F05, 54H05

Keywords and phrases:

Full text arXiv 2004.07479: pdf, ps.

Last updated: April 21 2020 09:45 Please send your corrections to: