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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / 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
    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

    Identifiers