Some model theory of sheaves of modules
Prest, Mike ; Puninskaya, Vera ; Ralph, Alexandra
J. Symbolic Logic, Tome 69 (2004) no. 1, p. 1187-1199 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
We explore some topics in the model theory of sheaves of modules. First we describe the formal language that we use. Then we present some examples of sheaves obtained from quivers. These, and other examples, will serve as illustrations and as counterexamples. Then we investigate the notion of strong minimality from model theory to see what it means in this context. We also look briefly at the relation between global, local and pointwise versions of properties related to acyclicity.
Publié le : 2004-12-14
Classification:  
@article{1102022218,
     author = {Prest, Mike and Puninskaya, Vera and Ralph, Alexandra},
     title = {Some model theory of sheaves of modules},
     journal = {J. Symbolic Logic},
     volume = {69},
     number = {1},
     year = {2004},
     pages = { 1187-1199},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1102022218}
}

Prest, Mike; Puninskaya, Vera; Ralph, Alexandra. Some model theory of sheaves of modules. J. Symbolic Logic, Tome 69 (2004) no. 1, pp.  1187-1199. http://gdmltest.u-ga.fr/item/1102022218/