{"entities":{"Q1267602":{"pageid":1278352,"ns":120,"title":"Item:Q1267602","lastrevid":67169082,"modified":"2026-04-12T15:45:31Z","type":"item","id":"Q1267602","labels":{"en":{"language":"en","value":"On initial segments of computable linear orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1210097"}},"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":"Q1267602$D8933FF1-0881-438A-A386-2940A2B7AA82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f32635c42636b963680212a3d4f2fe8d2157fd2","datavalue":{"value":{"text":"On initial segments of computable linear orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1267602$89BB313A-434D-4E27-B4C5-839949E25E6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5ef6e6f052e75a8fb171f348063b95d7b6347b8","datavalue":{"value":"0915.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267602$4A13BCFF-8304-401C-8C96-C969E331E9FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6a22d56a2d230db7970b447bef8938063aa112f","datavalue":{"value":"10.1023/A:1006031314563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267602$E75B42BE-7BE7-44F8-B1FF-274B724258C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e9eae47254ec40cc541353241cf6f67266a581e","datavalue":{"value":{"entity-type":"item","numeric-id":1267601,"id":"Q1267601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267602$1E9A2C7C-2C4E-4DB8-B195-7405F9ECC1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"908230505203eccb837b53bb6b9c33b396a9a16d","datavalue":{"value":{"entity-type":"item","numeric-id":188054,"id":"Q188054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267602$3D254B5A-D3E8-4B7A-95CC-1DB2EBD9743A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2356fe1f1f6d7960e11f0114cbd6aa7fe05024f7","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1267602$216E8119-0812-4FE5-9A9C-7ADBA38F1DEA","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":"Q1267602$DA6F8500-D197-474B-9A59-961925FE0E70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05bf036feabda231d03853d981bfd44c2d1c51d8","datavalue":{"value":{"time":"+1999-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1267602$68EED21A-A6D1-4DB6-AA73-6C3DBCB03CB5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1239ad92f9dbfcc855a28adb3de5d0ab75ae33d6","datavalue":{"value":"It is shown that there is a computable linear order that has an initial segment \\({\\mathcal A}\\) such that \\({\\mathcal A}\\) is \\(\\Pi^0_2\\), is isomorphic to the set of rational numbers with the usual ordering, and has the key property that it is not isomorphic to a computable linear order. This stands in contrast with a recent result of Ambos-Spies, Cooper, and Lempp that states that every \\(\\Sigma_2^0\\) initial segment of a computable linear order is isomorphic to a computable linear order.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267602$5A2E6BE3-54D4-4A58-A9A9-15861D404AFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267602$E05AA7EF-555A-4F0F-B717-0E3624D0DB9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74d84551683146fcf2bad25bbb40803e5f791fd3","datavalue":{"value":"1210097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1267602$73123B3C-9B8D-46FE-984C-93F7958CCAAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"002d1492e7a86c4a2239a4de6d010ee6cd1f5cdd","datavalue":{"value":"initial segments","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267602$B4941B6A-F9CA-4C4D-B33B-55D8835A8FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54895b5e436c4f26e4e47e95d0db1fa03d27b2b2","datavalue":{"value":"arithmetic degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267602$7CA87486-670C-417D-9143-59E55B97C309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"251aa2731f9f5b852a52cd074e7913dbf82dd7cf","datavalue":{"value":"computable linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1267602$80B74E49-92EE-4E9F-96C6-4570B183EBCD","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":"Q1267602$8E3E2C99-32EE-4198-87BC-41B6C333F36D","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":"Q1267602$6E77549B-7C0C-4E19-97FE-650F57367BD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d67e037076244f93e812b0bd2eed860413c488b8","datavalue":{"value":{"entity-type":"item","numeric-id":431706,"id":"Q431706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"831d09a0087e68ac68f6c2ddafb56a3a05345a47","datavalue":{"value":{"amount":"+0.8680333495140076","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":"Q1267602$6A0C64A0-C0F3-4AD1-8061-2AA9C77EDDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36e4720ec097a8684f3b0e448bd20721d70e343","datavalue":{"value":{"entity-type":"item","numeric-id":308863,"id":"Q308863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b45e37e5af9e6bd785162bd1157df5a0bc53140","datavalue":{"value":{"amount":"+0.8560653328895569","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":"Q1267602$3578B514-8494-4229-B669-81ABA734C55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d0d3fe0a77d6fb44aaf8cedce6e838fc923db3a","datavalue":{"value":{"entity-type":"item","numeric-id":1267600,"id":"Q1267600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da9323220ed0f8bfe8dbff869c46d1b0e642ee88","datavalue":{"value":{"amount":"+0.8450952172279358","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":"Q1267602$CB81892C-BD8B-42A7-BDBD-F0435386AD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"248bc06b03ae43548669722835bf8466c554ce9a","datavalue":{"value":{"entity-type":"item","numeric-id":5148100,"id":"Q5148100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6cc8ba47777584a789ea4096c4136c3590f8490","datavalue":{"value":{"amount":"+0.789327085018158","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":"Q1267602$003200CD-B9FA-48D8-8411-89DE4D0C9840","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On initial segments of computable linear orders","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_initial_segments_of_computable_linear_orders"}}}}}