mu尼克和梅德韦杰夫学位调查

IF 0.7 3区数学 Q1 LOGIC Bulletin of Symbolic Logic Pub Date : 2010-07-14 DOI:10.2178/bsl/1333560805

P. Hinman

{"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}

引用次数: 25

摘要

的子集的Muycnik(弱)度和Medvedev(强)度的理论。！特别注意!的0子集的度。2. 后面的章节给出了这个主题的主要结果的证明，有些比其他的更完整。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

A survey of Mučnik and Medvedev degrees

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Bulletin of Symbolic Logic 数学-数学

CiteScore

0.60

自引率

0.00%

发文量

审稿时长

>12 weeks

期刊介绍： 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.

期刊最新文献

Formal Logic of Sentences, Sentential Logic (also called Sentential Logic and Statement Logic) Semantic Models for ∏: ∏⧉ Basics of Set Theory Concepts of Deductive Reasoning Proof-Theoretical System for Predicate Logic: ∏πφ=