Hostname: page-component-8448b6f56d-42gr6 Total loading time: 0 Render date: 2024-04-19T10:37:58.926Z Has data issue: false hasContentIssue false
  • English
  • Français

Some model theory of sheaves of modules

Published online by Cambridge University Press:  12 March 2014

Mike Prest ,
Vera Puninskaya  and
Alexandra Ralph
Mike Prest
Affiliation:
Department of Mathematics, University of Manchester, Oxford Road, Manchester, M13 9PL, UK, E-mail: mprest@maths.man.ac.uk
Vera Puninskaya
Affiliation:
Dipartimento di Matematica e Informatica, Universitá di Camerino, Via Madonna Delle Carceri, I-62032 Camerino, Italy, E-mail: vera.puninskaya@unicam.it
Alexandra Ralph
Affiliation:
3 Seaford Avenue, Wollaton, Nottingham, NG9 ILA, UK, E-mail: alexandra.ralph@alexandraralph.demon.co.uk
Get access Rights & Permissions [Opens in a new window]

Abstract.

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.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 69 , Issue 4 , December 2004 , pp. 1187 - 1199
Copyright
Copyright © Association for Symbolic Logic 2004

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Adámek, J. and Rosický, J., Locally presentable and accessible categories, London Mathematical Society Lecture Note Series, vol. 189, Cambridge University Press, 1994.CrossRefGoogle Scholar
[2]Borceux, F., Handbook of categorical algebra, vol. 3, Cambridge University Press, 1994.Google Scholar
[3]Enochs, E., Estrada, S., García-Rozas, J. R., and Oyonarte, L., Generalized quasi-coherent sheaves, Journal of Algebra and its Applications, vol. 2 (2003), pp. 63–83.CrossRefGoogle Scholar
[4]Iversen, B., Cohomology of sheaves, Springer-Verlag, 1986.CrossRefGoogle Scholar
[5]Pierce, R. S., Modules over commutative regular rings, Memoirs of the American Mathematical Society, vol. 70 (1967).Google Scholar
[6]Popescu, N., Abelian categories with applications to rings and modules, Academic Press, 1973.Google Scholar
[7]Prest, M., Model theory and modules, London Mathematical Society Lecture Notes Series, vol. 130, Cambridge University Press, 1988.CrossRefGoogle Scholar
[8]Prest, M., The sheaf of locally definable scalars over a ring, Models and computability, London Mathematical Society Lecture Notes Series, vol. 259, Cambridge University Press, 1999, pp. 339–351.Google Scholar
[9]Prest, M. and Ralph, A., Locally finitely presented categories of sheaves of modules, University of Manchester, 2001, preprint.Google Scholar
[10]Ralph, A., An approach to the model theory of sheaves, Ph.D. thesis, University of Manchester, 2000.Google Scholar
[11]Stenstrom, B.. Rings of quotients, Springer-Verlag, 1975.CrossRefGoogle Scholar
[12]Tennison, B. R., Sheaf theory, London Mathematical Society Lecture Note Series, vol. 20, Cambridge University Press, 1975.CrossRefGoogle Scholar