{"entities":{"Q1772250":{"pageid":1782992,"ns":120,"title":"Item:Q1772250","lastrevid":70865847,"modified":"2026-04-13T17:47:22Z","type":"item","id":"Q1772250","labels":{"en":{"language":"en","value":"About Stone's notion of spectrum"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2157522"}},"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":"Q1772250$E3232FCF-A6F6-4DA6-9805-2542B02C0494","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20ff7b108b768c393c758a636307c0fc06d3ba3a","datavalue":{"value":{"text":"About Stone's notion of spectrum","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1772250$98AFBD49-978B-4832-9665-42C8B7F94F72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d997c3ba3edf0d58b7d4f2f28dd0b4b9797899f5","datavalue":{"value":"1061.06031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772250$88921B5C-56E4-4BDB-97DC-61DC90523992","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772250$FA21C2B3-9EDF-49EE-B695-AE93EBF27481","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":"Q1772250$7089712E-8FE4-429E-BCDD-61D01D8A704F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aff1fb4b2e1047630f33c57fd1e971f7aa7a6af5","datavalue":{"value":{"time":"+2005-04-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1772250$3F8AA03C-62BE-4F7F-991F-1A80B3CA5D5A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3ee38c1ddb5b8106563c61e5294fb9a63991f404","datavalue":{"value":"The aim of this paper is to analyse, from a constructive viewpoint, Marshall Stone's `General Theory of Spectra', in which he established representation theorems for (suitable) ordered rings as rings of functions on compact Hausdorff spaces. In the constructive setting, the compact spaces become locales, and the key ingredients of the representations reduce to elementary algebraic facts about ordered signs -- all of which can be, and are here, proved constructively. The author sees this as a vindication of `the insight of Riesz and Stone that some basic results in functional analysis can be captured by simple algebraic statements'. Although generally well written, the paper suffers from poor proof-reading: some notations are used before they are defined, and on p.~144 the phrase `least upper bound' is twice used where `greatest lower bound' is meant. Further confusion may be caused by the fact that the author uses the term `preorder' where most people would say `partial order'. But readers should not be deterred by these minor matters: the paper is well worth the effort required to read it.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772250$BC6515A3-0275-462F-BA73-30662805E133","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":"Q1772250$D7FF3BDE-3985-46FA-B8B7-C71919493F8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f923f04f03eef22c103562473d9cf7ff9b04319b","datavalue":{"value":"06F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772250$A43CB4B9-F830-4C5D-BA30-51EA03EEFFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772250$5BDFAB45-E947-4228-AD1C-76B502C4B4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772250$BAC95F53-EECD-46BF-9A6A-8A3A2B9A4B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39fcd47c2eb394bec253b19621381acc48f5cc6a","datavalue":{"value":"13J25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772250$C0663216-F826-4FEC-9577-CF1C9819A10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"166e4a51e7ace285a8ef92be39da2625c5914749","datavalue":{"value":"54C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772250$A8A66EAC-7555-4676-9C81-0BA21A42AD53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b721bc05e2a9daba33ea29fd698c03fb13553f87","datavalue":{"value":"2157522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772250$BECC620D-E0E7-4C87-AD01-9BD5D456CED6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c42b23110f5d9caa38c04e73990423e38f6c0e2","datavalue":{"value":"representation theorems for ordered rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772250$5A172D61-6415-48E2-BAAD-973ECE756DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d084d15d0a640e1dfdda73a201958f68b820f3e","datavalue":{"value":"rings of functions on locales","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772250$05C708CB-12A1-4256-ADB6-4FE33CF3C595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772250$70C5538C-5A9F-4BFF-A4F8-43D685A88E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4295aef0896434e4d91461f84cf454b50537abd0","datavalue":{"value":"general theory of spectra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772250$019183FE-6AC2-48F6-9DA7-344FE625252D","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":"Q1772250$CE508B4A-4388-4E44-9D36-8F5E6B650C0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"47920ad5d99965d8411c19d5840b31c512f9bdf6","datavalue":{"value":"https://doi.org/10.1016/j.jpaa.2004.08.024","type":"string"},"datatype":"url"},"type":"statement","id":"Q1772250$FB4AFDED-F63C-4D9C-B1A4-FAD1D228EFD4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80e22053169f62fc0a3e16b558c294d26fc603a1","datavalue":{"value":"W2066205659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772250$0838112A-AFE4-4E66-99B4-A47ED6133544","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772250$BE3BF230-0166-4C64-B5CD-CD4FB3FFFD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772250$5D296ED6-1F62-4EB9-8F6E-D2AC2A9420CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0267912aa4e34d45e8c53f9ad9b9a159f72e21c5","datavalue":{"value":{"entity-type":"item","numeric-id":5605289,"id":"Q5605289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772250$270C9EF9-1112-41D9-A8EF-93AA77CFF9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388eeac6ca7fd58351a48c90fbfc85bdb01bb2bb","datavalue":{"value":{"entity-type":"item","numeric-id":2710062,"id":"Q2710062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772250$FE1FC052-FAAF-4158-8003-9058F4B7827F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94643c52e0ca66fc44fa93d8a29121e6b2dd5d3","datavalue":{"value":{"entity-type":"item","numeric-id":2710063,"id":"Q2710063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772250$D99A2820-7BFF-4520-A5B9-7540A63A5823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9512bc92ff977e06d38bf8e819fc7d69a0fc113","datavalue":{"value":{"entity-type":"item","numeric-id":678829,"id":"Q678829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772250$1A3C798E-6725-462E-8C94-4B5C352189C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0746af387e353367050027de861503dc9d3748d5","datavalue":{"value":{"entity-type":"item","numeric-id":1051046,"id":"Q1051046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772250$1D990467-E4C5-450D-85D7-C1ECD05046DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c986db4ac3e40d50d09df33517cb3de559dcaac","datavalue":{"value":{"entity-type":"item","numeric-id":594151,"id":"Q594151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772250$B7C9462B-1AA1-4505-BD33-C99EA0E09AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090eaf792f4154c8724d8ec52792b48cab975d7f","datavalue":{"value":{"entity-type":"item","numeric-id":1412832,"id":"Q1412832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772250$44F893B5-D474-4943-9E39-EBE0534A2E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4598a2f0d8250e52c392b2217273aea85b237a5","datavalue":{"value":{"entity-type":"item","numeric-id":5946086,"id":"Q5946086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772250$9DABF651-42F7-4A8F-A13B-364FE782BCD4","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":"Q1772250$43544B19-E227-4F11-BD56-0CF4BA17A4AA","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":"Q1772250$1B5483F5-B1A0-4F4B-A799-148D007CEE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d0ab62ae07f956593adec79bf245f33771b6e2b","datavalue":{"value":{"entity-type":"item","numeric-id":2395891,"id":"Q2395891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772250$4D2D2BE4-D613-4134-B165-B118CC38F306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5967c2175cf6dfae2ed8bebcb00a36835932c55c","datavalue":{"value":{"entity-type":"item","numeric-id":5730197,"id":"Q5730197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772250$2A50B663-057C-4191-9101-979D35ABF87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d4f4042583b49e0ce43139f6586aad7a2e8a332","datavalue":{"value":{"entity-type":"item","numeric-id":5638775,"id":"Q5638775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772250$0AFB2B16-16C1-427F-8D9B-292DD9A0AA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50c250116de9a30284f22649464442f3ea601b1","datavalue":{"value":{"entity-type":"item","numeric-id":5837200,"id":"Q5837200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772250$F499C20E-437C-4AF3-87BF-8FBA876E6237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ba7bfb15f64b8d353be5e898d33b326310e9a8","datavalue":{"value":{"entity-type":"item","numeric-id":1177237,"id":"Q1177237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772250$260FBD00-F64F-4939-B2E0-39A29C6605F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a6564b62026dfaa24b1e1f53e7156f5ea05b1b6","datavalue":{"value":{"entity-type":"item","numeric-id":5507949,"id":"Q5507949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772250$07953EA5-C282-40D8-93D9-90FDC8E61164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d468ff3345ba015663b1953f02f3e075a6117d68","datavalue":{"value":{"entity-type":"item","numeric-id":5846226,"id":"Q5846226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772250$0985050F-27D6-4CB1-A50F-A91BF29E9918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7d3223a901848ab49fc03ca842b33c86c6508b7","datavalue":{"value":{"entity-type":"item","numeric-id":5846227,"id":"Q5846227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772250$72106525-4BBC-4A0C-9C00-4FEA4AFCE45A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8acce52b0d77187ed051c27714ed9380b78b88c","datavalue":{"value":"10.1016/J.JPAA.2004.08.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772250$C19BB649-45DA-4440-99D0-5AFC07122286","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0826fd62f78476accffaffe21ee071052a81f57a","datavalue":{"value":{"entity-type":"item","numeric-id":5310879,"id":"Q5310879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f1ae513b2be7bb125f80e31d702c56e619b398","datavalue":{"value":{"amount":"+0.7721428871154785","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":"Q1772250$47FA0231-2B07-4FB8-B114-816BEEAC8364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08d7042241a34bfbc89daa64ca13286b7f9d66be","datavalue":{"value":{"entity-type":"item","numeric-id":5693616,"id":"Q5693616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f1d5a472b00990ac19d2dddda7becf84e282e97","datavalue":{"value":{"amount":"+0.7559390664100647","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":"Q1772250$3F77AC0A-18BF-4C43-BA3A-5A0956428EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed1dc2b7a1eb9f80967848004cef91fe9c2d963","datavalue":{"value":{"entity-type":"item","numeric-id":1897571,"id":"Q1897571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3bb438d75f1d438d0b28db1fd615822c797d315","datavalue":{"value":{"amount":"+0.744921863079071","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":"Q1772250$E56635F4-AA47-4AF6-856F-8FE7D9D0E137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6812b995f27a53a4c3c96b0bd36c67ab3a8afeb","datavalue":{"value":{"entity-type":"item","numeric-id":2710062,"id":"Q2710062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d694db102ab8e42fed334e95e4321b329d1e5c03","datavalue":{"value":{"amount":"+0.7436196208000183","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":"Q1772250$CCCFB50E-D5A6-41FC-B570-35C1AD2CF9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eec26deadf592ef01cacdd0c27c5a571b292417e","datavalue":{"value":{"entity-type":"item","numeric-id":1902919,"id":"Q1902919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c6cdb744224d1b8123dcd65d54d1ff2fe71e465","datavalue":{"value":{"amount":"+0.7400628328323364","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":"Q1772250$3D4E1211-C4DC-4B40-A6A5-F52EB40213BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"About Stone's notion of spectrum","badges":[]}}}}}