{"entities":{"Q1949167":{"pageid":1959909,"ns":120,"title":"Item:Q1949167","lastrevid":71978541,"modified":"2026-04-14T01:50:06Z","type":"item","id":"Q1949167","labels":{"en":{"language":"en","value":"Degrees of categoricity and the hyperarithmetic hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6157722"}},"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":"Q1949167$B7029C53-0504-4067-A047-A9D20409EFD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"238b2ff6a53a9807c88fb750bb16258c190b3e70","datavalue":{"value":{"text":"Degrees of categoricity and the hyperarithmetic hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1949167$614E453E-CA17-404D-A77F-92D9CC143BEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a2cca962e2e11d02503944c57de20d3d733811a","datavalue":{"value":"1311.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949167$ED14E2E4-F5F3-40B6-B700-93B988186A37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d59b616164578051e599176e137d7bc5e8b5ca94","datavalue":{"value":"10.1215/00294527-1960479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949167$5E8D0168-CE46-4324-B0A1-2B901FAFF936","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac7806f8c5b88107d03d2d360623fb237ce6f227","datavalue":{"value":{"entity-type":"item","numeric-id":499079,"id":"Q499079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949167$FB4B0DE4-33E4-472D-A38C-53C2FED51AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9163e4b1c30abe9858d0cc0679b93b0b20c5b530","datavalue":{"value":{"entity-type":"item","numeric-id":540404,"id":"Q540404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949167$3B883661-2306-47F1-8051-C9262F0FA5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b4e48a13833dd9894b366d4966e95d03977c89","datavalue":{"value":{"entity-type":"item","numeric-id":175054,"id":"Q175054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949167$66B15E5F-8279-4762-BA29-64E4303229C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949167$4166E177-6F30-4D38-A944-4649CA3D78E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e22cd10f75079bae462a3019fa2a53db99ba9117","datavalue":{"value":{"time":"+2013-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1949167$1ECAD67D-DADB-4DB6-BAE0-62D7D87A92BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"679fb2f45de397e915330d40b186be8114bfb8c5","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1361454975","type":"string"},"datatype":"url"},"type":"statement","id":"Q1949167$92811EED-9CB0-4CCE-AA77-BCDB5098704D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d18d3c0258e66ff0871137d0c1081df747c91b91","datavalue":{"value":"Let \\(\\mathbf d\\) be a Turing degree. A computable structure is \\(\\mathbf d\\)-\\textit{computably categorical} if any of its computable isomorphic copies is isomorphic to it via a \\(\\mathbf d\\)-computable isomorphism. If there is a least degree with this property, then this degree is called the \\textit{degree of categoricity} of this structure. A degree is called a degree of categoricity if it is the degree of categoricity for some computable structure. If \\(\\mathbf d\\) is a degree of categoricity with the property that there are isomorphic computable structures \\({\\mathcal A}_0\\) and \\({\\mathcal A}_1\\) for which \\(\\mathbf d\\) is the degree of categoricity and every isomorphism from \\({\\mathcal A}_0\\) onto \\({\\mathcal A}_1\\) computes \\(\\mathbf d\\), then \\(\\mathbf d\\) is called \\textit{strong degree of categoricity}.  The authors prove the following results:   1) for any computable ordinal \\(\\alpha\\), \\({\\mathbf 0}^{(\\alpha)}\\) is the strong degree of categoricity for some computable structure;   2) if in addition \\(\\alpha\\) is a successor ordinal, then any degree \\(2\\)-c.e. in and above \\({\\mathbf 0}^{(\\alpha)}\\) is a strong degree of categoricity;   3) every degree of categoricity is hyperarithmetic;   4) the set of codes of all structures having a degree of categoricity is \\(\\Pi_1^1\\)-complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1949167$CAA28F5F-0BF9-4D2A-8839-DDA8865E574A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949167$564B0CE8-06CB-4026-94A2-33371B77C698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e7d9065663fa3ffd8f6c70df93df9f4742e385","datavalue":{"value":"03D28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949167$0D553093-7B00-495D-9480-758C256042D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e88e6606c6d79d640d84ce78d6c041d422baeffd","datavalue":{"value":"6157722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949167$017F56EB-3A0D-422B-93B3-91409088F4CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f401dd9c1f566772595ae85ebc3ea4d1157a2c3d","datavalue":{"value":"computability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1949167$E3386BF5-74A6-489F-86B1-263BC996A854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc33b11f68ed1c9582db5d152ab677e4b6854f8a","datavalue":{"value":"computable structure theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1949167$8260544B-9327-4EC9-A5A9-8E54075EC993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91fe4280e2e06a0a064865358db087007d3f302b","datavalue":{"value":"Turing degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1949167$4F544636-C60A-475C-9EEF-9E92EE6D082E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e205918ef9e9725c5b434cb4e8cdf1835fe6252","datavalue":{"value":"isomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1949167$B990F520-4704-48A4-B073-370CF0457237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d502aed236572e829c870ea3cd6d07c7a5ae55af","datavalue":{"value":"relative categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1949167$67439C67-F192-48A3-9ACC-4D986DAF8B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74667a4335dc141eafa3db6746fdea870cc52a0b","datavalue":{"value":"degree of categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1949167$DF620CF6-D74D-410D-BB5A-00768A4AE214","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":"Q1949167$8C306874-7A9A-43A8-AAE7-05DBB4FE034A","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":"Q1949167$01810345-8222-4939-975E-BC2788C022B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"819a3d676548964b60bd44085cea75bce11cf711","datavalue":{"value":"W2013474162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949167$8F1BE098-9C4C-43D4-8318-81DAC788AE3D","rank":"normal"}],"P223":[{"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":"Q1949167$FF28F1CA-5BA4-495C-B192-8F9471FA6472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a199b7f70c1c9947ed1cfbfab18c280c4999219e","datavalue":{"value":{"entity-type":"item","numeric-id":2655143,"id":"Q2655143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949167$F5D89701-DC1C-41D1-B8AB-76C69B8B342C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae79ad29404d2fb7ea2d2e284fdccbe71dec4362","datavalue":{"value":{"entity-type":"item","numeric-id":4249356,"id":"Q4249356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949167$C54B2452-075D-43F9-909B-CBC5F39EC22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af5363882d62f29aa1051703777357252de619f","datavalue":{"value":{"entity-type":"item","numeric-id":1430995,"id":"Q1430995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949167$6D74D5A2-3575-4200-B15D-B43C22CA119D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bf9ec6f22aa0070a3fb4ca66bb36ee05f9b4ad9","datavalue":{"value":{"entity-type":"item","numeric-id":3475255,"id":"Q3475255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949167$838C0239-2FCB-4829-95E7-E118B227220B","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":"Q1949167$6C0B3114-045D-4B81-8AE3-1D3DCD1B7E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07ae007fd7d2773d6f84a20f1d34b8ce24af5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4040890,"id":"Q4040890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949167$B46B567A-ED4A-4D8B-97A3-59F04269650B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949167$8E89BE8C-999B-4FE7-98F4-3D07710A689D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d2fd0764948c10d8b1e1e767e7f840efc3f0bba","datavalue":{"value":{"entity-type":"item","numeric-id":2655143,"id":"Q2655143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"503a220cd81184e947b936d5265a4a0dc03bcc90","datavalue":{"value":{"amount":"+0.8953180909156799","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":"Q1949167$AB7AAE2E-F248-4C74-BA4C-3E7937E13AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac7b8905d282d4b820c5c957da85f3726a37e887","datavalue":{"value":{"entity-type":"item","numeric-id":5131645,"id":"Q5131645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f1cd72636fb7008b0a30f34f1318a11a529cc43","datavalue":{"value":{"amount":"+0.8847811818122864","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":"Q1949167$31ECC978-99E2-419F-8D42-8949E1323921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"367f398826f403a9ef8109891e468164a51bbe50","datavalue":{"value":{"entity-type":"item","numeric-id":306834,"id":"Q306834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd1571f1203873e2fa28acc8b77c764cad221649","datavalue":{"value":{"amount":"+0.876837968826294","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":"Q1949167$C0EE7556-D1FE-4C88-9C9F-520CE99DCF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdeb4376e09102150c10ba9edcf5c110960b5fde","datavalue":{"value":{"entity-type":"item","numeric-id":4638977,"id":"Q4638977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c3556141cb656f8af20e302dd3d31f2ea3ea533","datavalue":{"value":{"amount":"+0.8635108470916748","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":"Q1949167$89D92959-3AC5-4278-A63C-62BD3A081455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c62d106036486dd89447f8c2c7c50131bd90b376","datavalue":{"value":{"entity-type":"item","numeric-id":5738206,"id":"Q5738206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdf52c71b277c50fd2f9dd1adaca4b104d8a9c3b","datavalue":{"value":{"amount":"+0.8607852458953857","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":"Q1949167$AC626BCB-400F-4EDC-8339-28900146F1AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Degrees of categoricity and the hyperarithmetic hierarchy","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Degrees_of_categoricity_and_the_hyperarithmetic_hierarchy"}}}}}