{"entities":{"Q2266723":{"pageid":2277466,"ns":120,"title":"Item:Q2266723","lastrevid":71717469,"modified":"2026-04-14T00:05:10Z","type":"item","id":"Q2266723","labels":{"en":{"language":"en","value":"A theory of recursive dimension of ordered sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3895121"}},"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":"Q2266723$33CBF166-18A0-4911-A359-B3E4A42BCFC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3efde4688e5bd86069e7f847249c4a872388740","datavalue":{"value":{"text":"A theory of recursive dimension of ordered sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2266723$72716A25-17C7-474A-A523-D1CD555EA542","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e584bb6886f66118289f010562d7dbd9069eb74","datavalue":{"value":"0562.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266723$8579E174-1527-4AA0-BD97-F990DFFE7249","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"046f9b14da5f0775dec525aa406814b17060f9b3","datavalue":{"value":"10.1007/BF00396274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266723$20D19982-F766-4376-A35B-454296A0CEA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17022a6274c604df6e6251155fd7b415ec586e8","datavalue":{"value":{"entity-type":"item","numeric-id":219079,"id":"Q219079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266723$AE6C95DC-FFA3-4E5A-B524-1C2BF6DD3733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8e4763e432b6ffd9ef1ff20256862696bdf24ca","datavalue":{"value":{"entity-type":"item","numeric-id":555495,"id":"Q555495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266723$E4DBE5B3-A4B3-4E9F-A00E-74B86B111B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a539e6b59a5781e06906f6b0f6a357a21edb017","datavalue":{"value":{"entity-type":"item","numeric-id":792346,"id":"Q792346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266723$0F634FD7-0F4A-4D63-9EB7-ED871CE5F75B","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":"Q2266723$665A9FC9-57A2-43E2-9B72-39134F254C37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2266723$2DD8FBA6-B7DF-4345-B777-73C1E28AB6FC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bfd60e5a4b6133417220789b467d5cb4ab906bd0","datavalue":{"value":"The paper deals with countable ordered sets only. Such a set (A,\\(\\leq)\\) is recursive iff both A and \\(\\leq\\) are recursive sets. The recursive dimension of (A,\\(\\leq)\\) is the least cardinal m such that (A,\\(\\leq)\\) can be recursively embedded into \\(Q^ m\\) where Q is the set of rationals. The recursive chain covering number of (A,\\(\\leq)\\) is the minimal number of disjoint recursive chains the union of which is A. The authors prove many assertions showing relations between these concepts.    Typical examples: There is a recursive ordered set of width 3 and recursive chain covering number 4 which has no finite recursive dimension (Theorem 0). Every recursive ordered set of width not more than 2 has recursive dimension not more than 5 (Theorem 2). For the proofs they have used a nontraditional game theoretical approach.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266723$5EB3BEA5-63EB-4C70-AE55-CCB4DFD01C35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266723$AA006C8E-9957-426D-8CFA-EA5A182E803E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266723$C4536E8B-67E5-46DA-B117-F0CAA1EEE0AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce59ce43cee756534b2eb1efe2592aca46d4fb3e","datavalue":{"value":"3895121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266723$E7A760B9-3737-487B-8725-26A68B4E5CAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ae9b3ad051c682b41263f75942a3deba9a502e7","datavalue":{"value":"countable ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266723$6F09F9C0-2DED-4A62-A970-732E02975BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8d9274cbab44b30312fd22862d18c60a30b38ca","datavalue":{"value":"recursive sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266723$E87A659F-A907-466B-967C-9495D1DD4670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e03847338755c827f04f4578d0a0d2325ced00","datavalue":{"value":"recursive dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266723$E3859C62-3DA2-46B4-8F01-59FE5D9E74A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7771200d20b9b7114cff53a9f01e1bb8a341e757","datavalue":{"value":"recursive chain covering number","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266723$E471BE78-227F-4EC1-A81B-DCA491CDDC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"904947a3bbc58a9d9dd33e1096be0cb3339aa98f","datavalue":{"value":"recursive chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2266723$3F9DBF14-58DD-47C1-A6C2-228EE007B323","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":"Q2266723$702A154F-4CCC-41AA-B741-00E1BF77C3A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b9ff904e1c98a6431855b40a7e673c55670f79","datavalue":{"value":{"entity-type":"item","numeric-id":4097267,"id":"Q4097267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266723$E4C78AA5-A18C-4D45-AD52-9D00637ACFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eccf8297d0c1fba4465ce0e38070ebe79a553a60","datavalue":{"value":{"entity-type":"item","numeric-id":4091988,"id":"Q4091988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266723$42C68CA1-B056-4A54-96A1-F9961360E8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"729e33ee3dcf4427d583c252818241bb00291311","datavalue":{"value":{"entity-type":"item","numeric-id":1235194,"id":"Q1235194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266723$F0233124-E25C-427E-8B5F-299D342FFD4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007c64cb1e51e420a82b1528582743678952b922","datavalue":{"value":{"entity-type":"item","numeric-id":2648578,"id":"Q2648578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266723$E68D6CF4-5D0C-4300-A28F-3ACBB543465E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04655507cfa3b8351f7f0657e6f8472d4b8b19a3","datavalue":{"value":{"entity-type":"item","numeric-id":5780132,"id":"Q5780132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266723$CDB6E450-8E74-4D89-B4DB-F90F0D95C9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de43f3e978a9ce24db65e773f8fff3d02c7dc139","datavalue":{"value":{"entity-type":"item","numeric-id":3944587,"id":"Q3944587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266723$37F2DBF8-D067-4A85-97A1-4049881B44ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b016f849005b89c18951723820319f18d744736","datavalue":{"value":{"entity-type":"item","numeric-id":3315504,"id":"Q3315504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266723$D75F5D61-2A8F-4FBC-86D9-93BB8796084A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b686b6561b404abd99050b38d4f468b71b973a86","datavalue":{"value":{"entity-type":"item","numeric-id":3950561,"id":"Q3950561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266723$83CB2621-5876-45D3-BCFF-66ED6849F669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed819c1611b4a893c19dc174890b11db1e407cf","datavalue":{"value":{"entity-type":"item","numeric-id":3952085,"id":"Q3952085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266723$EE4DDF3B-1418-4E9E-BC68-A942B43F48A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29dd82bde1d3a03fecf5eacfa63d640f03444d69","datavalue":{"value":{"entity-type":"item","numeric-id":3921203,"id":"Q3921203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266723$1779DA9A-440C-46A7-8331-BB44EFB6769E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3598c0d8ff26f5c40fc000c0a33983e04ff4ec0c","datavalue":{"value":{"entity-type":"item","numeric-id":3657982,"id":"Q3657982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266723$C1A2C584-6FE0-4A35-9CDD-255053242063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f88392e2d96e6b20b42940bf56c1735eaf4e5420","datavalue":{"value":{"entity-type":"item","numeric-id":3291034,"id":"Q3291034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266723$2F287FEF-FD18-4DE3-BF5A-B0E50CDD4EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266723$234E6C6A-A265-4AC3-8A5B-D88037B5EDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5203b2c18da5e4729727d770d8eea29ebd8ecb","datavalue":{"value":{"entity-type":"item","numeric-id":3952141,"id":"Q3952141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2266723$D26AA456-C50A-42A2-A5C1-93A755FF75C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37314ccc42016a81188860dda1ba376a88c02043","datavalue":{"value":"https://doi.org/10.1007/bf00396274","type":"string"},"datatype":"url"},"type":"statement","id":"Q2266723$6EAF8951-47CF-45CE-9982-1DCF57760092","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf63ebc2b71b134f96191d0b4c61b4874e7f9fad","datavalue":{"value":"W1998185290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2266723$9D72A185-6859-4F7F-9CE4-B96707DF21CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c01da33390aa7df2c5ea1140cdbc1009189298ba","datavalue":{"value":{"entity-type":"item","numeric-id":4722060,"id":"Q4722060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8134bb6cd85188511b20351ab1003410ded5a85a","datavalue":{"value":{"amount":"+0.8446053266525269","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":"Q2266723$7E772FA3-0820-418B-AF30-C985C18E632D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba3b87aca0b22a1172146463c6c8b3d97f9e4d81","datavalue":{"value":{"entity-type":"item","numeric-id":3984441,"id":"Q3984441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f557adc4a9c8a655ad38499745e296d5c7e784d7","datavalue":{"value":{"amount":"+0.7402189373970032","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":"Q2266723$10532094-A724-427F-9389-77281640D304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"907545100b75a636a15521f8824909621ec27356","datavalue":{"value":{"entity-type":"item","numeric-id":5111496,"id":"Q5111496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64da56330b1b3d4a388a8b36a1ab36f7bfabbacc","datavalue":{"value":{"amount":"+0.7302561402320862","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":"Q2266723$344D6319-6C81-4E7B-91A2-3B968E8FAB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc76efc8c7be154e6ad565181b1d805634c5bc1a","datavalue":{"value":{"entity-type":"item","numeric-id":3977226,"id":"Q3977226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c9b76f20fcfe8ca554b49a16b6b63b9f2a63fd","datavalue":{"value":{"amount":"+0.7289677262306213","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":"Q2266723$746E5B90-91EF-49F9-ABA0-7950F4C184B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"268fc4a362b66b1c9598e70439ca4af81f47415d","datavalue":{"value":{"entity-type":"item","numeric-id":1093630,"id":"Q1093630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff57c207b3e644edb174dc3503f76e70d4fa715c","datavalue":{"value":{"amount":"+0.7225235104560852","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":"Q2266723$B519EC0E-F4FB-40FC-8617-4E3E01DE4FE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A theory of recursive dimension of ordered sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_theory_of_recursive_dimension_of_ordered_sets"}}}}}