Prest, Mike and Puninskaya, Vera and Ralph, Alexandra (2004) Some model theory of sheaves of modules. Journal of Symbolic Logic, 69 (4). pp. 1187-1200. ISSN 0022-4812
PDF
modthshf.pdf Download (224kB) |
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.
Item Type: | Article |
---|---|
Subjects: | MSC 2010, the AMS's Mathematics Subject Classification > 03 Mathematical logic and foundations MSC 2010, the AMS's Mathematics Subject Classification > 14 Algebraic geometry MSC 2010, the AMS's Mathematics Subject Classification > 16 Associative rings and algebras |
Depositing User: | Professor Mike Prest |
Date Deposited: | 22 May 2006 |
Last Modified: | 20 Oct 2017 14:12 |
URI: | https://eprints.maths.manchester.ac.uk/id/eprint/282 |
Actions (login required)
View Item |