{"entities":{"Q799970":{"pageid":801818,"ns":120,"title":"Item:Q799970","lastrevid":77782160,"modified":"2026-05-06T10:02:41Z","type":"item","id":"Q799970","labels":{"en":{"language":"en","value":"Stone-\u010cech compactification of locales. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3876179"}},"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":"Q799970$52620615-7C63-4EAA-BEA6-54709ADAA0DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26175c053cce17b19db469c0d9204916b321f3c1","datavalue":{"value":{"text":"Stone-\u010cech compactification of locales. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q799970$63ADE0DB-ED10-4A07-8D1C-2F647C6AC828","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed2a14e7e0c3a615c062bd8181ee12afbc2b25c4","datavalue":{"value":"0549.54017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799970$F183A910-9DEB-4151-8B02-97C6A5720BAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b050b83a75283847f27409775547efd4c1a0955","datavalue":{"value":"10.1016/0022-4049(84)90001-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799970$975E3227-FCD8-42A7-9FD0-E2B58908D75F","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":"Q799970$492C30C1-DC2B-4D1C-A7EA-DA2A003B750C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q799970$D5023264-8C73-4D33-A14E-D821539B9EB1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f7af7d951ae6c8083759cc250cf878e346343625","datavalue":{"value":"The existence of the Stone-\u010cech compactification of a topological space is equivalent, classically, to the prime ideal theorem, and hence only slightly weaker than the axiom of choice. In part I [Houston J. Math. 6, 301-312 (1980; Zbl 0473.54026)] the authors proved constructively the existence of the Stone-\u010cech compactification of a locale by lattice theoretic arguments. Independently, P. T. Johnstone established the same result by a constructive modification of the method of Tychonoff.    Among the many other ways of obtaining the Stone-\u010cech compactification of a space, the most significant one is that which describes it as the space of maximal ideals of its algebra of bounded continuous real-valued functions. The present paper presents the constructive analogue of this approach, based on a syntactic description of the locale of maximal ideals of this algebra introducted by the second author.","type":"string"},"datatype":"string"},"type":"statement","id":"Q799970$E110CCCC-70BE-4A85-966E-1E57230C3B94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"df156e09d444fe6bbc2f0d3d26334a207b158317","datavalue":{"value":"54D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799970$46873A44-6D44-44CA-8A11-9D778A50A814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"022e9b23a1c7b86b8179e3d4e3925f91e3f0bfde","datavalue":{"value":"54C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799970$951400FF-3EBB-4E43-9DBD-0F1044C5C81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6572440b52f16621a0f14dcfb541403c84695f8c","datavalue":{"value":"54H12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799970$4060FBF3-F4C4-4A20-AA35-90306B4DC6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799970$FA03A9D9-A667-425F-817D-5E492405347E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799970$90A6490D-1857-418F-BA36-CFB435C79DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9de122ab855f9ddfed11049bff6760e78c7b0fb5","datavalue":{"value":"18B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799970$2EC1A3B6-CD79-448C-AF01-27038EE87A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799970$C3568D0A-E10A-40E1-A310-8B975475B158","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b74faa664dd12d8baf72dce4009b749d2ce02a0a","datavalue":{"value":"3876179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799970$20D7C8B9-F27C-47D3-A216-D28C7C36AA9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c29f5fc625c744e934f436a6a0be4da3efbea97","datavalue":{"value":"Stone-\u010cech compactification","type":"string"},"datatype":"string"},"type":"statement","id":"Q799970$70BA3A6E-814C-435C-991D-2EE4B039B8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68a27e34612585a80ca9cc131cef398c32e9bf4d","datavalue":{"value":"algebra of bounded continuous real- valued functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q799970$4AB3895D-9B48-40CC-8D26-DF4E13BCC548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"801c20cc7492afefdfb8e2ceedd79e19bb59edea","datavalue":{"value":"locale of maximal ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q799970$4C3917FC-682E-47A6-BC56-6B16E694A17D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0515b5421feff2368cf40870c6ca8619e9feca7e","datavalue":{"value":{"entity-type":"item","numeric-id":168346,"id":"Q168346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799970$62B2FB96-9564-4C56-9D2C-4813AB97C82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c29bfeffd0022c798fdb10fc4d174f826b06950","datavalue":{"value":{"entity-type":"item","numeric-id":194951,"id":"Q194951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799970$6636B625-A204-471F-AB6D-DD07BAD9CB27","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"817ffdbcfe85b4bcc287eeb095baaf2eb285a0fd","datavalue":{"value":{"entity-type":"item","numeric-id":1052701,"id":"Q1052701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799970$B5CCE8A7-58FD-4EBD-B8FA-832A6E066608","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":"Q799970$C98363AE-7265-47B4-BF90-8451E48CA5F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88f484ba619b24e8d6dc7548e3787ac753243f0","datavalue":{"value":{"entity-type":"item","numeric-id":3927875,"id":"Q3927875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799970$38C1F721-7190-4948-A10B-A9E28A636BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cafd626a7f181547e5ad89f5ae870a5bec9c0d1c","datavalue":{"value":{"entity-type":"item","numeric-id":2575765,"id":"Q2575765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799970$3A9EC734-0A71-4244-802A-08394284A63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de26bb8ee6b7909c4d8fc4004fd737791e1c9a4e","datavalue":{"value":{"entity-type":"item","numeric-id":3322099,"id":"Q3322099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799970$11CFEBC0-ECC3-49A2-AC57-52A897D34AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3551f2a22d68d8091928801d8423ada3760e3e7a","datavalue":{"value":{"entity-type":"item","numeric-id":3863865,"id":"Q3863865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799970$11495EDB-F7F1-4A90-81C0-7160D0AE88E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6523521db39f111c7ccfb7d14a87019dd5be09b8","datavalue":{"value":{"entity-type":"item","numeric-id":3969526,"id":"Q3969526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799970$1F495278-BDAE-4FA0-B1C1-668DA62DE326","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":"Q799970$E131E124-7D97-4EA5-8A97-510A2F509B2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8b227bd552ab5764592ee6c456cc9af6e40fb9a","datavalue":{"value":{"entity-type":"item","numeric-id":1414050,"id":"Q1414050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9235ca9e4ed1d2dbdb8897da96b357af8f2410a3","datavalue":{"value":{"amount":"+0.888141393661499","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":"Q799970$BD3271B1-2D66-4407-A23A-7AABCD4D6DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97dba961aefe9251abcbef930e65a95d69df4739","datavalue":{"value":{"entity-type":"item","numeric-id":3810520,"id":"Q3810520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce3342c4dd8402c1d8927e6c4c793d38e5277a08","datavalue":{"value":{"amount":"+0.8796156644821167","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":"Q799970$F574787D-52C6-4F5E-8E16-B3A29835D74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"966d0c2262c155851342bfa0e7d3005464c8bc5c","datavalue":{"value":{"entity-type":"item","numeric-id":3066786,"id":"Q3066786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f01e698969b7016d6969bd03b0b1c93a5ad2565","datavalue":{"value":{"amount":"+0.8719549775123596","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":"Q799970$85176AE6-3868-4B3A-960C-500DCDEB3163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b254f5ca8dfe1f5f36c8fb2d570b6ca6f6e5a837","datavalue":{"value":{"entity-type":"item","numeric-id":882119,"id":"Q882119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"511a4a70449f9dd42037ce709d94f4d24de4079b","datavalue":{"value":{"amount":"+0.8703256249427795","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":"Q799970$6ED91E99-0C40-43C3-82DD-E3FDA2DE9D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d970004681591f32132611a181bb5f7560ff743","datavalue":{"value":{"entity-type":"item","numeric-id":1430173,"id":"Q1430173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca11a9e3dedad077bc61c1046f0b124daa4b1d93","datavalue":{"value":{"amount":"+0.847550630569458","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":"Q799970$C7645342-AA38-44E8-9C43-E1ADCA3DF3A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stone-\u010cech compactification of locales. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stone-%C4%8Cech_compactification_of_locales._II"}}}}}