{"entities":{"Q1295504":{"pageid":1306254,"ns":120,"title":"Item:Q1295504","lastrevid":68392530,"modified":"2026-04-12T23:24:30Z","type":"item","id":"Q1295504","labels":{"en":{"language":"en","value":"Gabriel topologies on coherent quantales"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308159"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295504$16893AD3-C386-4525-B111-4DFB4236A10C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3bbfb6d59ce1885c66d72ceb119a0bff44b12802","datavalue":{"value":{"text":"Gabriel topologies on coherent quantales","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295504$9F8128AA-814F-4758-B393-4F91E180CC03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d8761c895c723d5791bdb0fdbf6fab4f43e6adf","datavalue":{"value":"0929.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295504$EA4A0C18-22C7-407B-914D-36302A4FBADD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f800fd3bd87bdc0c3a404e8b6dcd9eb2239354b6","datavalue":{"value":"10.1016/S0022-4049(96)00150-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295504$BC0CF321-19B1-424B-960C-517ACF5A0A9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a22dcf6caa2b9b1b4d20645015a86dd1f8584097","datavalue":{"value":{"entity-type":"item","numeric-id":456879,"id":"Q456879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295504$ED202CD9-21BA-4383-8A88-03F39694A70C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295504$DDA1987D-3686-4693-95F9-46EA43DD7275","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e1081f2c181713e358c5c3427f8dc3ab65306c7","datavalue":{"value":{"time":"+2000-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295504$0F4A573F-20AC-48B9-B404-4B3FB5176C28","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b008804a16d26022eb378d139b3ef1ef1e022ff7","datavalue":{"value":"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).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295504$6FA894C5-B44D-4BB1-9EC9-5F9021DEFE15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295504$DE766763-BC41-4648-B78F-C4C38E1D04BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295504$38039499-C84F-4CAE-BC7F-94B6C24137ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295504$1C1F0FE9-819D-4FE9-B2B0-795004B3CBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f908cfb5ef04305a6cd43a609f42648aa6ba778","datavalue":{"value":"16W80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295504$992A5154-4EF0-4C06-B8D1-63CCC38B1049","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"968c9982568e82f48d73cc573858be465a5b3083","datavalue":{"value":"1308159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295504$F891F449-22F7-4E41-93DF-8998F9DC90A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a2757483db7063804eea8277a6e94835ec94f63","datavalue":{"value":"quantales","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295504$85989A8F-94D6-4032-91D5-76B958006772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295504$8AC40927-FAF5-4E50-9FF4-DA62CF3D5D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6c453b8e029d6296b7f5f546f8be962fd196499","datavalue":{"value":"Gabriel topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295504$4C499337-5557-4424-ADB2-22ED27E18D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d278e9c53f2b14c2cdde7a06c1fc3b01a125239f","datavalue":{"value":"ring theoretic spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295504$545EEA08-B120-4C4D-8F83-709C1467CF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58356b09c7f400d749a52d0e366c5434a726f178","datavalue":{"value":"local compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295504$04A9FA71-0BCD-4906-A9EC-7B9D723245BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295504$07C8A9C9-393D-4E5D-BF29-DCADC8B48714","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"39b02d015f14d620a5308a1f38b65d3e56d13be9","datavalue":{"value":{"entity-type":"item","numeric-id":1057893,"id":"Q1057893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295504$DBCF505A-6E1A-480B-9B7A-85ED17E2AC40","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295504$D178A4C0-4FC6-4578-AC95-DA9F1A081603","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d3ad61188468667a9df50ae05430fdcf7ca22fd","datavalue":{"value":{"entity-type":"item","numeric-id":3752562,"id":"Q3752562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295504$866EF5A0-B030-4A61-AEBC-9A6EC03095F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500ffa37d61270fa66ef4038b154cd6e35f8ed6b","datavalue":{"value":{"entity-type":"item","numeric-id":3770650,"id":"Q3770650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295504$6CDA8D33-85FC-45F5-ABE1-6726241E38DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f010e894f7ae9f6822bb04f252b0242f22b1b8ca","datavalue":{"value":{"entity-type":"item","numeric-id":2535673,"id":"Q2535673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295504$7BD9173A-CFA1-452D-895D-058005536A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d88769eedbb16571caefa699fd0710b447d3827","datavalue":{"value":{"entity-type":"item","numeric-id":3711309,"id":"Q3711309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295504$BBA429DE-7F40-43E6-8552-8B87A862EB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc09538a5c77707bd740c1af4339f9cfde82b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3707997,"id":"Q3707997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295504$073ED259-F316-42AA-A600-5230A24DD3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69f58b1570bcc89bc61043aa848622cca9ea36b7","datavalue":{"value":{"entity-type":"item","numeric-id":4029243,"id":"Q4029243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295504$1956216D-9C29-49B0-A057-5E87762BE3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4a7f9f5d33ae6278dec099ae8c883710e2db0ef","datavalue":{"value":{"entity-type":"item","numeric-id":1101817,"id":"Q1101817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295504$AF052EEB-CDD8-49FE-952B-5BA432A9AA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce18383aa0fb35992209892ecc8afc0d8f83ea5d","datavalue":{"value":{"entity-type":"item","numeric-id":4049223,"id":"Q4049223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295504$296664B2-D6E7-4DDA-98FC-B125CF3C2AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"449664e63b6e7c4a34850ed3fe60dd7e38e30739","datavalue":{"value":{"entity-type":"item","numeric-id":1319059,"id":"Q1319059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295504$93946C01-6856-4169-BD1E-5CE7994A1A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652d70412e741600b08d0b2cede4a9cacadf16ad","datavalue":{"value":{"entity-type":"item","numeric-id":4495851,"id":"Q4495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295504$7E22D5D8-086E-4351-86DA-0A9CBD915A2D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbcadc3ba977e30f0c52ba8351ce00b8de2d725a","datavalue":{"value":{"entity-type":"item","numeric-id":4029243,"id":"Q4029243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e4bfc5100fa6811579bfd1f343e96a7febe23e","datavalue":{"value":{"amount":"+0.813244640827179","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295504$29237A0B-7056-4D11-8991-04BA5BB29FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbe027bb88d3085d265098a12aed127822d27ada","datavalue":{"value":{"entity-type":"item","numeric-id":2035415,"id":"Q2035415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9331af1114848dc32a18c0a510d8d3876f92dd3","datavalue":{"value":{"amount":"+0.7640025019645691","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295504$9F77A3A9-FCCC-4C0C-ACB7-D886DEA1E6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dd1c28919296d957d4d43347b32770f58222ac5","datavalue":{"value":{"entity-type":"item","numeric-id":4944949,"id":"Q4944949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92f6aec7c72e5610079b097bb1b8b3806345b755","datavalue":{"value":{"amount":"+0.7533851265907288","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295504$3FE131FE-657B-42C4-800B-CB737546C5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd973483a26d509c07830e26f8818de0b6c6d323","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f9e346da1eb54674bc518117e6604887ef2fe9","datavalue":{"value":{"amount":"+0.7470536828041077","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295504$1865A833-CDFE-49F2-9A30-2687AFDC26A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gabriel topologies on coherent quantales","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gabriel_topologies_on_coherent_quantales"}}}}}