Gabriel topologies on coherent quantales (Q1295504): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Q587522 / rank | |||
Property / reviewed by | |||
Property / reviewed by: Kimmo I. Rosenthal / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3752562 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3770650 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The logic of inexact concepts / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3711309 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logics without the contraction rule / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A general approach to gabriel filters on quantales / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The semiring of topologizing filters of a ring / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4049223 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spectra of monoidal-lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4495851 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 20:51, 28 May 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