{"entities":{"Q1812962":{"pageid":1823704,"ns":120,"title":"Item:Q1812962","lastrevid":73014108,"modified":"2026-04-14T09:23:32Z","type":"item","id":"Q1812962","labels":{"en":{"language":"en","value":"An elementary nonstandard proof of Stone's representation theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1090"}},"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":"Q1812962$DEC8305E-9C33-479B-9521-AB794F715367","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de72ac063abb8f318302e8404cfc7ea49e76990e","datavalue":{"value":{"text":"An elementary nonstandard proof of Stone's representation theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1812962$72E8E02C-F0C5-48DF-B30D-F56BD53A5638","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f4784a5398ae3b2fb316c6c6718ce95464cce36","datavalue":{"value":"0714.46055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812962$74792A84-7049-483E-A024-7386E7FFECEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d93b9cf874c29c866725d63f00114922ef0ad07","datavalue":{"value":{"entity-type":"item","numeric-id":1128057,"id":"Q1128057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812962$659F1BA8-5FD9-4214-9EDE-E2BF0660BC35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2b9e892f1ffa11a66ee26af1e2c8bc1a173eacc","datavalue":{"value":{"entity-type":"item","numeric-id":226831,"id":"Q226831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1812962$157E465A-538C-43EF-9B45-9529BE7C21EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1812962$81BAD3D5-928E-44ED-A573-0923B53A802F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b07c376476028be299086e01be153cea2c5a4afd","datavalue":{"value":"A neat nonstandard proof of Stone's representation theorem is given. Improving on previous Loeb's proof, it uses the remarkably simple fact that infinitesimal members of a filter on X, in any enlargement, are always compact for a natural topology on \\({}^*X\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812962$C5FFBE2D-8899-4268-82FD-EB5774C1C523","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"88472b4de9e05d55c7bfa3e9abd2677b2b880b69","datavalue":{"value":"46S20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812962$060B9875-E3C5-497A-B51B-F48B52590D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8eb35d382f5b6d9dcc826b019084f76dc0bdc31","datavalue":{"value":"54J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812962$4FC73CAD-5C89-4E96-B2FB-29AA7332DC02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc9e16eb0dad494b6093687cc4bd69d543406aac","datavalue":{"value":"1090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1812962$7DF42C69-EF76-477E-A049-827338A9A903","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcde5c097dcb1c582734587db1801ce800f4e99f","datavalue":{"value":"nonstandard proof of Stone's representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812962$0D0D580E-B1F3-4AB7-9F7D-14C7583C7643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2003d47c3e6561225ff07db04e9889db1f20e0e8","datavalue":{"value":"infinitesimal members of a filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1812962$D532091F-FDE5-4035-84D4-83E6FB1F1ADD","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":"Q1812962$05448358-B7D6-44A6-92AD-F68C02DF2414","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d823b7b04da29004014ccf646f6f5314d2a3ca6","datavalue":{"value":{"entity-type":"item","numeric-id":3816272,"id":"Q3816272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e0115a24611089944767bf212166f49271abfa1","datavalue":{"value":{"amount":"+0.8577979207038879","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":"Q1812962$E0397194-5606-4728-81CF-D488C275A051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c66045e8ecab4b14768d07ec46eb7c867a71b68","datavalue":{"value":{"entity-type":"item","numeric-id":4397362,"id":"Q4397362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acd3a492d2e30e240484a3afab2f221c897387a6","datavalue":{"value":{"amount":"+0.7369963526725769","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":"Q1812962$C2AA1098-66E4-4896-88CC-94F3713A302A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a1c8a5784792f181f5cb345129a2991a09d2dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1774120,"id":"Q1774120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3e684b4de3517f7aa473c8caa9aa2c6963067aa","datavalue":{"value":{"amount":"+0.7247994542121887","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":"Q1812962$484F59F5-3A01-4932-A4A3-E91D8EE67FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8df930fbec8e22261f2751d418a24aa7cf8e9ad5","datavalue":{"value":{"entity-type":"item","numeric-id":4944000,"id":"Q4944000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b4cd630236a29dead7fb9cd2e932a2c2b1c67f","datavalue":{"value":{"amount":"+0.7213151454925537","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":"Q1812962$8EE12A51-87A9-46A0-BE37-8BDAC04C2C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee580a79fd2987da94998d2b4a26eafa3a57258d","datavalue":{"value":{"entity-type":"item","numeric-id":4417213,"id":"Q4417213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb590d2d779cb5c09cb35bb495ab1f7e6edfba2e","datavalue":{"value":{"amount":"+0.7173384428024292","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":"Q1812962$F491DA74-A708-43D2-AB9A-186F3EE260E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An elementary nonstandard proof of Stone's representation theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_elementary_nonstandard_proof_of_Stone%27s_representation_theorem"}}}}}