{"title":"mu<s:1>尼克和梅德韦杰夫学位调查","authors":"P. Hinman","doi":"10.2178/bsl/1333560805","DOIUrl":null,"url":null,"abstract":"We survey the theory of Muycnik (weak) and Medvedev (strong) degrees of subsets of ! ! with particular attention to the degrees of � 0 subsets of ! 2. Later sections present proofs, some more complete than others, of the major results of the subject.","PeriodicalId":55307,"journal":{"name":"Bulletin of Symbolic Logic","volume":"91 1","pages":"161-229"},"PeriodicalIF":0.7000,"publicationDate":"2010-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"25","resultStr":"{\"title\":\"A survey of Mučnik and Medvedev degrees\",\"authors\":\"P. Hinman\",\"doi\":\"10.2178/bsl/1333560805\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We survey the theory of Muycnik (weak) and Medvedev (strong) degrees of subsets of ! ! with particular attention to the degrees of � 0 subsets of ! 2. Later sections present proofs, some more complete than others, of the major results of the subject.\",\"PeriodicalId\":55307,\"journal\":{\"name\":\"Bulletin of Symbolic Logic\",\"volume\":\"91 1\",\"pages\":\"161-229\"},\"PeriodicalIF\":0.7000,\"publicationDate\":\"2010-07-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"25\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Bulletin of Symbolic Logic\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.2178/bsl/1333560805\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"LOGIC\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bulletin of Symbolic Logic","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.2178/bsl/1333560805","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"LOGIC","Score":null,"Total":0}
We survey the theory of Muycnik (weak) and Medvedev (strong) degrees of subsets of ! ! with particular attention to the degrees of � 0 subsets of ! 2. Later sections present proofs, some more complete than others, of the major results of the subject.
期刊介绍:
The Bulletin of Symbolic Logic was established in 1995 by the Association for Symbolic Logic to provide a journal of high standards that would be both accessible and of interest to as wide an audience as possible. It is designed to cover all areas within the purview of the ASL: mathematical logic and its applications, philosophical and non-classical logic and its applications, history and philosophy of logic, and philosophy and methodology of mathematics.