{"entities":{"Q2869900":{"pageid":2880620,"ns":120,"title":"Item:Q2869900","lastrevid":51897857,"modified":"2026-01-20T12:15:34Z","type":"item","id":"Q2869900","labels":{"en":{"language":"en","value":"Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6243225"}},"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":"Q2869900$AA0CC9E2-7BF6-4C89-B041-5840C45ED92B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62af0545f2a0b4bd1b14daf464ecf95f4406606c","datavalue":{"value":"1308.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869900$C37F3E24-AD03-4D08-8FE3-3C050350FDF3","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":"Q2869900$03EBF431-3C4C-441C-BE51-3673FBF7E43B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b62054087ecfdb4f075fe42226b4bf080bcbce33","datavalue":{"value":{"time":"+2014-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2869900$AEA61606-7172-4F28-97EF-0284F77FA3FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"818552ab39239010771cecdac8747225bae81b7d","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1389032274","type":"string"},"datatype":"url"},"type":"statement","id":"Q2869900$FB8EF16C-9BA6-4D41-A6F1-3E9A8D6F0EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"79b3f231941e16f521b78aaed4f9b2ef376d6f09","datavalue":{"value":"https://semanticscholar.org/paper/33c05f0a8750a8eff65fc38c07671d4ada5ee8ab","type":"string"},"datatype":"url"},"type":"statement","id":"Q2869900$78C78CA1-29E1-4F69-A25E-A108CA27919C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869900$7A618E03-ADEA-4734-B49D-0C56593447B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869900$05B754F5-3021-4759-A704-29EA082DE04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869900$06E9F212-9922-4A9D-B2D3-DD0BF2128509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869900$D4C6D50C-5253-497C-9D85-43EAAFA989C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869900$C8ADC6FC-C536-4661-9345-AE68AB0745C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869900$2393D482-7138-47A2-BFB4-A513EEE0DDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869900$2B610B5E-29B4-4378-A0AE-2D3189C25D60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93c0cd8ef367e86c7082e3a1d70a5d5e0f6f544c","datavalue":{"value":"6243225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869900$139A8AE5-A4AB-4C84-8BE3-FE502575F0E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae74f15524362606dc1eaf3410327198ae47dd7d","datavalue":{"value":"constructive omniscience principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869900$9F9DD709-0873-4983-8F4E-B39950783126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b7331feef51f3c076fa12088fad6aa1615da1ee","datavalue":{"value":"selection functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869900$94B726B2-DA78-4D8B-9F28-B0D12D8BB699","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":"Q2869900$10A26CE7-B2C8-4334-B438-9FCC46DCB32B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d09de04e51fb45db50eec88be3651aa80cc6476","datavalue":{"value":"W2049268966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869900$821D234E-9090-4B5A-AB74-30106B50A60C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6d7921c9cb851855154bacbfe7eab100cf71a50","datavalue":{"value":{"entity-type":"item","numeric-id":448334,"id":"Q448334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869900$836EA117-44E5-403C-918A-16928A38CE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38bfad0609e684bebcdaea3f013518b91853ca9e","datavalue":{"value":{"entity-type":"item","numeric-id":1433041,"id":"Q1433041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869900$8E48C8AF-14AE-425D-B86C-6B62AB574AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027e4855cde125bdc1bb418924731ec6618aa622","datavalue":{"value":{"entity-type":"item","numeric-id":5191088,"id":"Q5191088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869900$83A6C03D-4EF2-4BD0-AE57-F93DBC2C19AC","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":"Q2869900$47EF2460-6850-4326-B8B8-4848C40F5743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869900$C79D05D9-C042-426E-AFD4-FAEC02781D2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bad3eeeef2c67cf9059c566e0742e03084e13a11","datavalue":{"value":"10.2178/JSL.7803040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2869900$CDEA6D92-319F-47F0-9E61-661B100A1A18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ffa47b29726b061580234c248bd3daccfb39960","datavalue":{"value":{"text":"Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2869900$94E624FE-39A4-4AD3-8067-DB3AC6ADDC41","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869900$ABAF4C07-83A4-4181-888B-53A72D5F4ADB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"32da69b253b3324a2183da59624a6396f9e1c9fb","datavalue":{"value":"The omniscience principle for a set \\(X\\) says that, given any decidable property on the set, either there exists a member of \\(X\\) satisfying the property or no member of \\(X\\) satisfies the property. This classically true disjunction is not acceptable constructively for already the case \\(X=\\mathbb{N}\\), known as the limited principle of omniscience (LPO), and would imply a constructive solution to the halting problem. NEWLINENEWLINE\\smallskip The intuitive reason why LPO should not be acceptable is that \\(\\mathbb{N}\\) is infinite. In this, and a number of previous papers, the author presents infinite sets that even constructively satisfy the omniscience principle. The first such example is \\(\\mathbb{N}_\\infty\\), the subset of non-increasing binary sequences of the Cantor space \\(2^{\\mathbb{N}}\\). More complex omniscient infinite sets exist as shown by a construction using infinite ordinals. NEWLINENEWLINE\\smallskip The method to prove a set omniscient goes via the notion of selection function. The paper contains a survey of results on selection functions, as well as detailed explanations on how the relevant constructions of G. Kreisel [\\textit{H. P. Barendregt}, The lambda calculus. Its syntax and semantics. Rev. ed. York-Oxford: North-Holland. 581 (1984; Zbl 0551.03007), Exercise 1], \\textit{T. J. Grilliot} [J. Symb. Log. 36, 245--248 (1971; Zbl 0224.02034)] and \\textit{H. Ishihara} [J. Symb. Log. 56, No. 4, 1349--1354 (1991; Zbl 0745.03048)] can be interpreted as statements about selection functions. Selection functions can, perhaps, also be seen as constructive versions of Hilbert's \\(\\epsilon\\)-operator.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2869900$D879F025-B553-4816-AE4C-556A0C03CA50","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2024ee1f8ee71a3310fa31760e649693800bdaab","datavalue":{"value":{"entity-type":"item","numeric-id":450949,"id":"Q450949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2869900$EEE325EE-5375-4ED4-843D-CACAEB64ACD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22254ac1e47f59a476ac979fb06021b0e6ef8a54","datavalue":{"value":{"entity-type":"item","numeric-id":3108628,"id":"Q3108628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3539e50e374b995b5386d6c6eb122a0105b00202","datavalue":{"value":{"amount":"+0.7445747256278992","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":"Q2869900$AF4DB9FE-D4DF-44D9-9E52-00D3B67806C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a68cf8e08b74d2e902dea3b0d182e05906891ad6","datavalue":{"value":{"entity-type":"item","numeric-id":3081240,"id":"Q3081240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3b1cc1f287ec870052c73e32d7f220ca3226f3a","datavalue":{"value":{"amount":"+0.7344878911972046","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":"Q2869900$471D3A8E-ABAE-41EA-A231-E1F792CD6426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"253986bd67677c65580330952d5bb348661c46c0","datavalue":{"value":{"entity-type":"item","numeric-id":3824408,"id":"Q3824408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17fc299ef9f4f689b40f5786961be9a1bc9668ac","datavalue":{"value":{"amount":"+0.7219359874725342","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":"Q2869900$43F7B621-0F6A-4738-9C05-BBCA4331A750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c597f28bafb88672bfd695d9e0f2655936481029","datavalue":{"value":{"entity-type":"item","numeric-id":781509,"id":"Q781509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9692b17b98938676eefa72ab57aa9d670bf9f13","datavalue":{"value":{"amount":"+0.7172958254814148","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":"Q2869900$5C5A361F-5E76-488C-85B9-13495CDE742B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33c7a78c05cdd05687b5688dca10bc9a017489e1","datavalue":{"value":{"entity-type":"item","numeric-id":386630,"id":"Q386630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c3172272dbdec741007a1a6c7453d25d77b240d","datavalue":{"value":{"amount":"+0.698723554611206","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":"Q2869900$4CF64D4E-F5B4-4A18-A451-68146F3FF33B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2869900","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2869900"}}}}}