On locally modular, weakly minimal theories (Q688853): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 09:27, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On locally modular, weakly minimal theories |
scientific article |
Statements
On locally modular, weakly minimal theories (English)
0 references
17 October 1994
0 references
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\).
0 references
locally modular theory
0 references
affinized group
0 references
weakly minimal theories
0 references
locally modular strong types
0 references