{"entities":{"Q938232":{"pageid":940080,"ns":120,"title":"Item:Q938232","lastrevid":65513667,"modified":"2026-04-12T03:07:33Z","type":"item","id":"Q938232","labels":{"en":{"language":"en","value":"Computable shuffle sums of ordinals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5313047"}},"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":"Q938232$9E9A9E34-C89F-4A96-8F25-9FA96D45C77E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5d6d1a6c0aa0365782981ac30a6e1c29fed172b","datavalue":{"value":{"text":"Computable shuffle sums of ordinals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q938232$816C0182-4295-494D-B866-A0621A694E47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d876ad833192be5cdc2168d8dcaf11e8a300aed8","datavalue":{"value":"1149.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938232$1EE72D01-84AD-45A7-9042-84962B1C9209","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c055f536f99deee52869e6ffc924c94cdf7bde8","datavalue":{"value":{"entity-type":"item","numeric-id":385077,"id":"Q385077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938232$7EFBD1D3-366C-432C-B5D4-18AE7E5294D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938232$275B591F-E236-4A66-AABD-9E5FE1CCFC07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"046b71469fa93a7e7a58447419bb590ca4ec43ef","datavalue":{"value":{"time":"+2008-08-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":"Q938232$0BA13D6E-474B-4C3E-8947-A7CABD724960","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"51f4e647d70ee2546c6c18a98b51190a760c6a2f","datavalue":{"value":"The shuffle sum \\(\\sigma (S)\\) of a countable set of linear orders \\(S = \\{ L_i \\} _{i \\in \\omega}\\) is the unique linear order obtained by partitioning the rationals into dense sets \\(\\{Q_i \\}_{i \\in \\omega}\\) and replacing each rational in \\(Q_i\\) by \\(L_i\\).  The main result of this paper characterizes those \\(S \\subset \\omega+1\\) for which \\(\\sigma (S)\\) is computable in terms of limit infimum sets ({LimInf} sets) and limitwise monotonic sets relative to \\(0^\\prime\\) ({LimMon}(\\(0^\\prime \\)) sets). In particular, the author proves that for \\(S \\subset \\omega +1\\), ``\\(\\sigma (S)\\) is computable'' is equivalent to ``\\(S\\) is a LimInf set'' and also equivalent to ``\\(S\\) is a LimMon(\\(0^\\prime\\)) set.''  This can be applied to give a succinct proof that if \\(S \\subset \\omega\\) is \\(\\Sigma^0_3\\), then \\(\\sigma (S \\cup \\{ \\omega \\} )\\) is computable, a result originally proved by \\textit{C. J. Ash}, \\textit{C. G. Jockusch}, and \\textit{J. F. Knight} [``Jumps of orderings'', Trans. Am. Math. Soc. 319, No. 2, 573--599 (1990; Zbl 0705.03022)]. More about LimMon(\\(0^\\prime\\)) sets can be found (for example) in [\\textit{D. R. Hirschfeldt}, ``Prime models of theories of computable linear orderings'', Proc. Am. Math. Soc. 129, No.~10, 3079--3083 (2001; Zbl 0974.03040)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q938232$352E364E-D9F4-43DD-8D61-DB37673F850E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938232$49678CB3-8CD2-466B-87D4-F780C641C571","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938232$C327BFA0-A8F2-4B44-B20E-CEC52069E237","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44bfab43cdea372c0275ea808cf64e2058a744a2","datavalue":{"value":"5313047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938232$FAD161DC-1F2D-4E83-B097-70FA1C6D3A80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91042ecaa974739e95ff2e7db8c7b825f0818105","datavalue":{"value":"shuffle sums","type":"string"},"datatype":"string"},"type":"statement","id":"Q938232$D4BC0C20-4919-45A2-A91B-A9D482731EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e851b6fb21762625b4797b9cdf5fbc88aa929d15","datavalue":{"value":"limit infimum functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q938232$C7FB9FE3-2EDD-4E9A-8871-898BAE7ACE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000fc49546e4607d479ac761b2d96fc0d8ab0136","datavalue":{"value":"limitwise monotonic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q938232$1A52113F-C467-4694-AD38-20C0EF625066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e907aeb4785601656594d8f8c87929c7f80a295a","datavalue":{"value":"computable orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q938232$F1AC5904-BB2E-47A6-B740-EED6025B73E6","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":"Q938232$020E1522-6859-4DE3-98F6-3227DCB57256","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bbe1acd8fc696c5d6339f4f783d5c35f7c1fa32","datavalue":{"value":"https://doi.org/10.1007/s00153-008-0077-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q938232$17C8A6A3-572C-4C88-A9EF-1FC905A6EAA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69b6659369a9124602ef2499c0cf1fdbc5f8496f","datavalue":{"value":"W1971838439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938232$0F53E4E6-C0EC-4ADC-B9AB-27DF4CE417AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"78460e66b40f734f2a647402e46b0e9c5daba583","datavalue":{"value":{"entity-type":"item","numeric-id":3484823,"id":"Q3484823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938232$D288B7AF-DF18-4C40-88DE-2B5C5D833B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebfbb70322732d95851f7739d0464447eb67df4","datavalue":{"value":{"entity-type":"item","numeric-id":1267602,"id":"Q1267602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938232$BB08ABF4-844F-4B65-9D56-D845C1A2202C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaf8ebdb0e4e99a3eaa3ae9f96ad6e8e0142a7c","datavalue":{"value":{"entity-type":"item","numeric-id":2498900,"id":"Q2498900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938232$B6790F4F-0ACE-4DAC-B0A3-68124E5D3529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813d5d9f17eadc778c3336aa2ce579675a5cf35f","datavalue":{"value":{"entity-type":"item","numeric-id":4249724,"id":"Q4249724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938232$B89BFF7D-D297-4809-952E-4E1129FE6009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16219a0289164a24350b6f327f07628d5e9d9f37","datavalue":{"value":{"entity-type":"item","numeric-id":2723507,"id":"Q2723507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938232$29EC8B8F-BC6C-4C9B-9DD5-5220D9A00025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b8ee7a8b19d70f4fb0d4aadbb8b30113b89b91","datavalue":{"value":{"entity-type":"item","numeric-id":1381432,"id":"Q1381432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q938232$879F5011-863F-44EA-80A0-E41D75207E5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd4e2a80db0a4da491fdcf923ec638b1b8dbacf3","datavalue":{"value":"10.1007/S00153-008-0077-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q938232$8F82F00A-A527-4841-87FC-24A557CBE220","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bfb8efaeee2da7388003addf56ff9b92a9f7095","datavalue":{"value":{"entity-type":"item","numeric-id":5741354,"id":"Q5741354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca6b4941c10c4abc6a6327af8cdfe99574ccd6dd","datavalue":{"value":{"amount":"+0.7315958142280579","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":"Q938232$6E24B921-89B8-4BC4-ACAA-19F8961F0031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a17ef0fca531dff3a9ef5ed7020e5b587470951","datavalue":{"value":{"entity-type":"item","numeric-id":4846671,"id":"Q4846671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"804b3f496547c94d272f407d5da29f3797a0e1ac","datavalue":{"value":{"amount":"+0.7280141115188599","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":"Q938232$8530D3F6-CBD1-4F6A-B509-1B2E22405B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2099911b125307204420eccc4c0681d131057b99","datavalue":{"value":{"entity-type":"item","numeric-id":5258484,"id":"Q5258484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"270e71ac4a09f1e2279e9017e5d87c17160971b2","datavalue":{"value":{"amount":"+0.7228875756263733","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":"Q938232$DCA6B23A-186A-4BA7-98B8-27FF8F147F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46ca5980d6536a167f7c54a3c1b3b8eb8d949398","datavalue":{"value":{"entity-type":"item","numeric-id":2469429,"id":"Q2469429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6e6ba0357cc2e2f008f1e25d6e8753d1c2549fc","datavalue":{"value":{"amount":"+0.7158091068267822","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":"Q938232$705DE5DF-021B-4BD6-8046-C82341973E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d960bcaec4f2ee0455c2c0e54057c8d33247e943","datavalue":{"value":{"entity-type":"item","numeric-id":1095143,"id":"Q1095143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"083166b704d4eaf1a3b46dfa3946835b46ad4d89","datavalue":{"value":{"amount":"+0.7029346227645874","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":"Q938232$F3729828-643E-4ACD-8141-81330BA63D02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computable shuffle sums of ordinals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computable_shuffle_sums_of_ordinals"}}}}}