巴基斯坦其中Kreisel的猜想是错误的”，“display_name”：“理论非常接近巴基斯坦其中Kreisel的猜想为假“，”publication_year“：2007，”publiation_date“：”2007-03-01“，”ids“：{”openalex“：”https://openalex.org/W2015507170“，”doi“：”https://doi.org/10.2178/jsl/1174668388“，”mag“：”2015507170“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2178/jsl/1174668388“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S177675236“，”display_name“：”\u0098The \u009cJournal of symbolic logic/\u0098 The \u099cjournal of simbolic logic“，”issn_l“：”0022-4812“，”isn“：[”0022-48012“，“1943-5886”]，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：nully，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access’：{”is_oa“：false，”“oa_status”：“closed”，“oa_url”：空，“any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5090813486“，”display_name“：”Pavel Hrube\u0161“，”orcid“：”https://orcid.org/0000-0002-8823-0673“}，”机构“：[]，”国家“：[[]，”is_corresponding“：true，”raw_author_name“：”Pavel Hrube\u0161“，”raw_affiliation_strings“：[]，“从属关系”：[]}]，“countries_distiction_count”：0，“institutions_distinact_count“：0，”corresponding_author_ids“：[”https://openalex.org/A5090813486“]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc _ paid“：null，”has _ fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：3，”citecd_by_percentile_year“：{”min“：77，”max“：79}，”biblio“：{“volume”：“72”，”issue“：”1“，”first_page“：”123“，”last_page“：“137”}，“is_retracted”：false，”is _paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9998，”subfield“：{”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9998，”subfield“：{”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10304“，”display_name“：”辛拓扑和结不变量“，”score“：0.996，”subfield“：{”id“：”https://openalex.org/subfields/2608“，”display_name“：”几何和拓扑“}，”字段“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10588“，”display_name“：”动力学系统与混沌理论“，”score“：0.979，”subfield“：｛”id“：”https://openalex.org/subfields/2610“，”display_name“：”数学物理“}，”字段“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/combinatics-on-words网站“，”display_name“：”单词组合学“，”score“：0.448307}]，”concepts“：[{”id“：”https://openalex.org/C2780990831，“wikidata”：https://www.wikidata.org/wiki/Q319141“，”display_name“：”推测“，”级别“：2，”分数“：0.658612}，{”id“：”https://openalex.org/C169654258，“wikidata”：https://www.wikidata.org/wiki/Q12479“，”display_name“：”数论“，”level“：2，”score“：0.54652166}，{”id“：”https://openalex.org/C162838799，“wikidata”：https://www.wikidata.org/wiki/Q596077“，”display_name“：”反例“，”level“：2，”score“：0.521845}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.49394566｝，｛”id“：”https://openalex.org/C167729594，“wikidata”：https://www.wikidata.org/wiki/Q17736“，”display_name“：”Axiom“，”level“：2，”score“：0.46257403}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.45864895}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”等级“：0，”分数“：0.40769607}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.36884874}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.08946431}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.2178/jsl/1174668388“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S177675236“，”display_name“：”\u0098The \u009cJournal of symbolic logic/\u0098 The \u099cjournal of simbolic logic“，”issn_l“：”0022-4812“，”isn“：[”0022-48012“，“1943-5886”]，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，”type“：”journal“}，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：null，”sustainable_development_goals“：[]，”grants“：[]，”dataset“：[]，”version“：[]，”referenced_works_count“：6，”referenced_works“：[”https://openalex.org/W1975548675","https://openalex.org/W2021130653","https://openalex.org/W2078618964","https://openalex.org/W2081160992","https://openalex.org/W2097729674","https://openalex.org/W2290178991“]，”related_works“：[”https://openalex.org/W4385681624","https://openalex.org/W4309222106","https://openalex.org/W4298858221","https://openalex.org/W4297939726","https://openalex.org/W4240581084","https://openalex.org/W2952569802","https://openalex.org/W2950489642","https://openalex.org/W2049141591","https://openalex.org/W2012590989","https://openalex.org/W1734188852“]，”ngrams_url“：”https://api.openalex.org/works/W2015507170/ngrams网站“，”abstract_inverted_index“：{”abstract“：[0]，”We“：[1]，”give“：[2]，”four“：[3]，”examples“：[4]，”of“：[5,28,62]，”理论“：[6]，”in“：[7]，”which“：[8]，”Kreisel’s“：[9116]，”推测“：[10]，”is“：[11,99]，”false:“：[12]，”（1）“：[13]，”the“：[14,26,32,59,6]5,88112]，“理论”：[15,60,66,89]，“PA（-）”：[16]，“获得”：[17,68]，“依据”：[18,69]，“加法”：[19,70]，“a“：[20,71,92100109]，”函数“：[21,72]，”符号“：[22,73]，”减号“：[23]，”u2018\u2014\u2019，“：[24]，”to“：[25,79111]，”语言“：[27]，”PA“：[29,80]，”，“：[30,81]，”and“：[31]，”公理“：[33]，”\u2200x\u2200y\ u2200z“：[34]，”（“：[35,43,50]，”x“：[36,44,51,98]，“\u2212”：[37]，“y”：[38,46,53]，“=”：[39,45,56]，“z”：[40,48,55]，“）”：[41]，“\ u2261”：[42]，“+”：[47]，“\f2228”：[49]，“<“：[52]，”\u2227“：[54]，”0））；“：[57]，”（2）“：[58]，”L“：[61]，”整数；“：[63]，”“（3）”“：[64]，”PA（q）“：[67]，”q“：[74,85]，”（of“：[75]，”arity“：[76]，”\u2265“：[77]，”1）“：%78]，”假设“：[82]，”无“：[83]，”关于“：[84]，”；“：[86]，”“（4）”“：[87]，”PA（N）“：[90]，”包含“：[91]，”一元“：[93]，”谓词“：[94]，”N反例“：[110]，”so“：[113]，”called“：114]，”Sharpened“：[115]，”Conjecture。“：[117]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2015507170”，“counts_by_year”：[｛“year”：2021，“cited_by_count”：2｝]，“updated_date”：“2024-06-18T12:23:04.739658”，“created_date”：“2016-06-24”｝