[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8,"_9":10},"actionData","errors","root",{"_261":262},"routes/_layout",{"_11":181},"routes/entity.$type.$id",{"_11":12,"_13":14,"_15":16,"_17":18,"_19":20,"_21":22,"_23":24,"_25":26,"_27":28},"dehydratedState",{"_73":74,"_75":76},"type","paper","id","paper_W1554860413","section","technologies","entity",{"_15":16,"_29":30,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":38,"_39":-5,"_40":41,"_42":43,"_44":45,"_46":47,"_48":-5,"_49":50,"_51":30,"_52":53,"_54":55,"_56":57,"_58":59,"_60":61,"_62":-5,"_63":64,"_65":-5,"_66":67,"_68":30,"_69":-5},"canonical","https://www.hugmap.com/entity/paper/paper_W1554860413/technologies","siteBaseUrl","https://www.hugmap.com","sectionCount",1,"jsonLd","{\"@context\":\"https://schema.org\",\"@graph\":[{\"name\":\"Π⁰₁ classes and degrees of theories\",\"url\":\"https://www.hugmap.com/entity/paper/paper_W1554860413/technologies\",\"@type\":\"ScholarlyArticle\",\"headline\":\"Π⁰₁ classes and degrees of theories\",\"datePublished\":\"1972-01-01\",\"isPartOf\":{\"@type\":\"Periodical\",\"name\":\"Transactions of the American Mathematical Society\"}},{\"@type\":\"CollectionPage\",\"name\":\"Π⁰₁ classes and degrees of theories 相关技术\",\"description\":\"Π⁰₁ classes and degrees of theories 在 HugMap 中的相关技术，共 1 条，含结构化关联信息与详情链接。\",\"url\":\"https://www.hugmap.com/entity/paper/paper_W1554860413/technologies\",\"inLanguage\":\"zh-CN\"},{\"@type\":\"BreadcrumbList\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"首页\",\"item\":\"https://www.hugmap.com/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"论文\",\"item\":\"https://www.hugmap.com/search?type=paper\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Π⁰₁ classes and degrees of theories\",\"item\":\"https://www.hugmap.com/entity/paper/paper_W1554860413\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"相关技术\",\"item\":\"https://www.hugmap.com/entity/paper/paper_W1554860413/technologies\"}]}]}","name","Π⁰₁ classes and degrees of theories","nameZh","aliases","description","descriptionZh","status","active","externalIds","{\"openalex\":\"W1554860413\",\"doi\":\"10.1090/s0002-9947-1972-0316227-0\"}","properties","source","openalex","createdAt","2026-05-20T04:56:55.221059272","updatedAt","2026-05-20T04:56:55.233441515","doi","10.1090/s0002-9947-1972-0316227-0","arxivId","openalexId","W1554860413","title","abstractText","Using the methods of recursive function theory we derive several results about the degrees of unsolvability of members of certain Π 1 0 \\Pi _1^0 classes of functions (i.e. degrees of branches of certain recursive trees). As a special case we obtain information on the degrees of consistent extensions of axiomatizable theories, in particular effectively inseparable theories such as Peano arithmetic, P {\\mathbf {P}} . For example: THEOREM 1. If a degree a {\\mathbf {a}} contains a complete extension of P {\\mathbf {P}} , then every countable partially ordered set can be embedded in the ordering of degrees ⩽ a \\leqslant {\\mathbf {a}} . (This strengthens a result of Scott and Tennenbaum that no such degree a {\\mathbf {a}} is a minimal degree.) THEOREM 2. If T {\\mathbf {T}} is an axiomatizable, essentially undecidable theory, and if { a n } \\{ {{\\mathbf {a}}_n}\\} is a countable sequence of nonzero degrees, then T {\\mathbf {T}} has continuum many complete extensions whose degrees are pairwise incomparable and incomparable with each a n {{\\mathbf {a}}_n} . THEOREM 3. There is a complete extension T ","publishedDate","1972-01-01","publishedYear",1972,"venue","Transactions of the American Mathematical Society","citationCount",352,"authors","keywords",[70,71,72],"pdfUrl","topVenue",false,"displayName","displayDescription","Computability, Logic, AI Algorithms","semigroups and automata theory","Logic, programming, and type systems","mutations",[],"queries",[77],{"_78":79,"_80":81,"_82":83,"_84":85},"dehydratedAt",1780653936819,"state",{"_87":88,"_89":26,"_90":91,"_92":-5,"_93":94,"_95":94,"_96":94,"_97":-5,"_98":-5,"_99":67,"_35":100,"_101":102},"queryKey",[86,19,14,16],"queryHash","[\"portal\",\"entity\",\"paper\",\"paper_W1554860413\"]","portal","data",{"_19":20,"_103":104,"_105":106,"_107":108,"_109":110,"_18":111,"_62":112},"dataUpdateCount","dataUpdatedAt",1780653936818,"error","errorUpdateCount",0,"errorUpdatedAt","fetchFailureCount","fetchFailureReason","fetchMeta","isInvalidated","success","fetchStatus","idle","entityType","Paper","taxonomies",[149,150,151],"events",[],"articles",[],[134],[113,114],{"_15":129,"_29":130,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":131,"_39":-5,"_40":41,"_42":132,"_44":133,"_120":-5,"_51":-5,"_121":-5,"_122":-5,"_123":-5,"_60":-5,"_124":-5,"_125":-5,"_126":-5,"_127":-5,"_128":-5,"_68":130,"_69":-5},{"_15":115,"_29":116,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":117,"_39":-5,"_40":41,"_42":118,"_44":119,"_120":-5,"_51":-5,"_121":-5,"_122":-5,"_123":-5,"_60":-5,"_124":-5,"_125":-5,"_126":-5,"_127":-5,"_128":-5,"_68":116,"_69":-5},"person_A5008417331","Carl G. Jockusch","{\"openalex\":\"A5008417331\"}","2026-05-20T04:56:55.68183479","2026-05-22T10:17:23.206922523","orcid","affiliation","researchArea","paperCount","homepage","linkedin","twitter","github","hindex","person_A5023422267","Robert I. Soare","{\"openalex\":\"A5023422267\"}","2026-05-14T06:35:23.179348132","2026-05-22T01:10:02.285834202",{"_15":135,"_29":70,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":136,"_39":-5,"_40":137,"_42":138,"_44":139,"_140":141,"_142":143,"_144":-5,"_145":146,"_147":-5,"_123":-5,"_148":-5,"_68":70,"_69":-5},"tech_oa_T12002","{\"taxonomy_id\":\"tax_rd_T12002\"}","openalex_topics","2026-05-17T09:00:10.311850884","2026-05-17T09:00:10.311853689","techType","algorithm","domain","Physical Sciences","proposedYear","maturityLevel","growing","wikipediaUrl","patentCount",{"_15":176,"_29":70,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":177,"_39":-5,"_40":41,"_42":178,"_44":179,"_156":157,"_158":-5,"_159":160,"_161":162,"_163":180,"_165":94,"_166":167,"_168":94,"_169":-5,"_68":70,"_69":-5},{"_15":170,"_29":72,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":171,"_39":-5,"_40":41,"_42":172,"_44":173,"_156":157,"_158":-5,"_159":160,"_161":174,"_163":175,"_165":94,"_166":167,"_168":94,"_169":-5,"_68":72,"_69":-5},{"_15":152,"_29":71,"_31":-5,"_32":-5,"_33":-5,"_34":-5,"_35":36,"_37":153,"_39":-5,"_40":41,"_42":154,"_44":155,"_156":157,"_158":-5,"_159":160,"_161":162,"_163":164,"_165":94,"_166":167,"_168":94,"_169":-5,"_68":71,"_69":-5},"tax_rd_T11567","{\"openalex_topic\":\"T11567\"}","2026-05-14T00:42:06.251901091","2026-05-23T12:16:12.207879084","taxonomyType","RESEARCH_DOMAIN","code","level",3,"parentId","tax_rd_1703","path","Physical Sciences/Computer Science/Computational Theory and Mathematics/semigroups and automata theory","sortOrder","isLeaf",true,"entityCount","children","tax_rd_T10126","{\"openalex_topic\":\"T10126\"}","2026-05-14T00:39:43.332380947","2026-05-23T12:37:30.267769669","tax_rd_1702","Physical Sciences/Computer Science/Artificial Intelligence/Logic, programming, and type systems","tax_rd_T12002","{\"openalex_topic\":\"T12002\"}","2026-05-14T00:29:00.204784439","2026-05-23T12:15:51.244202324","Physical Sciences/Computer Science/Computational Theory and Mathematics/Computability, Logic, AI Algorithms",{"_73":182,"_75":183},[],[184],{"_78":185,"_80":186,"_82":187,"_84":188},1780653936031,{"_87":190,"_89":26,"_90":185,"_92":-5,"_93":94,"_95":94,"_96":94,"_97":-5,"_98":-5,"_99":67,"_35":100,"_101":102},[86,189],"[\"portal\",\"industries\"]","industries",[191,192,193,194,195,196,197,198,199,200,201,202],{"_15":254,"_29":255,"_31":-5,"_32":256,"_33":257,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":206,"_42":-5,"_44":-5,"_156":207,"_158":-5,"_159":26,"_161":208,"_163":258,"_165":94,"_166":67,"_168":94,"_169":-5,"_68":255,"_69":257},{"_15":250,"_29":251,"_31":-5,"_32":-5,"_33":252,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":206,"_42":-5,"_44":-5,"_156":207,"_158":-5,"_159":26,"_161":208,"_163":253,"_165":94,"_166":67,"_168":94,"_169":-5,"_68":251,"_69":252},{"_15":244,"_29":245,"_31":-5,"_32":246,"_33":247,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":206,"_42":-5,"_44":-5,"_156":207,"_158":-5,"_159":26,"_161":208,"_163":248,"_165":94,"_166":67,"_168":94,"_169":-5,"_68":245,"_69":247},{"_15":240,"_29":241,"_31":-5,"_32":-5,"_33":242,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":206,"_42":-5,"_44":-5,"_156":207,"_158":-5,"_159":26,"_161":208,"_163":243,"_165":94,"_166":67,"_168":94,"_169":-5,"_68":241,"_69":242},{"_15":236,"_29":237,"_31":-5,"_32":-5,"_33":238,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":206,"_42":-5,"_44":-5,"_156":207,"_158":-5,"_159":26,"_161":208,"_163":239,"_165":94,"_166":67,"_168":94,"_169":-5,"_68":237,"_69":238},{"_15":230,"_29":231,"_31":-5,"_32":232,"_33":233,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":206,"_42":-5,"_44":-5,"_156":207,"_158":-5,"_159":26,"_161":208,"_163":234,"_165":94,"_166":67,"_168":94,"_169":-5,"_68":231,"_69":233},{"_15":226,"_29":227,"_31":-5,"_32":-5,"_33":228,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":206,"_42":-5,"_44":-5,"_156":207,"_158":-5,"_159":26,"_161":208,"_163":229,"_165":94,"_166":167,"_168":94,"_169":-5,"_68":227,"_69":228},{"_15":222,"_29":223,"_31":-5,"_32":-5,"_33":224,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":206,"_42":-5,"_44":-5,"_156":207,"_158":-5,"_159":26,"_161":208,"_163":225,"_165":94,"_166":67,"_168":94,"_169":-5,"_68":223,"_69":224},{"_15":218,"_29":219,"_31":-5,"_32":-5,"_33":220,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":206,"_42":-5,"_44":-5,"_156":207,"_158":-5,"_159":26,"_161":208,"_163":221,"_165":94,"_166":67,"_168":94,"_169":-5,"_68":219,"_69":220},{"_15":214,"_29":215,"_31":-5,"_32":-5,"_33":216,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":206,"_42":-5,"_44":-5,"_156":207,"_158":-5,"_159":26,"_161":208,"_163":217,"_165":94,"_166":67,"_168":94,"_169":-5,"_68":215,"_69":216},{"_15":210,"_29":211,"_31":-5,"_32":-5,"_33":212,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":206,"_42":-5,"_44":-5,"_156":207,"_158":-5,"_159":26,"_161":208,"_163":213,"_165":94,"_166":67,"_168":94,"_169":-5,"_68":211,"_69":212},{"_15":203,"_29":204,"_31":-5,"_32":-5,"_33":205,"_34":-5,"_35":36,"_37":-5,"_39":-5,"_40":206,"_42":-5,"_44":-5,"_156":207,"_158":-5,"_159":26,"_161":208,"_163":209,"_165":94,"_166":67,"_168":94,"_169":-5,"_68":204,"_69":205},"tax_ind_smartphone","智能手机","Smartphone","manual","INDUSTRY","tax_ind_root","科技行业/智能手机","tax_ind_robot","机器人","Robotics","科技行业/机器人","tax_ind_wearable","智能穿戴","Smart Wearables","科技行业/智能穿戴","tax_ind_energy","新能源与智能制造","New Energy & Smart Manufacturing","科技行业/新能源与智能制造","tax_ind_biotech","生物科技","Biotech","科技行业/生物科技","tax_ind_quantum","量子计算","Quantum Computing","科技行业/量子计算","tax_ind_blockchain","区块链",[235],"Blockchain","科技行业/区块链","Web3","tax_ind_enterprise","企业软件","Enterprise Software","科技行业/企业软件","tax_ind_security","网络安全","Cybersecurity","科技行业/网络安全","tax_ind_semi","半导体",[249],"Semiconductor","科技行业/半导体","芯片","tax_ind_cloud","云计算","Cloud Computing","科技行业/云计算","tax_ind_ai","人工智能",[259,260],"Artificial Intelligence","科技行业/人工智能","AI","AI 技术","env",{"_263":24},"SITE_BASE_URL"]

Π⁰₁ classes and degrees of theories 论文

Π⁰₁ classes and degrees of theories · 相关技术

相关技术