[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8,"_9":10},"actionData","errors","root",{"_272":273},"routes/_layout",{"_11":182},"routes/entity.$type.$id",{"_11":12,"_13":14,"_15":16,"_17":-5,"_18":19,"_20":21,"_22":23,"_24":-7,"_25":26},"dehydratedState",{"_57":58,"_59":60},"type","person","id","person_A5008417331","section","entity",{"_15":16,"_27":28,"_29":-5,"_30":-5,"_31":-5,"_32":-5,"_33":34,"_35":36,"_37":-5,"_38":39,"_40":41,"_42":43,"_44":-5,"_45":-5,"_46":-5,"_47":-5,"_48":-5,"_49":-5,"_50":-5,"_51":-5,"_52":-5,"_53":-5,"_54":-5,"_55":28,"_56":-5},"canonical","https://www.hugmap.com/entity/person/person_A5008417331","siteBaseUrl","https://www.hugmap.com","sectionCount","jsonLd","{\"@context\":\"https://schema.org\",\"@graph\":[{\"name\":\"Carl G. Jockusch\",\"url\":\"https://www.hugmap.com/entity/person/person_A5008417331\",\"@type\":\"Person\",\"jobTitle\":null},{\"@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=person\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Carl G. Jockusch\",\"item\":\"https://www.hugmap.com/entity/person/person_A5008417331\"}]}]}","name","Carl G. Jockusch","nameZh","aliases","description","descriptionZh","status","active","externalIds","{\"openalex\":\"A5008417331\"}","properties","source","openalex","createdAt","2026-05-20T04:56:55.68183479","updatedAt","2026-05-22T10:17:23.206922523","orcid","title","affiliation","researchArea","paperCount","citationCount","homepage","linkedin","twitter","github","hindex","displayName","displayDescription","mutations",[],"queries",[61],{"_62":63,"_64":65,"_66":67,"_68":69},"dehydratedAt",1780502501858,"state",{"_71":72,"_73":74,"_75":63,"_76":-5,"_77":78,"_79":78,"_80":78,"_81":-5,"_82":-5,"_83":84,"_33":85,"_86":87},"queryKey",[70,18,14,16],"queryHash","[\"portal\",\"entity\",\"person\",\"person_A5008417331\"]","portal","data",{"_18":19,"_88":89,"_90":91,"_92":93,"_94":95,"_96":97,"_98":99,"_100":101},"dataUpdateCount",1,"dataUpdatedAt","error","errorUpdateCount",0,"errorUpdatedAt","fetchFailureCount","fetchFailureReason","fetchMeta","isInvalidated",false,"success","fetchStatus","idle","entityType","Person","taxonomies",[],"papers",[138,139],"companies",[102,103],"events",[],"patents",[],"articles",[],{"_15":127,"_27":128,"_29":-5,"_30":129,"_31":-5,"_32":-5,"_33":34,"_35":130,"_37":-5,"_38":39,"_40":131,"_42":132,"_110":111,"_112":-5,"_113":133,"_114":115,"_116":-5,"_117":-5,"_118":-5,"_119":-5,"_120":134,"_121":-5,"_122":-5,"_123":-5,"_55":128,"_56":-5},{"_15":104,"_27":105,"_29":-5,"_30":106,"_31":-5,"_32":-5,"_33":34,"_35":107,"_37":-5,"_38":39,"_40":108,"_42":109,"_110":111,"_112":-5,"_113":-5,"_114":115,"_116":-5,"_117":-5,"_118":-5,"_119":-5,"_120":-5,"_121":-5,"_122":-5,"_123":-5,"_55":105,"_56":-5},"company_I157725225","University of Illinois Urbana-Champaign",[124,125,105,126],"{\"ror\":\"047426m28\",\"openalex\":\"I157725225\",\"wikidata\":\"Q457281\"}","2026-05-14T00:29:43.402926617","2026-06-01T04:18:02.724028355","companyType","UNIVERSITY","foundedDate","headquarters","country","US","employeeCount","fundingStage","totalFunding","valuation","website","stockSymbol","uscc","crunchbaseUrl","Universidad de Illinois en Urbana-Champaign","University of Illinois","Université de l'Illinois à Urbana-Champaign","company_I39422238","University of Illinois Chicago",[128,135,136,137],"{\"ror\":\"02mpq6x41\",\"openalex\":\"I39422238\"}","2026-05-14T00:33:07.297627223","2026-06-01T04:26:40.68036933","Chicago, United States","https://www.uic.edu","University of Illinois at Chicago","University of Illinois at Chicago Circle","Université de l'illinois à chicago",{"_15":168,"_27":169,"_29":-5,"_30":-5,"_31":-5,"_32":-5,"_33":34,"_35":170,"_37":-5,"_38":39,"_40":171,"_42":172,"_145":173,"_147":-5,"_148":174,"_45":169,"_150":175,"_152":176,"_154":177,"_156":157,"_49":178,"_159":-5,"_160":179,"_162":-5,"_164":84,"_55":169,"_56":-5},{"_15":140,"_27":141,"_29":-5,"_30":-5,"_31":-5,"_32":-5,"_33":34,"_35":142,"_37":-5,"_38":39,"_40":143,"_42":144,"_145":146,"_147":-5,"_148":149,"_45":141,"_150":151,"_152":153,"_154":155,"_156":157,"_49":158,"_159":-5,"_160":161,"_162":163,"_164":84,"_55":141,"_56":-5},"paper_W2037662783","Semirecursive sets and positive reducibility","{\"openalex\":\"W2037662783\",\"doi\":\"10.1090/s0002-9947-1968-0220595-7\"}","2026-05-22T10:17:23.199006053","2026-05-22T10:17:23.199008288","doi","10.1090/s0002-9947-1968-0220595-7","arxivId","openalexId","W2037662783","abstractText","If A is a set, A is N-A, where Ais the set of all natural numbers.A is said to be coimmune if A is immune, and similarly for other properties of sets.","publishedDate","1968-01-01","publishedYear",1968,"venue","Transactions of the American Mathematical Society",251,"authors","keywords",[165,166,167],"pdfUrl","https://www.ams.org/tran/1968-131-02/S0002-9947-1968-0220595-7/S0002-9947-1968-0220595-7.pdf","topVenue","Computability, Logic, AI Algorithms","Advanced Topology and Set Theory","Numerical Methods and Algorithms","paper_W1554860413","Π⁰₁ classes and degrees of theories","{\"openalex\":\"W1554860413\",\"doi\":\"10.1090/s0002-9947-1972-0316227-0\"}","2026-05-20T04:56:55.221059272","2026-05-20T04:56:55.233441515","10.1090/s0002-9947-1972-0316227-0","W1554860413","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 ","1972-01-01",1972,352,[165,180,181],"semigroups and automata theory","Logic, programming, and type systems",{"_57":183,"_59":184},[],[185],{"_62":186,"_64":187,"_66":188,"_68":189},1780502501039,{"_71":191,"_73":74,"_75":186,"_76":-5,"_77":78,"_79":78,"_80":78,"_81":-5,"_82":-5,"_83":84,"_33":85,"_86":87},[70,190],"[\"portal\",\"industries\"]","industries",[192,193,194,195,196,197,198,199,200,201,202,203],{"_15":265,"_27":266,"_29":-5,"_30":267,"_31":268,"_32":-5,"_33":34,"_35":-5,"_37":-5,"_38":207,"_40":-5,"_42":-5,"_208":209,"_210":-5,"_211":74,"_212":213,"_214":269,"_216":78,"_217":84,"_218":78,"_219":-5,"_55":266,"_56":268},{"_15":261,"_27":262,"_29":-5,"_30":-5,"_31":263,"_32":-5,"_33":34,"_35":-5,"_37":-5,"_38":207,"_40":-5,"_42":-5,"_208":209,"_210":-5,"_211":74,"_212":213,"_214":264,"_216":78,"_217":84,"_218":78,"_219":-5,"_55":262,"_56":263},{"_15":255,"_27":256,"_29":-5,"_30":257,"_31":258,"_32":-5,"_33":34,"_35":-5,"_37":-5,"_38":207,"_40":-5,"_42":-5,"_208":209,"_210":-5,"_211":74,"_212":213,"_214":259,"_216":78,"_217":84,"_218":78,"_219":-5,"_55":256,"_56":258},{"_15":251,"_27":252,"_29":-5,"_30":-5,"_31":253,"_32":-5,"_33":34,"_35":-5,"_37":-5,"_38":207,"_40":-5,"_42":-5,"_208":209,"_210":-5,"_211":74,"_212":213,"_214":254,"_216":78,"_217":84,"_218":78,"_219":-5,"_55":252,"_56":253},{"_15":247,"_27":248,"_29":-5,"_30":-5,"_31":249,"_32":-5,"_33":34,"_35":-5,"_37":-5,"_38":207,"_40":-5,"_42":-5,"_208":209,"_210":-5,"_211":74,"_212":213,"_214":250,"_216":78,"_217":84,"_218":78,"_219":-5,"_55":248,"_56":249},{"_15":241,"_27":242,"_29":-5,"_30":243,"_31":244,"_32":-5,"_33":34,"_35":-5,"_37":-5,"_38":207,"_40":-5,"_42":-5,"_208":209,"_210":-5,"_211":74,"_212":213,"_214":245,"_216":78,"_217":84,"_218":78,"_219":-5,"_55":242,"_56":244},{"_15":236,"_27":237,"_29":-5,"_30":-5,"_31":238,"_32":-5,"_33":34,"_35":-5,"_37":-5,"_38":207,"_40":-5,"_42":-5,"_208":209,"_210":-5,"_211":74,"_212":213,"_214":239,"_216":78,"_217":240,"_218":78,"_219":-5,"_55":237,"_56":238},{"_15":232,"_27":233,"_29":-5,"_30":-5,"_31":234,"_32":-5,"_33":34,"_35":-5,"_37":-5,"_38":207,"_40":-5,"_42":-5,"_208":209,"_210":-5,"_211":74,"_212":213,"_214":235,"_216":78,"_217":84,"_218":78,"_219":-5,"_55":233,"_56":234},{"_15":228,"_27":229,"_29":-5,"_30":-5,"_31":230,"_32":-5,"_33":34,"_35":-5,"_37":-5,"_38":207,"_40":-5,"_42":-5,"_208":209,"_210":-5,"_211":74,"_212":213,"_214":231,"_216":78,"_217":84,"_218":78,"_219":-5,"_55":229,"_56":230},{"_15":224,"_27":225,"_29":-5,"_30":-5,"_31":226,"_32":-5,"_33":34,"_35":-5,"_37":-5,"_38":207,"_40":-5,"_42":-5,"_208":209,"_210":-5,"_211":74,"_212":213,"_214":227,"_216":78,"_217":84,"_218":78,"_219":-5,"_55":225,"_56":226},{"_15":220,"_27":221,"_29":-5,"_30":-5,"_31":222,"_32":-5,"_33":34,"_35":-5,"_37":-5,"_38":207,"_40":-5,"_42":-5,"_208":209,"_210":-5,"_211":74,"_212":213,"_214":223,"_216":78,"_217":84,"_218":78,"_219":-5,"_55":221,"_56":222},{"_15":204,"_27":205,"_29":-5,"_30":-5,"_31":206,"_32":-5,"_33":34,"_35":-5,"_37":-5,"_38":207,"_40":-5,"_42":-5,"_208":209,"_210":-5,"_211":74,"_212":213,"_214":215,"_216":78,"_217":84,"_218":78,"_219":-5,"_55":205,"_56":206},"tax_ind_smartphone","智能手机","Smartphone","manual","taxonomyType","INDUSTRY","code","level","parentId","tax_ind_root","path","科技行业/智能手机","sortOrder","isLeaf","entityCount","children","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","科技行业/量子计算",true,"tax_ind_blockchain","区块链",[246],"Blockchain","科技行业/区块链","Web3","tax_ind_enterprise","企业软件","Enterprise Software","科技行业/企业软件","tax_ind_security","网络安全","Cybersecurity","科技行业/网络安全","tax_ind_semi","半导体",[260],"Semiconductor","科技行业/半导体","芯片","tax_ind_cloud","云计算","Cloud Computing","科技行业/云计算","tax_ind_ai","人工智能",[270,271],"Artificial Intelligence","科技行业/人工智能","AI","AI 技术","env",{"_274":23},"SITE_BASE_URL"]

Carl G. Jockusch 人物

相关论文查看全部 (2)

相关公司查看全部 (2)

相关事件

相关专利

相关文章