On locally modular, weakly minimal theories (Q688853)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 438615
Language Label Description Also known as
default for all languages
No label defined
    English
    On locally modular, weakly minimal theories
    scientific article; zbMATH DE number 438615

      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