Some Model Theory of Sheaves of Modules

, &
Journal of Symbolic Logic 69 (4):1187 - 1199 (2004)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.2178/jsl/1102022218

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,752

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Lawvere-Tierney Sheaves in Algebraic Set Theory.S. Awodey, N. Gambino & M. A. Warren - 2009 - Journal of Symbolic Logic 74 (3):861 - 890.
Sheaves and Boolean valued model theory.George Loullis - 1979 - Journal of Symbolic Logic 44 (2):153-183.
Modules with few types over some finite-dimensional algebras.Mike Prest & Vera Puninskaya - 2002 - Journal of Symbolic Logic 67 (2):841-858.
Some model theory of modules. I. on total transcendence of modules.Philipp Rothmaler - 1983 - Journal of Symbolic Logic 48 (3):570-574.
Some model theory of modules. II. on stability and categoricity of flat modules.Philipp Rothmaler - 1983 - Journal of Symbolic Logic 48 (4):970-985.
Some model theory of modules. III. on infiniteness of sets definable in modules.Philipp Rothmaler - 1984 - Journal of Symbolic Logic 49 (1):32-46.
The modular structure of physical theories.Olivier Darrigol - 2008 - Synthese 162 (2):195 - 223.
World theory.Ovidiu Cristinel Stoica - unknown
Asymptotic theory of modules of separably closed fields.Françoise Point - 2005 - Journal of Symbolic Logic 70 (2):573-592.
Sheaves over Heyting lattices.Andrzej W. Jankowski & Marek Zawadowski - 1985 - Studia Logica 44 (3):237 - 256.
Theories of modules closed under direct products.Roger Villemaire - 1992 - Journal of Symbolic Logic 57 (2):515-521.
Consciousness: A Simple Information Theory Global Workspace Model.Dr Rodrick Wallace - unknown
Non-commutative topology and quantales.Marcelo E. Coniglio & Francisco Miraglia - 2000 - Studia Logica 65 (2):223-236.
The model completion of the theory of modules over finitely generated commutative algebras.Moshe Kamensky - 2009 - Journal of Symbolic Logic 74 (3):734-750.

Analytics

Added to PP
2010-08-24

Downloads
26 (#608,273)

6 months
8 (#353,767)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references