{"entities":{"Q651418":{"pageid":653267,"ns":120,"title":"Item:Q651418","lastrevid":63326685,"modified":"2026-04-11T12:06:57Z","type":"item","id":"Q651418","labels":{"en":{"language":"en","value":"Cuts of linear orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5988074"}},"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":"Q651418$C150304A-C6E7-4CFB-B2BE-FDA689DF952D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c84a54ca8c3d9c0a37d69478e59d01e6608acc6","datavalue":{"value":{"text":"Cuts of linear orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q651418$5AB395BF-5C13-4500-A771-959A55177C08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae1bce0d1f60eb0bb1362dc523bc1dfdea64eb9f","datavalue":{"value":"1259.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651418$9E2D81C0-46AA-4F81-A217-9A35A3AC4EEC","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":"Q651418$16A720CE-9C4A-4360-9B1C-59DFCBC31A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79ce5ab41f7629f8f674c94fed05f6d1f4b53855","datavalue":{"value":{"entity-type":"item","numeric-id":453199,"id":"Q453199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651418$886F7C6D-E31D-4C1E-9A8B-0A91408279BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651418$B7D69989-7A74-4F9F-B120-58EBE9D23070","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8dde442ada8762d09aaf38733ecbd468f3c1db1","datavalue":{"value":{"time":"+2011-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q651418$6C62E22D-812F-4219-B8E6-5BD1EF80E480","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"109022e40951a0fb2ba3fe687be1d98e4ad9cb9b","datavalue":{"value":"The well-known low\\({}_n\\) conjecture for Boolean algebras purports that every low\\({}_n\\) Boolean algebra has a computable presentation. (A structure is low\\({}_n\\) if its atomic diagram is Turing-equivalent to the \\(n\\)th jump of a computable set.) Here the authors demonstrate that a certain class of linear orderings realizes this property. A descending cut of a linear ordering \\(\\mathcal L\\) is a partition of \\(\\mathcal L\\) as \\(\\mathcal J+\\mathcal I\\) where \\(\\mathcal I\\) is non-empty and has no least element. Ascending cuts are defined symmetrically. The main result of this article is that the class of linear orderings with finitely many ascending or descending cuts has the property that, whenever such an ordering has a low\\({}_n\\) presentation, it has a computable presentation. They demonstrate the sharpness of their result from one perspective, by showing that there is a linear ordering with a single descending cut having a presentation of intermediate (neither low\\({}_n\\) nor high\\({}_n\\)) degree, but no computable presentation. They leave open another ``sharpness'' question: Does every low\\({}_n\\) linear ordering with \\(\\omega\\)-many descending (or, symmetrically, ascending) cuts have a computable copy? Included is a classical characterization of linear orderings based on the number of cuts of the ordering: An ordering with finitely many cuts has a nice decomposition, and those with countably many are scattered. An effective study of condensations of linear orderings leads them to their main result.","type":"string"},"datatype":"string"},"type":"statement","id":"Q651418$3BD75BAC-7E64-4DE4-98D2-C3C10CC1A5E3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c6df5956616a01e0605e523cc120fe71f59823c8","datavalue":{"value":{"entity-type":"item","numeric-id":651417,"id":"Q651417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651418$8A4C06C5-D48F-4FA4-842B-F30F28A3AD21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651418$447BC917-A951-4C83-86E1-D4E3BB9F0A14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4654e0154e8c9d1358cdbc6a99a8b75d7f46d93b","datavalue":{"value":"5988074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651418$0623C3FF-FC7E-4273-8207-2CEFCDE6D264","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a95117eca4562916655982de035b721507a45dcd","datavalue":{"value":"linear orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q651418$BF39CD65-29A4-46C4-A09B-1C6CF1450432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ada2b0044cea2bae51d224691f10b645b5fa275a","datavalue":{"value":"ascending cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q651418$136AC278-88D3-45AC-83E7-D3BFF6FF2A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6236b7d33859d10d8044b6f82f2f952e4c4afbf","datavalue":{"value":"descending cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q651418$47559138-E40A-475C-9BB2-4E744BFC2A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd31d5515db4794ebc3d29b43825b8f300d3f4aa","datavalue":{"value":"jump inversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q651418$F92E223F-BBD2-411D-B791-CFEEA337BA63","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":"Q651418$B1EFE36B-37E4-4319-A114-FF6F0CE180B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a63bf71df15fddb44dad84a3a816c59fd09af89","datavalue":{"value":"https://doi.org/10.1007/s11083-010-9194-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q651418$4A3867FA-EED6-4D77-BD33-7443F0AF645B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f51c94ef45680e7c16d21f36521d5c4640e7e5c","datavalue":{"value":"W1989804613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651418$CFE75C6E-2D5A-4CDB-9A8D-D9757996BF29","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc3689dead06b650611fa3170cdd5763d8845082","datavalue":{"value":{"entity-type":"item","numeric-id":431704,"id":"Q431704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651418$F8DC1200-B257-4E63-B03A-D2E852790E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4536c763145bafc953ff8d1e052ba993634142","datavalue":{"value":{"entity-type":"item","numeric-id":1572657,"id":"Q1572657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651418$992D6415-6FD5-4C2F-953C-3E3D1BB0C073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ffd1457bcd607819418faf6ba609355398435e5","datavalue":{"value":{"entity-type":"item","numeric-id":4318310,"id":"Q4318310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651418$119E233A-005F-4E90-8B88-5A7B2F95BC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62add62132041cb9710b578e85c28e7b598441da","datavalue":{"value":{"entity-type":"item","numeric-id":3190798,"id":"Q3190798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651418$4274250B-9775-4D7D-A8F5-4AFD18D1D16A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37d1151b57434e61e1ff8be2df5bee745328f212","datavalue":{"value":{"entity-type":"item","numeric-id":3116576,"id":"Q3116576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651418$2EEFF49E-E17E-44EC-8AF7-9475FEEAC5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfc3ab93e2b5c10f5fe970184531c5c3042f0a93","datavalue":{"value":{"entity-type":"item","numeric-id":2710598,"id":"Q2710598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651418$3FD88663-3EA6-40E8-8698-95111E5F2332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffea6a55e5fe0977846e9bc677441291284081f7","datavalue":{"value":{"entity-type":"item","numeric-id":2747698,"id":"Q2747698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651418$67CE84A4-73D4-4E56-9281-D369117F5C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"554cad9852b1e3b0008190fa0f2aad3e417bc73c","datavalue":{"value":{"entity-type":"item","numeric-id":3576069,"id":"Q3576069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651418$4C9270AF-D5E2-459E-84F5-B41F8ACC831D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534730d39bf1b2fb7e127c00d7c04e03699b9f80","datavalue":{"value":{"entity-type":"item","numeric-id":3949052,"id":"Q3949052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651418$16CE4A8C-3D1D-4F77-9A60-E21ECE74CC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"453f8a79df3d183d0b1ce6ebed18dba7a8e4ed6b","datavalue":{"value":{"entity-type":"item","numeric-id":3227571,"id":"Q3227571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651418$6C9981D0-0AA7-4923-8BF0-64AF58D1EAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b90f444b17fbba87fd43daf31c5a674698f54b7","datavalue":{"value":{"entity-type":"item","numeric-id":4874286,"id":"Q4874286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651418$EDD25E4A-6330-4E1D-A34E-57F157E86867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8611c0e5cb76547f46db0a1b329c412df6f0e5d","datavalue":{"value":{"entity-type":"item","numeric-id":3710515,"id":"Q3710515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651418$5CC50BF7-DAAD-4976-A239-934592916BCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8303fb99d20be69354e092e9ab5d8d613f226e76","datavalue":{"value":"10.1007/S11083-010-9194-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651418$06BA15E7-1586-4601-AC30-8BAF5B78212A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8209c8de4512a04f6f7e293476957ad4f99dc9a","datavalue":{"value":{"entity-type":"item","numeric-id":2263111,"id":"Q2263111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"127d82eecf2e3b5cf5ad6e16e0efc6d60e51fe9f","datavalue":{"value":{"amount":"+0.6850133538246155","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":"Q651418$F7B9A8F7-0327-4E84-B28A-3962982D483F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe0a51cf9cd3cefdc3777e701a508095ba4130d7","datavalue":{"value":{"entity-type":"item","numeric-id":4281648,"id":"Q4281648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0409ff9e46c7737676e6bbe834508295fe93114f","datavalue":{"value":{"amount":"+0.6789276599884033","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":"Q651418$6CED5DD0-3AC2-40F3-B69B-764195B4A0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"006c8cbbb1f7a7b870a534cbfc960e49f585b75b","datavalue":{"value":{"entity-type":"item","numeric-id":1585633,"id":"Q1585633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66ff4c5f5bc74a03d6e5f8f301c88ca9638a8d99","datavalue":{"value":{"amount":"+0.6769106388092041","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":"Q651418$9D575672-2470-46B5-B0AA-04B41EBA03EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a7b074e7aa3ac5806da109626de0402328bd885","datavalue":{"value":{"entity-type":"item","numeric-id":1322254,"id":"Q1322254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e76aa3376f305df751e2a467899eb298142575be","datavalue":{"value":{"amount":"+0.6763880252838135","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":"Q651418$C4B5487B-6AAF-44EA-9E24-19E0AEAD7EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6f785ee453b59d3c53a8bdc951c5c4cc4b15a5","datavalue":{"value":{"entity-type":"item","numeric-id":1980441,"id":"Q1980441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd5db3aa0402a3df65ae4337b3c2018387e9f2b0","datavalue":{"value":{"amount":"+0.6727924942970276","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":"Q651418$839B543A-F947-4DCC-BE57-F01E1A59726B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cuts of linear orders","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cuts_of_linear_orders"}}}}}