{"entities":{"Q2747728":{"pageid":2758467,"ns":120,"title":"Item:Q2747728","lastrevid":47685268,"modified":"2026-01-02T10:33:40Z","type":"item","id":"Q2747728","labels":{"en":{"language":"en","value":"Infinite chains and antichains in computable partial orderings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1658184"}},"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":"Q2747728$38D4E33E-7356-4421-A08D-833E1004352F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"726649963e26a6c65c3a71252f4f2f31e51a1282","datavalue":{"value":"1018.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747728$DA7BE686-536F-4A13-AFB0-B717F3E7E39A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b14d9fb7323b71e9eac8bf4b746412837e25b4d","datavalue":{"value":"10.2307/2695053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747728$4041688F-AE5C-404D-B070-69F4E6BB800C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62b0f741ddef7bca19040dd851fc96acf1ef7ef1","datavalue":{"value":{"time":"+2003-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2747728$B8720DFB-4794-499B-ABED-06D9A1F0D671","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747728$EF79E879-E5B6-4CBB-AFAF-F99C9DF13AC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbe911a092f8218ab9c5b0e55b763023388e6d1b","datavalue":{"value":"1658184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747728$26A289D9-9636-45F9-9D6B-773E1F1D34D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a740b4414fe102d113aece1c0345c0a2a52a0d02","datavalue":{"value":"computable partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747728$AC6DBEED-368D-4824-8FC1-030A1D4C1608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9b43ae0f190acb8d132b00fab08bb35283981fe","datavalue":{"value":"chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747728$BC82424A-817B-458D-A932-3141EBE053F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70c12533e1406e33816856813f8ebf55f6f74c69","datavalue":{"value":"antichain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747728$1E51DD28-C8CE-4118-9971-E4EE8F617E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06fc6f1c79093684c9c62a5d1839ec686b9c8e4","datavalue":{"value":"arithmetic hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747728$A58BF0BD-7850-4AE5-9A42-389446C5B084","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":"Q2747728$0628875E-85CC-4D3E-9E42-EDDF6DDF387F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a41748aaa31e6e10693276a7e3e153eab3789cdc","datavalue":{"value":"https://doi.org/10.2307/2695053","type":"string"},"datatype":"url"},"type":"statement","id":"Q2747728$71563AFC-7F2D-40EA-A9C6-DE9F9185F21B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a404820120c0b93cfb04bc7526f3b77dddb7438c","datavalue":{"value":"W2097686156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2747728$4610667D-B902-40F3-A88F-0D194546F371","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc68fbc256a340ad9770614b514ab49182f4bdd","datavalue":{"value":{"entity-type":"item","numeric-id":5677475,"id":"Q5677475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747728$6949EE59-6AF0-42A5-9CF6-8067ADC52B7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e42b7025ef24c9e9c1ae66c5162516edc31c054","datavalue":{"value":{"text":"Infinite chains and antichains in computable partial orderings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2747728$A67A033B-37A3-46BD-AF74-F9D8CF84CC4F","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":"Q2747728$FF58317D-041E-4099-803D-1CD2FBCD937F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7da9687a0fc07b19e1d2b5276b1fcf196ebf754","datavalue":{"value":{"entity-type":"item","numeric-id":4670668,"id":"Q4670668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747728$D6BFBD51-C7A5-4503-B57C-2FD278C34461","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4b0e3b726656d763700e20efb2f36654dd252b9c","datavalue":{"value":"It is shown that any computable partial order on \\(\\mathbb N\\) contains either an infinite chain that is a \\(\\Delta_2^0\\) set or an infinite antichain that is a \\(\\Pi_2^0\\) set. This result is proved to be optimal because an infinite computable order is constructed that has no infinite \\(\\Delta_2^0\\) chain and no infinite \\(\\Delta_2^0\\) antichain.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2747728$6A901FE9-83AA-4460-9D53-950930A609FB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2fc8522c6547fe483c0d1ae4eec1b8d9306e5db1","datavalue":{"value":{"entity-type":"item","numeric-id":290243,"id":"Q290243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2747728$20D5EBD3-AF0A-486D-BB20-665608CE8119","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5be9d35000596fed8d38ff691acbde6bee6d797","datavalue":{"value":{"entity-type":"item","numeric-id":1005926,"id":"Q1005926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8561fb1386c2382ffd779cf18ca6c4630651a1f","datavalue":{"value":{"amount":"+0.9268029928207396","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":"Q2747728$20209A02-F8D3-4F92-95A5-2B8B845D86FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dae327e548a81e170caf38a4cc55260a2fab016","datavalue":{"value":{"entity-type":"item","numeric-id":453200,"id":"Q453200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c6923fd777660e6a379bd97bc6690261ab8f85","datavalue":{"value":{"amount":"+0.8030240535736084","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":"Q2747728$A1A5E5C5-081A-429D-A5B6-A6839035253C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f077bc1ac09bd84c360c0ca8d9fd090b0b2217ae","datavalue":{"value":{"entity-type":"item","numeric-id":2784777,"id":"Q2784777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38a982403f8ffbd4cf46c6786ee4290724e88c40","datavalue":{"value":{"amount":"+0.7927588820457458","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":"Q2747728$E2237C63-F3E4-470E-AAF2-CC8AEFA4376E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5abaf90cc212f39ddcef7228d7be108f22b548f3","datavalue":{"value":{"entity-type":"item","numeric-id":4904461,"id":"Q4904461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0c91dc8583692a42006776d0186ca991f37c488","datavalue":{"value":{"amount":"+0.7728304862976074","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":"Q2747728$DC171FAB-6AC8-4BF9-9CF5-8FD22D8CF945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17736ca9a5432459a110196b05f4d225deefe9bd","datavalue":{"value":{"entity-type":"item","numeric-id":3630588,"id":"Q3630588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8554376e78737d817307e025182914d6de756901","datavalue":{"value":{"amount":"+0.7700842618942261","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":"Q2747728$8D2E8397-2692-4495-B845-DE4C5950181C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2747728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2747728"}}}}}