Affordable Access

Some model theory of sheaves of modules

Publication Date
  • 03 Mathematical Logic And Foundations
  • 14 Algebraic Geometry
  • 16 Associative Rings And Algebras
  • Logic


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.

There are no comments yet on this publication. Be the first to share your thoughts.