{"entities":{"Q1591201":{"pageid":1601941,"ns":120,"title":"Item:Q1591201","lastrevid":73151748,"modified":"2026-04-14T14:45:13Z","type":"item","id":"Q1591201","labels":{"en":{"language":"en","value":"Undecidability and 1-types in intervals of the computably enumerable degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1546598"}},"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":"Q1591201$66E46580-1F4A-4DAA-B5C6-44B0A5711F13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad6fd187fce6f220323c0349c2807cb67023b496","datavalue":{"value":{"text":"Undecidability and 1-types in intervals of the computably enumerable degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1591201$DAE0F9F1-F6F8-428B-92D2-BBDD31D2D879","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"862af06cc3e17ac7f54de0551f744de0c50178aa","datavalue":{"value":"0971.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591201$F4FE2F7D-DAC1-4270-9239-59059DD112BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcf074dd4f591904eb0e75726e4c2401762f56eb","datavalue":{"value":"10.1016/S0168-0072(99)00011-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591201$6B474CD4-E640-4ED2-ABA4-094DFF0EF7D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de07eca08fd275b43aedd5c0b45bb2e3e71c52be","datavalue":{"value":{"entity-type":"item","numeric-id":456803,"id":"Q456803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591201$37D090B9-9D63-4525-B748-7B3274E4947E","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":"Q1591201$A5D411A1-BEAC-4F75-B0E5-0CEB516B6F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b09a388965329c926d542d4fdd3e9db9fa7e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":162061,"id":"Q162061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591201$F04BEFA8-64CD-432F-A432-BD7B7A7F090F","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":"Q1591201$3CAA6A8D-4751-4AF6-A747-DD0968D498EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c942329286f61912919b34bd0734f5ee78c9108","datavalue":{"value":{"time":"+2001-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1591201$9D56FB02-D4CB-4F4F-B524-667FFB8EB795","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"445e1447f3e42e452fad0dd4c06d60919d89e696","datavalue":{"value":"The authors show that the \\(\\Pi_5\\)-theory of any nontrivial interval \\([a,b]\\) in the computably enumerable Turing degrees is undecidable in the language \\(\\left<\\leq\\right>\\) and prove that the elementary theory of this interval has uncountably many 1-types.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591201$2762E306-2ECB-41F2-A756-95146D330F50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591201$8693D0D3-F921-4180-AC50-A42959CAA3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591201$C623AFC2-D532-4FE4-9FAC-5E0E30467C05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29640210a130727d3bd7624070e4d3d2750337ad","datavalue":{"value":"1546598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591201$F2348265-62FB-4D69-A6E8-CB3659940EB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4304a16115e1b4c560538f0ec9cb88f2369bde71","datavalue":{"value":"theories of Turing degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591201$BF9C5D20-8A34-4107-AF89-F68ED6897F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89e9dd68898db9bce2b8523862e51916bf1261a1","datavalue":{"value":"undecidable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1591201$C2639099-98D0-4F96-9EA4-958E2EB4CAD2","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":"Q1591201$CD137C40-FCC0-4FCF-85A4-B7B30D20A133","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":"Q1591201$BC3F8D25-A7FC-4B9E-9AFE-59B40DEFEFEF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e665ea6ccb0be957378512843fd5df59c373dd5","datavalue":{"value":{"entity-type":"item","numeric-id":1823931,"id":"Q1823931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591201$DD97A31A-04BB-4F84-819A-5712CDE48F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad8e800dca90055c7ab7841ac69c777c0f82200","datavalue":{"value":{"entity-type":"item","numeric-id":688787,"id":"Q688787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591201$F2C51817-253F-46A1-B00C-BDBDF3584FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f332679368877f9bb505ba923a6af9192ba39219","datavalue":{"value":{"entity-type":"item","numeric-id":5586303,"id":"Q5586303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591201$A57B1B99-D345-4879-BB88-862D460FB0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afb5d02297c353098eb650295fe650f46ef66ea8","datavalue":{"value":{"entity-type":"item","numeric-id":1055403,"id":"Q1055403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591201$57446F0D-23AB-4E8E-A0F1-C69D30AE9A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e10ad025d9092a4bf339636fc9e15f8e0ef7fb","datavalue":{"value":{"entity-type":"item","numeric-id":3666835,"id":"Q3666835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591201$285494D6-8E95-4DC0-B747-6ADD7C3E371E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bca441acee540b6c6848d51594e5798c2464759","datavalue":{"value":{"entity-type":"item","numeric-id":5537365,"id":"Q5537365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591201$420AA66A-F5E7-401E-9D6A-281DE9718D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb76afcdf8831554ff0c35c02ea2b59bc9b7d5c9","datavalue":{"value":{"entity-type":"item","numeric-id":4211072,"id":"Q4211072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591201$EEE7AE31-4D31-4A1D-9A99-5D9BF92A707D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c21179f242fd720853b7b4176222ce96b7da351b","datavalue":{"value":{"entity-type":"item","numeric-id":802550,"id":"Q802550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591201$5296303C-E42D-4E79-9210-FBEDEB40A751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abc749d216d7ef73d2e4f1819d8a2b21835f381f","datavalue":{"value":{"entity-type":"item","numeric-id":3839947,"id":"Q3839947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591201$B1BC3367-DBE5-44FE-A8CB-FCF7BE75146C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3183fe1b285e34ab4afafe2135598ac868bd7630","datavalue":{"value":{"entity-type":"item","numeric-id":2520837,"id":"Q2520837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591201$E26B60BC-4623-4086-B459-D16A3C282DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0afd5532278da9a5d9cf1957582e7e12c5b70b","datavalue":{"value":{"entity-type":"item","numeric-id":2626398,"id":"Q2626398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591201$27590914-EC78-4C15-84D5-9ACA366328E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c662cfb058b883255aa2f0d1c3458ae74649778","datavalue":{"value":{"entity-type":"item","numeric-id":809074,"id":"Q809074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1591201$E17CF364-28F9-4624-AD10-F526545125D1","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":"Q1591201$3DDAA2EC-5474-4DE9-9586-E1C72E21DA38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d387603ce7826c62e03acebc9072a5e053c6b02","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(99)00011-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1591201$08AFDAA1-E67E-4847-B8C6-129AF946AE2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53c640bda7d6d4663596642c0124b5269f399f22","datavalue":{"value":"W1975543155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591201$A575CF23-0875-492A-AB21-B11BE0A6BE5B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1ca9a6dab592063c8c9da9ab42e5609d11cbcbb0","datavalue":{"value":"Q126654546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1591201$9ECE1509-3F38-4595-8DFC-6263F618A7E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb08ab5ca08ba737622d272770b6eec5a5f8bb0a","datavalue":{"value":{"entity-type":"item","numeric-id":4211072,"id":"Q4211072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a56850c8bfe0a602c0be3c5a7728b6fcb6550f68","datavalue":{"value":{"amount":"+0.815029501914978","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":"Q1591201$6C37B1A5-5000-4621-82CF-7BAAD9C202B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fef52c363e9948894b5be9ccc0156e1980653cfd","datavalue":{"value":{"entity-type":"item","numeric-id":4238426,"id":"Q4238426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a56850c8bfe0a602c0be3c5a7728b6fcb6550f68","datavalue":{"value":{"amount":"+0.815029501914978","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":"Q1591201$BFAE07E9-B614-483B-B771-861E3501839E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5045f654be472f29e03fe9c332e8e0d0b15991d8","datavalue":{"value":{"entity-type":"item","numeric-id":688787,"id":"Q688787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5561e6bbcdeea0c1ce18aded8ad8f52bbfc0f771","datavalue":{"value":{"amount":"+0.8112379908561707","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":"Q1591201$5943D53D-F2C2-4D43-BB03-D339AD1206DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1162d3cf08fa88c5f628b43ca78046adbb9c53bc","datavalue":{"value":{"entity-type":"item","numeric-id":3416114,"id":"Q3416114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c831804a66d9b9822f01e30d78f9234234678ab7","datavalue":{"value":{"amount":"+0.8081690073013306","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":"Q1591201$6DC2D990-C5F6-414D-996E-E3156EE2E920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f2d2b40afa8615ad14b2a609666beeb12d8a069","datavalue":{"value":{"entity-type":"item","numeric-id":4354181,"id":"Q4354181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4db4ef81b8e4fe60f989604605fc0c4eea276aed","datavalue":{"value":{"amount":"+0.7848619818687439","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":"Q1591201$5F92EE90-093D-4BC6-9A63-9089E52BC201","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability and 1-types in intervals of the computably enumerable degrees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidability_and_1-types_in_intervals_of_the_computably_enumerable_degrees"}}}}}