{"entities":{"Q2575768":{"pageid":2586511,"ns":120,"title":"Item:Q2575768","lastrevid":48606742,"modified":"2026-01-05T09:00:57Z","type":"item","id":"Q2575768","labels":{"en":{"language":"en","value":"Compactly generated Hausdorff locales"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2235849"}},"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":"Q2575768$6A8A430E-80E8-45C8-9133-A86A19BD6418","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"710e05c1929292cf1ef007dcde7b76f2fdc98dc7","datavalue":{"value":{"text":"Compactly generated Hausdorff locales","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2575768$8C14D2AB-43DE-44B2-B2DF-7421EA9E729B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb3ee47fcc64418e6595bcfb588d82309e6ab7e9","datavalue":{"value":"1080.54017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575768$AEA5378E-E06B-4A17-AE7A-A5428E9335F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16afa49763aa251d50707d52eece0d5ea5808a6","datavalue":{"value":{"entity-type":"item","numeric-id":168355,"id":"Q168355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575768$ECEF8230-B53A-4C14-9E23-6A3334E641BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575768$1DC86CF4-5AAE-442C-A453-FA26781296FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b09223eb41f2578445149fa9e31b1db1d112f337","datavalue":{"value":{"time":"+2005-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2575768$89DDAC45-D9E2-438F-9CBC-5C64BA84EDC9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"794fb73787a1de51ce73b7e76873d28982a1c9a3","datavalue":{"value":"Over twenty years ago, in a paper on exponentials (function spaces) in the category of locales, the reviewer raised the problem of developing a theory of compact generation for locales. Here, at last, is the first serious attack on this problem. The author restricts himself to Hausdorff locales (that is, locales with closed diagonal): for such a locale \\(X\\), he defines \\(kX\\) to be the colimit of the diagram formed by the compact sublocales of \\(X\\) and their inclusions, and calls \\(X\\) compactly generated if the canonical map \\(kX\\to X\\) is an isomorphism. By an ingenious use of the Hofmann-Mislove theorem (here called the Hofmann-Mislove-Johnstone theorem), he shows that the frame of opens of \\(kX\\) may be constructed as the second Lawson dual of that of \\(X\\). Unfortunately, he has not (yet) been able to determine whether the canonical map \\(kX\\to X\\) is always monic (as it is for spaces), or even whether \\(kX\\) is always Hausdorff when \\(X\\) is; but, under either of these hypotheses, he is able to show that the functor \\(k\\) provides a coreflection from arbitrary Hausdorff locales to compactly generated ones.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575768$B982CB80-85A7-4D44-811B-AC2C8B386BE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"05494e5918a54c2f4e0cbc9ffa0a58419d4a5648","datavalue":{"value":"54D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575768$128799F8-0948-4259-A0F1-EEA684D49E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575768$924BC646-C045-4196-BB0B-B9BA8D86AE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9de122ab855f9ddfed11049bff6760e78c7b0fb5","datavalue":{"value":"18B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575768$077B9CED-9EF2-4447-8299-6A1D13D927DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"291a284c842587ff2cf6db131792693f7c492ced","datavalue":{"value":"2235849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575768$A4DAC76B-04ED-405E-BCE4-C9B728B300CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95098c96170a4d1a9f969445c6494dc444510cf9","datavalue":{"value":"Compactly generated Hausdorff locale","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575768$9FBFF925-99C1-4781-8FD6-1219A273B892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92f800668ccb9b98a3795397bfea2e134cbd8926","datavalue":{"value":"\\(k\\)-space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575768$748FA457-4BE7-40C6-BD0F-4FA3DD73F83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"241038cf29a7f12e0cf05eb2c573a8cc4ae0c1ee","datavalue":{"value":"Lawson duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575768$05822B83-A762-450E-9888-979F9D8AC24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"670d47bd142470b78e235df7bcb5a71c83bd355a","datavalue":{"value":"Hofmann-Mislove-Johnstone theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575768$CDC37EE4-6E9E-4FD0-9CA7-43A70B9F6652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ef4719df0b109648e8cd6feaf00ff80dc870f0e","datavalue":{"value":"Patch construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2575768$B39159DE-6099-4147-B2C5-02727AA3EDA7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9596d005c29801249c01b9d1288aea39b7db279d","datavalue":{"value":{"entity-type":"item","numeric-id":702196,"id":"Q702196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575768$53EEC207-07A6-482B-B0F7-D1F6485AC0CD","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":"Q2575768$1F4DEB12-AA60-4FE9-85E8-5DE79B0C9B61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf62eedd1e36ed610557d5145f6af4e9393f8ced","datavalue":{"value":"https://doi.org/10.1016/j.apal.2005.05.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q2575768$22DA50A4-C839-4B4B-995D-B3DDDA2B3A3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"572f2ae94e28a86e2df2e5872edcf12dcef37952","datavalue":{"value":"W2016944038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575768$44299F37-988B-4328-BD2F-A1A88FC8195C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d40550fddd78fa96713d6f04c43b101012a561","datavalue":{"value":{"entity-type":"item","numeric-id":1295213,"id":"Q1295213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575768$C3395DE5-FA54-4BC3-A5F7-3627C0FCF072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c026f500b31fc7544ec74bb3bbb24814bc440e5","datavalue":{"value":{"entity-type":"item","numeric-id":5928473,"id":"Q5928473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575768$9303CF0A-4FA7-4C80-8570-72ED969D234A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4d84f065381c35cd7d8b1b70bfd2cac541dbc1","datavalue":{"value":{"entity-type":"item","numeric-id":1395748,"id":"Q1395748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575768$F07AD5C1-D6E9-45A4-8622-365787EB4901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575768$AAA05929-17A5-446A-BA97-20834692A5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef7c9b852948fffcc410ec2ce3b0defd6bc69631","datavalue":{"value":{"entity-type":"item","numeric-id":3320440,"id":"Q3320440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575768$2DF663B6-3A12-4C94-BA1F-6894F13F1F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b40ec9f65c8a6602891aab9e9812e47300391e10","datavalue":{"value":{"entity-type":"item","numeric-id":3915037,"id":"Q3915037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575768$976BC204-EEEB-4AC4-B4C2-133676070783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d439ef1a306681eb4ade60b3a39f9a709db364","datavalue":{"value":{"entity-type":"item","numeric-id":5658807,"id":"Q5658807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575768$5C31D1AC-A446-4CF0-9969-38ADC929F908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575768$84AD804C-AAD6-4383-B8C9-A528C11232AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c4985399887e35d602a294c8b4cfe667bc40b67","datavalue":{"value":{"entity-type":"item","numeric-id":3322276,"id":"Q3322276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575768$2BB58050-35D5-4441-8BE2-3B0497695CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc3c157fe8cb83c2a873dc7c75862dc692487efe","datavalue":{"value":{"entity-type":"item","numeric-id":3702938,"id":"Q3702938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575768$4CFD18F0-5EA2-426F-A701-004B3ACE44C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41bd2cc0badda1bd2b407ae76037505554d94b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4828514,"id":"Q4828514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575768$EDF4715D-8026-4886-9F67-0A879DF873CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575768$245E5ECC-54C3-4DC2-A2E5-3BD1CA78FD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a9ab3e424dc1140f0bff3f8859f77b1c4b111e0","datavalue":{"value":{"entity-type":"item","numeric-id":3978991,"id":"Q3978991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2575768$661991EF-11C6-4EBF-B0B9-62AC398555B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1fb15ca70a689d360fb85de97ae0eacab1a4ebe","datavalue":{"value":"10.1016/J.APAL.2005.05.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2575768$E9869CC6-FE18-45FB-BE09-4E35B43260BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a00223f2ba48b2bb977062098a20e589bd7c6f6f","datavalue":{"value":{"entity-type":"item","numeric-id":4959497,"id":"Q4959497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17db4fd04935bdcdf3c62e92565f559a87594656","datavalue":{"value":{"amount":"+0.754497766494751","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":"Q2575768$4AF09876-F694-42B0-A268-D1FD1FD9C801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b478b0539ab86d6d828233fac568742ec9b6d42","datavalue":{"value":{"entity-type":"item","numeric-id":3978991,"id":"Q3978991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eedb059c583de14f774dbd4ae93183b91937ace","datavalue":{"value":{"amount":"+0.7544000744819641","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":"Q2575768$4091CBA0-931F-48D8-A03A-161292DB682D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27c5e4e2fb3349efda234c1c2d7aefa5d5f248ce","datavalue":{"value":{"entity-type":"item","numeric-id":2706978,"id":"Q2706978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a24903fcbfc5c6c33fc4cf67e761c6cf36e4ac5c","datavalue":{"value":{"amount":"+0.7544000148773193","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":"Q2575768$867BA57C-C7EE-4E54-AA7F-CF34F553E4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b0f7d4129c7dfc7de11af4cc81c31936e528764","datavalue":{"value":{"entity-type":"item","numeric-id":3981833,"id":"Q3981833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4c120e527a24beee79c2a023b24a86617830712","datavalue":{"value":{"amount":"+0.75113844871521","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":"Q2575768$E871E755-EBBA-4A1C-A600-891623D24BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48c60a5c5bc5a0865a944838e38f39fd03f179b5","datavalue":{"value":{"entity-type":"item","numeric-id":3320440,"id":"Q3320440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b60e1371aeb574016f28dc1c274824cb6d517427","datavalue":{"value":{"amount":"+0.7498654127120972","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":"Q2575768$35F26A4A-5547-4D12-BF11-046DCEBE10E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2575768","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2575768"}}}}}