{"entities":{"Q1175926":{"pageid":1186675,"ns":120,"title":"Item:Q1175926","lastrevid":69807204,"modified":"2026-04-13T09:31:37Z","type":"item","id":"Q1175926","labels":{"en":{"language":"en","value":"A nonstandard characterization of realcompactness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 14877"}},"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":"Q1175926$5F38B368-F776-4168-ACF4-1697977A15F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48a08a9213ae310cc29be8303fcf47f5460d54c0","datavalue":{"value":{"text":"A nonstandard characterization of realcompactness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1175926$F595CF6D-4403-4507-9D9D-B0EBF77F4918","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3543f8fbc1df1502b9b7bcf0b853a777a5ca5673","datavalue":{"value":"0812.54032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175926$E56B30C9-ABC9-4B67-BAAA-EA79C6C3C0C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7cecbe4405153940830b5b05dc96151592293b9c","datavalue":{"value":"10.1007/BF01759308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175926$11875322-6FC9-4577-AF11-0230F5BE96ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2189d7cdbb5d79c1f90a30f2cde5a9c794347cc","datavalue":{"value":{"entity-type":"item","numeric-id":223987,"id":"Q223987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175926$C1ED82CE-6913-4DC2-A6F0-71A88C3531DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c77f9c239ccea9d2907937a25e079e96e3ef239a","datavalue":{"value":{"entity-type":"item","numeric-id":251434,"id":"Q251434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175926$65953E07-2758-449A-AF26-F8E9D1071048","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":"Q1175926$C7471396-AE31-46BA-9A67-B564A3A85FB9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"714e54bf6cf8d1b6e899b2bf3a1ace799640ccb1","datavalue":{"value":"Using certain methods from linear programming, the author of this paper presents an interesting and very simple characterization of realcompactness using the language of nonstandard analysis within an enlargement. In particular, a completely regular (Hausdorff) space \\(X\\) is realcompact if and only if the prenearstandard members of any hyperfinite \\(A \\subset^* X\\) such that \\(\\text{st}_ X (A) = X\\) are also nearstandard. As usual, the operator \\(\\text{st}_ X\\) is the standard part operator.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175926$3988D1D7-A5E3-48E0-83F7-89AC4AFBD14C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"757bef48191940e26ec32968e4d64fa6daa2e9c7","datavalue":{"value":{"entity-type":"item","numeric-id":749910,"id":"Q749910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175926$9F532413-894F-437A-9589-0919207FA81A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd1d0fd44795f1d939549575c09caac8d4530fa6","datavalue":{"value":"54D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175926$49D15A04-B1F8-4620-A38A-377D37300E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175926$537F7A75-CBC5-4EEF-AA59-CB4C0C9514CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5d96b93cd49457b779ea668da6b1190ba16972e5","datavalue":{"value":"54D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175926$E51F32CB-E170-4A7A-98D5-AF4E96A5CB5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c08dc74b815760a5d70ad72ab38015bf2b9800bb","datavalue":{"value":"14877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1175926$B6FC69A1-C191-4262-BAB1-BA985195BBD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"778e8355356076a922c55a5ecd5a850bf0a90eb6","datavalue":{"value":"nearstandard","type":"string"},"datatype":"string"},"type":"statement","id":"Q1175926$B9C3DD48-C6D4-485B-9C54-8D3768B76667","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":"Q1175926$684080EF-E8F8-4604-8F0C-55F5D1A84E73","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c94daf2e6aa8020f776c4ae540c997aba55c25","datavalue":{"value":{"entity-type":"item","numeric-id":3310862,"id":"Q3310862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175926$19CAEDD8-534D-4A1D-910C-BE6D24CA5348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bf49a2e0c61e0ca6f111fad82885064ce66d18","datavalue":{"value":{"entity-type":"item","numeric-id":3270120,"id":"Q3270120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175926$AC92BB5A-ED4A-47E4-94B4-7B7E096BD177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"467f58be128ad8c89cfbcc3dfc14720a2ed9123c","datavalue":{"value":{"entity-type":"item","numeric-id":5790288,"id":"Q5790288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175926$697C0CF2-F220-409A-80C7-3C4E6ADF148B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f2c1b47c977d00edf7dff9ef8bfb26a5ed3e4e","datavalue":{"value":{"entity-type":"item","numeric-id":5799614,"id":"Q5799614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175926$936F2752-65BA-45F0-9590-1FE7F4FC9885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2a8fb219c6e1b452da4165b50d68a0ef9a2bdc","datavalue":{"value":{"entity-type":"item","numeric-id":3708229,"id":"Q3708229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175926$34BADD84-EFBC-4EAE-B10F-1BC304A90D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20f191162c91ed66b8015b25ce897c267dbce7e","datavalue":{"value":{"entity-type":"item","numeric-id":5825972,"id":"Q5825972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175926$65A85199-80E3-46E3-A571-1BB07DB298F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f6140c16effd68af800c1df02dfb0316583ba3","datavalue":{"value":{"entity-type":"item","numeric-id":5814152,"id":"Q5814152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175926$DE3D98C0-3415-4B96-9178-6AF8D99DDEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fdda5ebb9b15dda1ccb4232e3fae8013f458c17","datavalue":{"value":{"entity-type":"item","numeric-id":4104164,"id":"Q4104164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175926$4D94107F-A70A-4B47-9708-BC3A632764CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa95de3346da8384dcd906fa3b62c87f81de21d","datavalue":{"value":{"entity-type":"item","numeric-id":5531123,"id":"Q5531123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175926$76D3E568-F16A-45D0-AE5C-2C789D902446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4de3bd9f9bb1c96ee1484c0ca4a50ce20a5d50","datavalue":{"value":{"entity-type":"item","numeric-id":4074053,"id":"Q4074053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1175926$A30427E2-A4A9-422D-BA58-4DCCDCED2AED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f9667b6daaf988c7c4fc7d18a18b5db05e95166","datavalue":{"value":{"entity-type":"item","numeric-id":1319410,"id":"Q1319410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe4fb6c76552fc39d6149e616be877dc4c67ab6","datavalue":{"value":{"amount":"+0.787105917930603","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":"Q1175926$ED5D0D31-2E87-497C-86ED-730A383E8F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bbb094abb4f6bfc3d2f9a2de1b00c6cc98f800e","datavalue":{"value":{"entity-type":"item","numeric-id":1206530,"id":"Q1206530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe4fb6c76552fc39d6149e616be877dc4c67ab6","datavalue":{"value":{"amount":"+0.787105917930603","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":"Q1175926$822EC771-792D-4653-8176-29AB1E95A088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba02a60075c88f3fd8160d049a90ef77d62e9d49","datavalue":{"value":{"entity-type":"item","numeric-id":5713214,"id":"Q5713214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72760a9e37f7c2b21a39392a73c2b6a84c66a798","datavalue":{"value":{"amount":"+0.7626380920410156","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":"Q1175926$191660E2-DAAD-4516-AEE0-E0AFC192DB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e3086a3fff8ff80ede40d0b775034f32695bcae","datavalue":{"value":{"entity-type":"item","numeric-id":1910718,"id":"Q1910718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34482c0ddfa8cc52469a14a007b976bfe199534d","datavalue":{"value":{"amount":"+0.747061014175415","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":"Q1175926$35C22377-8A64-443C-A1D3-9E17FEB0E3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b5c92fcaee43cd37b8a4b939217ce96399f70e4","datavalue":{"value":{"entity-type":"item","numeric-id":2563785,"id":"Q2563785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a1a5ca0ba7fee38a2710d998d1e6006d99aaab6","datavalue":{"value":{"amount":"+0.7453966736793518","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":"Q1175926$9A45CA87-58ED-4E93-ADBC-2EF6067E4CB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A nonstandard characterization of realcompactness","badges":[]}}}}}