{"entities":{"Q4040892":{"pageid":6070608,"ns":120,"title":"Item:Q4040892","lastrevid":108785126,"modified":"2026-11-10T06:53:00Z","type":"item","id":"Q4040892","labels":{"en":{"language":"en","value":"Recursively enumerable sets and degrees. A study of computable functions and computably generated sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 194103"}},"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":"Q4040892$A8D8210E-7AEF-448D-A78D-88786364A709","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bbeaf3704d96b1599917eb43272ecc687cf75f9","datavalue":{"value":"0623.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040892$98E6CD28-902E-4A7B-B6C6-180503DC6351","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99d656eeef84f51d80bcbc7ccf03ab138401b634","datavalue":{"value":{"entity-type":"item","numeric-id":207673,"id":"Q207673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4040892$C52AD1CA-DCE4-440E-9CB5-72E3B1FB84F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28319e3934f5b194abbcd5639e9eae3758e9e43c","datavalue":{"value":{"time":"+1993-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4040892$378FF412-D8C2-46BE-982D-FF264672A265","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"56528a547afad658a2bccf50696c0882526c82f7","datavalue":{"value":"03Dxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040892$5D6979BC-50A2-4C80-9399-25562CCB3486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040892$8125F210-52B2-451C-A3B0-03108A475AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040892$86CDE75D-EA6C-4499-8D4F-A0AD42034C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040892$7BD07A79-FAD5-4EEE-B790-E5889F4EFD90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64963a1f72765ca1b4a7a000a4d05d6264782703","datavalue":{"value":"194103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4040892$D95A9871-097A-4096-A5DA-DA4779E9758A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24cc4d29473a9d86b573a92b75d8cb8b9ea2650d","datavalue":{"value":"priority","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040892$E969EBDA-6D3A-4AE2-895A-67C2E152495A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb5e53e93edfb5e939667dfe247041de4aa4ea85","datavalue":{"value":"recursively enumerable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040892$EBDCEAF7-04B2-46D9-948E-EF0004986AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10f11f6c95653f9179bf0e8d6091e20037d103e5","datavalue":{"value":"injury","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040892$B18F98B1-BEED-4E6A-84BD-DE0FED33899A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69ea5b69d0be7e1d5aded4795bf1838bfcba2141","datavalue":{"value":"degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040892$B5B11DDF-A77F-492E-B6D2-32D463BAE8F2","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":"Q4040892$9FF5CAC4-40AB-4AEB-8CD6-6A512FEC7994","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d665c25478e8b233b47c7385833a842f0ab34f95","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a109e2526d111c5b2dc285d9973bf2cbbc3b438","datavalue":{"value":{"amount":"+0.9146043658256532","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":"Q4040892$4EA18769-699F-453F-9EEC-D95E46D94242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddca182616b7b777521ab6ffab8025ee2057422","datavalue":{"value":{"entity-type":"item","numeric-id":3792671,"id":"Q3792671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26f61508724f9967207c004def52b5e07115c4de","datavalue":{"value":{"amount":"+0.8761423826217651","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":"Q4040892$7874709F-F340-4031-A9E9-36FC47CFA0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe47f58f9fa90615e963c6ee42a57c1e1867253","datavalue":{"value":{"entity-type":"item","numeric-id":1307029,"id":"Q1307029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b8822f1f6e26bda2213f7b6dfbfc214df80a3ca","datavalue":{"value":{"amount":"+0.8316776752471924","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":"Q4040892$CF3D4A2D-50C0-4E6C-9C4A-CB3EC4ABC270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e9603cf9a98a393edba52f52fecb40efc6e081","datavalue":{"value":{"entity-type":"item","numeric-id":1059069,"id":"Q1059069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e75df648c71f063638a04e2db05504e35fa6b1f","datavalue":{"value":{"amount":"+0.8316313028335571","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":"Q4040892$3E5F4AF7-607A-4DA3-975C-7E540D2C55B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7a45e380757105684fb98386e09df6be8f47cab","datavalue":{"value":{"entity-type":"item","numeric-id":1188502,"id":"Q1188502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cbcf933bfe1989b07aa39d76a73f3907c00ff18","datavalue":{"value":{"amount":"+0.8315582275390625","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":"Q4040892$95A9797C-4DCE-422D-83E2-22BCC3CBB3DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef4ea10afad03ba5005e928fa12d56168dabd7b1","datavalue":{"value":{"text":"Recursively enumerable sets and degrees. A study of computable functions and computably generated sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4040892$6ED96503-AE85-4878-AB55-B2F05BCDC1C9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"87c261fa6d1f73371a08b9bc131ab022f4142389","datavalue":{"value":"The main purpose of this book is to introduce the reader to the main results and to the intricacies of the current theory for the recursively enumerable sets and degrees. The author has managed to give a coherent exposition of a rather complex and messy area of logic, and with this book degree-theory is far more accessible to students and logicians in other fields than it used to be. The book is divided into four main parts. The first part is a clear, but standard introduction to basic recursion theory. It may be used directly at graduate level, but undergraduate students with no knowledge of recursion theory will probably find it too brief. In the second part classical results about r.e. sets using pre-Friedberg- Muchnik methods and finite injury arguments are given. The results are known from other textbooks in recursion theory, but the exposition here is very clear and of course fundamental to the rest of the book. The third part is devoted to the use of the infinite injury method and other arguments of comparable complexity. Typical examples are the minimal pair construction and other lattice results. The methods are also used to investigate high and low degrees and the relation between the degree and the structure of an r.e. set. The final section, leading the reader to the research front of the area, contains a rich variation of results, most of them requiring proof methods more sophisticated than the ones used in the third section. The methods include highly complex priority-arguments known as O'''-priority. It will lead too far to go into details here. To the reviewer's knowledge this is the first time that the material covered by sections C and D is treated coherently in a textbook. Though the author is a very prominent researcher in this area, the most impressive aspect of the book is the way upon which the material has been made accessible to the reader.","type":"string"},"datatype":"string"},"type":"statement","id":"Q4040892$1AEAE9B8-A868-4CC1-A73A-830549B7FE4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recursively enumerable sets and degrees. A study of computable functions and computably generated sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Recursively_enumerable_sets_and_degrees._A_study_of_computable_functions_and_computably_generated_sets"}}}}}