{"id":"https://openalex.org/W2137859318","doi":"https://doi.org/10.2178/jsl/1309952528","title":"Strengthening prompt simplicity","display_name":"Strengthening prompt simplicity","publication_year":2011,"publication_date":"2011-07-06","ids":{"openalex":"https://openalex.org/W2137859318","doi":"https://doi.org/10.2178/jsl/1309952528","mag":"2137859318"},"language":"en","primary_location":{"id":"doi:10.2178/jsl/1309952528","is_oa":false,"landing_page_url":"https://doi.org/10.2178/jsl/1309952528","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Journal of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5047345771","display_name":"David Diamondstone","orcid":null},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"David Diamondstone","raw_affiliation_strings":["University of Chicago, 5734 S. University Avenue, Chicago, Illinois 60637, USA, E-mail:","University-of Chicago"],"affiliations":[{"raw_affiliation_string":"University of Chicago, 5734 S. University Avenue, Chicago, Illinois 60637, USA, E-mail:","institution_ids":["https://openalex.org/I40347166"]},{"raw_affiliation_string":"University-of Chicago","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061690819","display_name":"Keng Meng Ng","orcid":"https://orcid.org/0000-0002-7113-0596"},"institutions":[{"id":"https://openalex.org/I1304256225","display_name":"University of Wisconsin System","ror":"https://ror.org/03ydkyb10","country_code":"US","type":"education","lineage":["https://openalex.org/I1304256225"]},{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Keng Meng Ng","raw_affiliation_strings":["University of Wisconsin, 480 Lincoln Drive, Madison, Wisconsin 53706, USA, E-mail:","University of Wisconsin \u2013,"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin, 480 Lincoln Drive, Madison, Wisconsin 53706, USA, E-mail:","institution_ids":["https://openalex.org/I135310074","https://openalex.org/I1304256225"]},{"raw_affiliation_string":"University of Wisconsin \u2013,","institution_ids":["https://openalex.org/I135310074"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5047345771"],"corresponding_institution_ids":["https://openalex.org/I40347166"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16738181,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"76","issue":"3","first_page":"946","last_page":"972"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9904000163078308,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13720","display_name":"Benford\u2019s Law and Fraud Detection","score":0.9872999787330627,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.7167590856552124},{"id":"https://openalex.org/keywords/simplicity","display_name":"Simplicity","score":0.7149880528450012},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6275745630264282},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.6054282188415527},{"id":"https://openalex.org/keywords/turing","display_name":"Turing","score":0.5590813159942627},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.5270338654518127},{"id":"https://openalex.org/keywords/degree","display_name":"Degree (music)","score":0.498218297958374},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.49254927039146423},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4805610477924347},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4792775809764862},{"id":"https://openalex.org/keywords/join","display_name":"Join (topology)","score":0.4414554834365845},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4236259162425995},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.39497488737106323},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.18608585000038147},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09358879923820496},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.08371615409851074},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.05847015976905823}],"concepts":[{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.7167590856552124},{"id":"https://openalex.org/C2776372474","wikidata":"https://www.wikidata.org/wiki/Q508291","display_name":"Simplicity","level":2,"score":0.7149880528450012},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6275745630264282},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.6054282188415527},{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.5590813159942627},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5270338654518127},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.498218297958374},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.49254927039146423},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4805610477924347},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4792775809764862},{"id":"https://openalex.org/C2776124973","wikidata":"https://www.wikidata.org/wiki/Q3183033","display_name":"Join (topology)","level":2,"score":0.4414554834365845},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4236259162425995},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39497488737106323},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.18608585000038147},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09358879923820496},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.08371615409851074},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.05847015976905823},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2178/jsl/1309952528","is_oa":false,"landing_page_url":"https://doi.org/10.2178/jsl/1309952528","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Journal of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1309952528","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1309952528","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W23157471","https://openalex.org/W1579696469","https://openalex.org/W1967437451","https://openalex.org/W1972698222","https://openalex.org/W1976647442","https://openalex.org/W1997555168","https://openalex.org/W2004364799","https://openalex.org/W2015069877","https://openalex.org/W2029116149","https://openalex.org/W2128325320","https://openalex.org/W2143900969","https://openalex.org/W2171441747","https://openalex.org/W6643402138"],"related_works":["https://openalex.org/W2368019753","https://openalex.org/W2333930193","https://openalex.org/W2737356002","https://openalex.org/W2246241526","https://openalex.org/W2374150061","https://openalex.org/W4301122218","https://openalex.org/W2081340182","https://openalex.org/W2369703001","https://openalex.org/W2372323577","https://openalex.org/W2321432690"],"abstract_inverted_index":{"Abstract":[0],"We":[1,32,147],"introduce":[2],"a":[3,25,48,65,78,118,141,160],"natural":[4],"strengthening":[5],"of":[6,29,86,100,159],"prompt":[7,37,94,120,142],"simplicity":[8],"which":[9,58,76,122,144],"we":[10,69,90,110,168],"call":[11],"strong":[12,44],"promptness,":[13,104],"and":[14,52,68,106],"study":[15,91,149],"its":[16],"relationship":[17],"with":[18,136,177],"existing":[19],"lowness":[20,153],"classes.":[21],"This":[22],"notion":[23,80],"provides":[24],"\u2264":[26],"wtt":[27],"version":[28],"superlow":[30,41,60,87],"cuppability.":[31,88],"show":[33,70,111],"that":[34,71,112,132,152],"every":[35,113,133,178],"strongly":[36,93,119],"c.e.":[38,95,173,180],"set":[39,121,143,161,174,181],"is":[40,46,64,182],"cuppable.":[42,61],"Unfortunately,":[43],"promptness":[45],"not":[47],"Turing":[49],"degree":[50],"notion,":[51,67],"so":[53],"cannot":[54],"characterize":[55],"the":[56,74,84,92,98,129,137,150,157,163],"sets":[57,96],"are":[59],"However,":[62],"it":[63,72],"wtt-degree":[66,79],"characterizes":[73],"degrees":[75],"satisfy":[77],"very":[81],"close":[82],"to":[83,128],"definition":[85],"Further,":[89],"in":[97],"context":[99],"other":[101],"notions":[102],"related":[103],"superlowness,":[105],"cupping.":[107],"In":[108,166],"particular,":[109],"benign":[114],"cost":[115,134],"function":[116,135],"has":[117,140],"obeys":[123,145],"it,":[124],"providing":[125],"an":[126,170],"analogue":[127],"known":[130],"result":[131],"limit":[138],"condition":[139],"it.":[146],"also":[148],"effect":[151],"properties":[154],"have":[155],"on":[156],"behaviour":[158],"under":[162],"join":[164,176],"operator.":[165],"particular":[167],"construct":[169],"array":[171],"noncomputable":[172],"whose":[175],"low":[179],"low.":[183]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}