Gabriel topologies on coherent quantales (Q1295504): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q1105687 |
||
Property / reviewed by | |||
Property / reviewed by: Q587522 / rank | |||
Revision as of 01:40, 22 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Gabriel topologies on coherent quantales |
scientific article |
Statements
Gabriel topologies on coherent quantales (English)
0 references
31 January 2000
0 references
The notion of a Gabriel topology on a quantale \(Q\) was first investigated by the reviewer in his book ``Quantales and their applications'' [\textit{K. I. Rosenthal}, Pitman Res. Notes Math. 234 (1990; Zbl 0703.06007)]. This paper considers the frame of Gabriel topologies on a coherent quantale \(Q\) (recall that if ``\&'' denotes the operation on \(Q\), then \(Q\) is coherent iff its top element is finite and its finite elements are closed under ``\&''). These ideas are applied to ring theoretic spectrum constructions, and the compact Gabriel topologies are also related to a system of propositional logic. In this context, local compactness of the frame of compact topologies corresponds to a completeness theorem for this logical system. This paper will be of interest to categorical readers interested in algebra, because of its connections with ring theory, as well as logic (the logic involved in this setting is a so-called ``substructural'' logic).
0 references
quantales
0 references
substructural logic
0 references
Gabriel topology
0 references
ring theoretic spectrum
0 references
local compactness
0 references
completeness theorem
0 references