{"entities":{"Q2277253":{"pageid":2287996,"ns":120,"title":"Item:Q2277253","lastrevid":49483243,"modified":"2026-01-07T06:09:07Z","type":"item","id":"Q2277253","labels":{"en":{"language":"en","value":"Enumerations of Turing ideals with applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4195926"}},"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":"Q2277253$A2773B2E-76C1-49B5-B2F0-81054D26EFAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40006b7544c157a31a758da2b161998f37f8f4c8","datavalue":{"value":{"text":"Enumerations of Turing ideals with applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2277253$5FC1710E-7688-43CF-A5BB-809F2BC594F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6cc021c3a17ac7ce14bdc62943169f8ef9fd8456","datavalue":{"value":"0725.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277253$75C25311-8CBE-4002-B491-A8698A0768A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a09a13d6e711036641b9a7b37ca570c3d0eae2cf","datavalue":{"value":{"entity-type":"item","numeric-id":201667,"id":"Q201667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277253$F2597115-C389-49F7-914F-90AD94F73DD1","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":"Q2277253$01205EAF-D6E0-4397-B70B-B586A6DE90B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q2277253$C4EB1EE5-C396-4E5C-BAE3-301AE93CF0E1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c94142e983601446b664fd18bd1d9e2cfd534aa0","datavalue":{"value":"A Turing ideal is a collection of sets of integers closed under Turing reducibility and join. The author studies enumerations of such objects with an eye to applications in the model theory of first and second order arithmetical systems such as \\(WKL_ 0\\) and \\(RCA_ 0\\). The techniques are Cohen and Sacks forcing, and coding techniques such as those of \\textit{J. Harrison} [Thesis, Stanford 1966].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277253$8E12E7EF-100F-4D8E-97E9-5F1290908D9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277253$3B3FC847-C213-4DD3-A2BE-FCCFD01381D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277253$8D6D377C-0286-4F72-847F-FFBBAC46DB14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46cc444b6e474b30076c9ee2f4079168f230a019","datavalue":{"value":"4195926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277253$2D6BC47E-B3C1-4650-8B87-0C05F875B12B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb02ba4e6ff2a391b40db19e8612c20545f3f2d2","datavalue":{"value":"Turing ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277253$469395FD-6BEC-4889-8B97-9D2C3EBDEC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca8747e792c9ec070a2b651f7745015b1625753b","datavalue":{"value":"Turing reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277253$710305B1-69A6-416E-95C4-89BFD3575A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9734df439763fda6e229d456c26a02667b63865","datavalue":{"value":"enumerations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277253$1A4A1BC9-DCAE-41EC-8D9C-C679F05AD8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f17e732baaa63f8a516456c08e7e8adefaf78eb5","datavalue":{"value":"model theory of first and second order arithmetical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277253$34F8D5ED-A8BD-4D1D-97BC-A6E46685AD9C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8055ef4c08baf7aae068108b5a3771ed10ad54de","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277253$6C91AC2F-815E-4755-9BA6-7888F17083FC","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":"Q2277253$591DD2C9-ABFB-4D18-A74D-6BFEEAA03F5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"881dcc06409d39fdb0ba1bbbda2faff42628ab5a","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635587","type":"string"},"datatype":"url"},"type":"statement","id":"Q2277253$2FB181FC-8D9F-40A2-A201-645AC69A9B29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71c193fe26915c5d26aa74fa8ef1fd02031df91f","datavalue":{"value":"W1976099377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277253$1DC489F8-FCDF-4797-8628-89C1B7199625","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41569ac8b988edafc5795ea826bcc7b163faa8da","datavalue":{"value":"10.1305/NDJFL/1093635587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277253$6AD1981A-E3C6-4B03-AB58-8914F44FDDB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"040db0148b683b900f8a36a9e343bca4994e7f68","datavalue":{"value":{"entity-type":"item","numeric-id":639654,"id":"Q639654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b266cf30375fe88fe57b180f16bf099ff3d77a54","datavalue":{"value":{"amount":"+0.7534943222999573","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":"Q2277253$2A047B82-6C39-4ADF-B326-760DAE743C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0a3e5bc2d8219697562be061eab60f5c09df8c6","datavalue":{"value":{"entity-type":"item","numeric-id":4227885,"id":"Q4227885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee7e5f589eed9c502dda4cbaa6cf9bb88ab3ea7a","datavalue":{"value":{"amount":"+0.7513436079025269","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":"Q2277253$D9858CE3-A2D4-4790-A4B7-F9E715B3AB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c681600fb674289460afa4bd451043325c5ded27","datavalue":{"value":{"entity-type":"item","numeric-id":4387097,"id":"Q4387097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d39072432510ed72a106980caf08a009ebdc2e4","datavalue":{"value":{"amount":"+0.7467681765556335","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":"Q2277253$A7735D32-AC2A-4610-AE0B-1AC5C7F3DD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a16dadac90cc5651a927a670af345111d7f6a4bd","datavalue":{"value":{"entity-type":"item","numeric-id":4656805,"id":"Q4656805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42c88041e98d6a204bebf6b14e597939d3f6e3bf","datavalue":{"value":{"amount":"+0.7194483876228333","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":"Q2277253$FD5DCDC0-4EC1-4199-A393-C4244E06DB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c55cddb3018dfb38cd38936f1474432ded220fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1387092,"id":"Q1387092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0652edf609cf04fb8b24eee961a635e3ae06590e","datavalue":{"value":{"amount":"+0.7148030996322632","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":"Q2277253$14316FF9-335D-4996-95C2-F94FD20D5ACA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2277253","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2277253"}}}}}