Annals of Pure and Applied Logic 108 (1-3):103-136 (2001)
| Authors |
|
| 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
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1016/s0168-0072(00)00042-7 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 56,972
External links
- From the Publisher via CrossRef (no proxy)
- citeseerx.ist.psu.edu
(no proxy) - linkinghub.elsevier.com (no proxy)
- cle.unicamp.br (no proxy)
- sciencedirect.com (no proxy)
- linkinghub.elsevier.com [2] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
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.
Citations of this work BETA
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.
Similar books and articles
Non-Commutative Topology and Quantales.Marcelo E. Coniglio & Francisco Miraglia - 2000 - Studia Logica 65 (2):223-236.
Sheaves Over Heyting Lattices.Andrzej W. Jankowski & Marek Zawadowski - 1985 - Studia Logica 44 (3):237 - 256.
Some Model Theory of Sheaves of Modules.Mike Prest, Vera Puninskaya & Alexandra Ralph - 2004 - Journal of Symbolic Logic 69 (4):1187 - 1199.
Order Algebras as Models of Linear Logic.Constantine Tsinakis & Han Zhang - 2004 - Studia Logica 76 (2):201 - 225.
Ultrapowers as Sheaves on a Category of Ultrafilters.Jonas Eliasson - 2004 - Archive for Mathematical Logic 43 (7):825-843.
GL-Quantales: Q-Valued Sets and Their Singletons. [REVIEW]Ulrich Höhle - 1998 - Studia Logica 61 (1):123-148.
A Sheaf Representation and Duality for Finitely Presented Heyting Algebras.Silvio Ghilardi & Marek Zawadowski - 1995 - Journal of Symbolic Logic 60 (3):911-939.
Ultrasheaves and Double Negation.Jonas Eliasson & Steve Awodey - 2004 - Notre Dame Journal of Formal Logic 45 (4):235-245.
Strict Mittag‐Leffler Modules.P. A. Guil Asensio, M. C. Izurdiaga, Ph Rothmaler & B. Torrecillas - 2011 - Mathematical Logic Quarterly 57 (6):566-570.
A Kripke Semantics for the Logic of Gelfand Quantales.Gerard Allwein & Wendy MacCaull - 2001 - Studia Logica 68 (2):173-228.
J. EL1ASSON Ultrapowers as Sheaves on a Category of Ultrafilters 825 A. LEWIS Finite Cupping Sets 845.G. Metcalfe, N. Olivetti, D. Gabbay, H. Towsner, M. Dzamonja & S. Shelah - 2004 - Archive for Mathematical Logic 43 (7):934.
Lawvere-Tierney Sheaves in Algebraic Set Theory.S. Awodey, N. Gambino & M. A. Warren - 2009 - Journal of Symbolic Logic 74 (3):861 - 890.
On Some Sheaves of Special Groups.Vincent Astier - 2007 - Archive for Mathematical Logic 46 (5-6):481-488.
Analytics
Added to PP index
2014-01-16
Total views
8 ( #946,162 of 2,410,233 )
Recent downloads (6 months)
2 ( #346,720 of 2,410,233 )
2014-01-16
Total views
8 ( #946,162 of 2,410,233 )
Recent downloads (6 months)
2 ( #346,720 of 2,410,233 )
How can I increase my downloads?
Downloads
