Relative Vaught's conjecture for some meager groups (Q998142)

In this paper the author continues his investigation of Vaught's Conjecture for groups with meager forking. A superstable locally modular group \(G\) is considered. Let \(Gm\) denote the modular part of \(G\), that is, the type-definable subgroup ``generated'' by the modular types in \(G\). The paper describes the quotient group with respect to \(Gm\) in any countable model of the theory of \(G\). This analysis leads to the proof of Vaught's Conjecture relative to \(Gm\) and a finite set, provided that \(G\) is meager, \({\mathcal M}(G) = 1\) and the ring of pseudoendomorphisms of \(G\) is finite. The final section of the paper studies how to weaken the assumption that \({\mathcal M}(G) = 1\) when \(G\) is a locally modular regular group definable in a superstable theory \(T\). A description of the set of cosets of \(Gm\) realized in a countable model of \(T\) is provided in this setting.