{"entities":{"Q2576940":{"pageid":2587683,"ns":120,"title":"Item:Q2576940","lastrevid":48620689,"modified":"2026-01-05T10:13:53Z","type":"item","id":"Q2576940","labels":{"en":{"language":"en","value":"On self-embeddings of computable linear orderings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2242223"}},"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":"Q2576940$9AA739EE-D593-4BA0-B6B4-D6B8D5AE3B03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c85403fd0f43a14324d19267c0367a2c56fce461","datavalue":{"value":{"text":"On self-embeddings of computable linear orderings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2576940$8292DE3D-AA77-43F3-B892-252BF89C51BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"124c1acf1c2b8f4d3c28fe3c977d15ffa74fd73f","datavalue":{"value":"1105.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576940$3824F002-EE3E-4014-999D-9618C3DB97F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0b22c597c8b573856274c0b9425ef5e44cb3896","datavalue":{"value":{"entity-type":"item","numeric-id":654000,"id":"Q654000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576940$E8A58255-C960-4956-81C0-819B4EA82E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"302de52cd79b694f710a98c295d3804f924d6528","datavalue":{"value":{"entity-type":"item","numeric-id":375817,"id":"Q375817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576940$F8239032-C950-49E5-BAEB-6F8182283434","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":"Q2576940$F3161C70-9C2B-473A-B239-DE9D5C3D9D7C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576940$35A66B7E-9D50-42DF-A392-BECF0278F5F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2cf687ba42bee292af8a405799b19faf7dc96007","datavalue":{"value":{"time":"+2005-12-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2576940$265031FE-386F-408F-AFDB-AF3A261E2943","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"09e2ed3dd4563a10efe55a71f2e07f355494c546","datavalue":{"value":"The authors prove that there exists a computable linear ordering without nontrivial \\({\\mathbf 0}^\\prime\\)-computable self-embeddings. It appeared that the previously published proof of this statement in [\\textit{S. Lempp, A. Morozov, C. McCoy} and \\textit{D. R. Solomon}, ``On self-embeddings of computable linear orders'', in: S. B. Cooper et al. (eds.), Computability and models. Kluwer Academic/Plenum Publishers, New York, 259--265 (2003; Zbl 1104.03001)] contains an error. The question of how much computability we need to compute such embeddings in the general case and for various kinds of orderings is also studied.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576940$B2B59CB0-8022-42C8-8DA5-D3A0B7F0496A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576940$0D19EA3A-17AB-4F96-BD19-CB624B6753CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576940$CF65FF1D-BEA4-451C-A991-1DA9B3B5FAFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"812fc45a66bc47ccb54c75ce9465a11a0f6bc65e","datavalue":{"value":"2242223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576940$47D53D3C-B4EC-48C7-A31F-B27CE2508B76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"251aa2731f9f5b852a52cd074e7913dbf82dd7cf","datavalue":{"value":"computable linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576940$1466DDDD-2F13-455D-97C4-E5D68868DDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a07b3d49e7d939338a396b8c1cde011dac9560f","datavalue":{"value":"Dushnik-Miller theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576940$9570E132-0F7B-4C0E-8A8C-1FEB2CDCC924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c618e2ea4d4d1f00b1e05e2a8219e4f127168312","datavalue":{"value":"self-embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576940$F4C5F9C4-F02D-4C15-B022-946E14FCA0E2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3ce0c15be929efae5d1db4165b73b6b1dd00974c","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576940$A78EF0CB-C0A0-481F-9D2F-728873EE01C2","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":"Q2576940$0E15BDE3-075A-4FD1-8DF0-78B109BF596D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecadade4c85bef7b8c1df604604baf6be2bd110e","datavalue":{"value":"https://doi.org/10.1016/j.apal.2005.06.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2576940$EFA4E715-018D-4B26-AC02-7966B87BAE26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8cb0c91f3553059355dcf1ff5208d893bc3fcded","datavalue":{"value":"W2113879370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576940$312944D3-6918-4996-8A7A-429DB7582D65","rank":"normal"}],"P223":[{"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":"Q2576940$2CB4E4A0-C196-4951-A825-9063C076E121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce983cb945486a9f443408bab55865af46e0532f","datavalue":{"value":{"entity-type":"item","numeric-id":3160553,"id":"Q3160553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576940$2F15B2B4-9DFC-4109-BADC-D0BB1BF6ECCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c41dc9ab5a8d4d554335c7da55823f7fe44061","datavalue":{"value":{"entity-type":"item","numeric-id":4946096,"id":"Q4946096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576940$D5F4CFE8-4D56-4F6E-A1B6-9C0B8C8BE37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6a33824e7f31833d6ae3f72cf75bf42abf183fc","datavalue":{"value":{"entity-type":"item","numeric-id":1366939,"id":"Q1366939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576940$B11071C2-16FD-4D15-8778-AC19C3D6AA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86108cb677c98bb6850d4621a5c75e6c35903675","datavalue":{"value":{"entity-type":"item","numeric-id":5677474,"id":"Q5677474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576940$628162C9-C34B-421D-ACB7-D80C9E84CC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576940$71764128-C629-4A75-95A8-2DF3122853D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46a63be2e0345883c1dde07745cb06c536a185ac","datavalue":{"value":"10.1016/J.APAL.2005.06.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576940$4B0BA30E-7AA7-4F8E-B1E7-49A18D5CEDE8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88404c522150094adf2318e41b94806cf16ee111","datavalue":{"value":{"entity-type":"item","numeric-id":3655260,"id":"Q3655260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e585bd737fd472ce6d109ebed5fbfebaa8bab51","datavalue":{"value":{"amount":"+0.9093359708786012","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":"Q2576940$BA76396F-2A54-4CFB-8A9C-8E4570A4F833","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":"034f24d47ebfe64801b91cdb22cab27a27e5b96c","datavalue":{"value":{"amount":"+0.871351420879364","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":"Q2576940$C52193E7-C923-4500-81AF-2A34E7040F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71478a7dc077e2fb455c3c931103ea8110786753","datavalue":{"value":{"entity-type":"item","numeric-id":2055305,"id":"Q2055305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b69760193b77d6722cf6b394b8f3aaa1a4a59a3","datavalue":{"value":{"amount":"+0.8243764042854309","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":"Q2576940$5D11EE52-1A24-4AA5-B949-CFF885D51062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb370c81c6219b48059b6d9a127ff7e87e83f64","datavalue":{"value":{"entity-type":"item","numeric-id":1049747,"id":"Q1049747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"639b0eb4690ced60429384c1097daab12337de0b","datavalue":{"value":{"amount":"+0.8118877410888672","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":"Q2576940$CE2CBA97-6B81-4052-A8E6-B54B49774D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4df462ee4f4b838fe4364b248f8dd700ae95b3b7","datavalue":{"value":{"entity-type":"item","numeric-id":4249724,"id":"Q4249724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5df612672b9c6a7c22fe863e3034644355498015","datavalue":{"value":{"amount":"+0.7807825803756714","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":"Q2576940$AF5076A1-E449-4B6B-898A-91A846A17A3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2576940","badges":[]}}}}}