Modules in the category of sheaves over quantales

&
Annals of Pure and Applied Logic 108 (1-3):103-136 (2001)
  Copy   BIBTEX

Abstract

In this paper we develop the elementary theory of modules in the category Sh of sheaves over right-sided idempotent quantales. The main ingredient is the construction of a logic sound for Sh . As an application we prove that in Sh , a finitely generated projective module is free , a result that is relevant to the study of representation of non-commutative C ∗ -algebras

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(00)00042-7

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,006

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

Sheaves over right sided idempotent quantales.F. Miraglia & U. Solitro - 1998 - Logic Journal of the IGPL 6 (4):545-600.
On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular.Hans Heymans & Isar Stubbe - 2010 - Annals of Pure and Applied Logic 161 (1):43-65.
Towards the decidability of the theory of modules over finite commutative rings.Gena Puninski & Carlo Toffalori - 2009 - Annals of Pure and Applied Logic 159 (1-2):49-70.
GL-Quantales: Q-valued sets and their singletons. [REVIEW]Ulrich Höhle - 1998 - Studia Logica 61 (1):123-148.
Sheaves over Heyting lattices.Andrzej W. Jankowski & Marek Zawadowski - 1985 - Studia Logica 44 (3):237 - 256.
Model theory of modules over a serial ring.Paul C. Eklof & Ivo Herzog - 1995 - Annals of Pure and Applied Logic 72 (2):145-176.
Projective modules over non-commutative tori: classification of modules with constant curvature connection.Astashkevich Alexander & Schwarz Albert - unknown
Computing coproducts of finitely presented Gödel algebras.Ottavio M. D’Antona & Vincenzo Marra - 2006 - Annals of Pure and Applied Logic 142 (1):202-211.
Decidability of the theory of modules over commutative valuation domains.Gennadi Puninski, Vera Puninskaya & Carlo Toffalori - 2007 - Annals of Pure and Applied Logic 145 (3):258-275.
Erratum to “Representation theory of MV-algebras” [Ann. Pure Appl. Logic 161 (8) (2010)].Eduardo J. Dubuc - 2012 - Annals of Pure and Applied Logic 163 (9):1358.

Analytics

Added to PP
2014-01-16

Downloads
38 (#463,543)

6 months
21 (#190,151)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Marcelo E. Coniglio
University of Campinas
Marcelo Coniglio
University of Campinas

Citations of this work

Add more citations

References found in this work

Equality in linear logic.Marcelo E. Coniglio & Francisco Miraglia - 1996 - Logique Et Analyse 39 (153-154):113-151.
Sheaves over right sided idempotent quantales.F. Miraglia & U. Solitro - 1998 - Logic Journal of the IGPL 6 (4):545-600.

Add more references