On locally modular, weakly minimal theories (Q688853): Difference between revisions

The paper contains ``new results of a technical nature, all related by being about weakly minimal theories with locally modular strong types''. Its main results are the following: 1. Let \(p\) be a locally modular, not modular weakly minimal strong type over \(\varphi\). There is \(\sigma(x)\in p\) and \(E\), an almost 0-definable equivalence relation with finite classes on \(\sigma({\mathcal C})\), so that \(\sigma({\mathcal C})/E\) is an affinized abelian group (a structure equipped with a 4-ary relation \(Q\) such that for any element \(c\), \(Q(c,x,y,z)\) defines an abelian group operation on the structure with \(c\) as zero). 2. Let \(p\) be a modular, nontrivial weakly minimal strong type over \(\varphi\). Then there is \(\sigma\in p\) and \(E\) an almost 0-definable equivalence relation with finite classes on \(\sigma({\mathcal C})\) such that \(\sigma({\mathcal C})/E\) is interdefinable (using parameters from \(\text{acl}(\varphi)\)) with a structure of the form \(A/E^*\), where \(A\) is a weakly minimal abelian group with modular generic, and \(E^*\) an almost 0-definable equivalence relation with finite classes on \(A\).