The group configuration theorem for generically stable types

2022/09/07 by Paul Z. Wang, Wang, Paul Z.
Computer Science · Mathematics · #03C45 #Advanced Topology and Set Theory #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Logic, programming, and type systems

paper · pdf · doi:10.48550/arxiv.2209.03081

openalex publication_date 2022/09/07 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We generalize Hrushovski's group configuration theorem to the case where the type of the configuration is generically stable, without assuming tameness of the ambient theory. The properties of generically stable types, which we recall in the first section, enable us to adapt the proof known in the stable context.

Related

• Solubility of groups can be characterized by configuration
• Two-sided configuration equivalence and isomorphism
• An o-minimalist view of the group configuration
• Constructing the hyperdefinable group from the group configuration
• A Note on Generic Types