{"id":"https://openalex.org/W2900822507","doi":"https://doi.org/10.1002/malq.201700034","title":"Short refutations for an equivalence\u2010chain principle for constant\u2010depth formulas","display_name":"Short refutations for an equivalence\u2010chain principle for constant\u2010depth formulas","publication_year":2018,"publication_date":"2018-11-20","ids":{"openalex":"https://openalex.org/W2900822507","doi":"https://doi.org/10.1002/malq.201700034","mag":"2900822507"},"language":"en","primary_location":{"id":"doi:10.1002/malq.201700034","is_oa":true,"landing_page_url":"https://doi.org/10.1002/malq.201700034","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/malq.201700034","source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/malq.201700034","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067079243","display_name":"Sam Buss","orcid":"https://orcid.org/0000-0003-3837-334X"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Sam Buss","raw_affiliation_strings":["Department of Mathematics University of California San Diego, 9500 Gilman Dr. La Jolla CA 92093\u20100112 United States of America","Department of Mathematics, University of California, San Diego, 9500 Gilman Dr., La Jolla, CA, 92093-0112 United States of America"],"raw_orcid":"https://orcid.org/0000-0003-3837-334X","affiliations":[{"raw_affiliation_string":"Department of Mathematics University of California San Diego, 9500 Gilman Dr. La Jolla CA 92093\u20100112 United States of America","institution_ids":["https://openalex.org/I36258959"]},{"raw_affiliation_string":"Department of Mathematics, University of California, San Diego, 9500 Gilman Dr., La Jolla, CA, 92093-0112 United States of America","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034060796","display_name":"Ramyaa Ramyaa","orcid":"https://orcid.org/0000-0002-4343-535X"},"institutions":[{"id":"https://openalex.org/I207123951","display_name":"New Mexico Institute of Mining and Technology","ror":"https://ror.org/005p9kw61","country_code":"US","type":"education","lineage":["https://openalex.org/I207123951"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ramyaa Ramyaa","raw_affiliation_strings":["Department of Computer Science & Engineering New Mexico Tech 801 Leroy Place Socorro NM 87801 United States of America","Department of Computer Science & Engineering, New Mexico Tech, 801 Leroy Place, Socorro, NM, 87801 United States of America"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science & Engineering New Mexico Tech 801 Leroy Place Socorro NM 87801 United States of America","institution_ids":["https://openalex.org/I207123951"]},{"raw_affiliation_string":"Department of Computer Science & Engineering, New Mexico Tech, 801 Leroy Place, Socorro, NM, 87801 United States of America","institution_ids":["https://openalex.org/I207123951"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5034060796","https://openalex.org/A5067079243"],"corresponding_institution_ids":["https://openalex.org/I207123951","https://openalex.org/I36258959"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":{"value":2630,"currency":"USD","value_usd":2630},"fwci":0.206,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.57374573,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":"64","issue":"6","first_page":"505","last_page":"513"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9172999858856201,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.9172999858856201,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.841866135597229},{"id":"https://openalex.org/keywords/lemma","display_name":"Lemma (botany)","score":0.7996900677680969},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.7506996393203735},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.7394949793815613},{"id":"https://openalex.org/keywords/resolution","display_name":"Resolution (logic)","score":0.5643962621688843},{"id":"https://openalex.org/keywords/chain","display_name":"Chain (unit)","score":0.47480928897857666},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4220188558101654},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4197455048561096},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.37078791856765747},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3375491499900818},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.06822222471237183},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.05545702576637268},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.05387753248214722},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.0470367968082428}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.841866135597229},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.7996900677680969},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.7506996393203735},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7394949793815613},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.5643962621688843},{"id":"https://openalex.org/C199185054","wikidata":"https://www.wikidata.org/wiki/Q552299","display_name":"Chain (unit)","level":2,"score":0.47480928897857666},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4220188558101654},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4197455048561096},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.37078791856765747},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3375491499900818},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.06822222471237183},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.05545702576637268},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.05387753248214722},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0470367968082428},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C46757340","wikidata":"https://www.wikidata.org/wiki/Q43238","display_name":"Poaceae","level":2,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/malq.201700034","is_oa":true,"landing_page_url":"https://doi.org/10.1002/malq.201700034","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/malq.201700034","source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1002/malq.201700034","is_oa":true,"landing_page_url":"https://doi.org/10.1002/malq.201700034","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/malq.201700034","source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.41999998688697815,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[{"id":"https://openalex.org/G2565027824","display_name":null,"funder_award_id":"CCR\u20101213151","funder_id":"https://openalex.org/F4320337387","funder_display_name":"Division of Computing and Communication Foundations"},{"id":"https://openalex.org/G7252055840","display_name":null,"funder_award_id":"CCR-1213151","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306164","display_name":"Simons Foundation","ror":"https://ror.org/01cmst727"},{"id":"https://openalex.org/F4320334164","display_name":"Simons Institute for the Theory of Computing, University of California Berkeley","ror":null},{"id":"https://openalex.org/F4320337387","display_name":"Division of Computing and Communication Foundations","ror":"https://ror.org/01mng8331"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2900822507.pdf","grobid_xml":"https://content.openalex.org/works/W2900822507.grobid-xml"},"referenced_works_count":6,"referenced_works":["https://openalex.org/W1966303481","https://openalex.org/W1991886545","https://openalex.org/W2028861313","https://openalex.org/W2165293955","https://openalex.org/W2167477884","https://openalex.org/W2175296692"],"related_works":["https://openalex.org/W2808944898","https://openalex.org/W3196207352","https://openalex.org/W2951724202","https://openalex.org/W3084261076","https://openalex.org/W1996614773","https://openalex.org/W3006682748","https://openalex.org/W4387820098","https://openalex.org/W1998171255","https://openalex.org/W4221036368","https://openalex.org/W2083975113"],"abstract_inverted_index":{"Abstract":[0],"We":[1,27,75],"consider":[2],"tautologies":[3],"expressing":[4],"equivalence\u2010chain":[5,45],"properties":[6],"in":[7,88],"the":[8,33,37,44,84],"spirit":[9],"of":[10,36],"Thapen":[11],"and":[12,22,43,71],"Kraj\u00ed\u010dek,":[13],"which":[14],"are":[15,47],"candidates":[16],"for":[17,67],"exponentially":[18],"separating":[19,68],"depth":[20,23,69,72],"k":[21,70],"Frege":[24],"proof":[25],"systems.":[26,74],"formulate":[28],"a":[29],"special":[30,51],"case":[31,52],"where":[32],"initial":[34],"member":[35],"equivalence":[38],"chain":[39],"is":[40,53],"fully":[41],"specified":[42],"implications":[46],"actually":[48],"equivalences.":[49],"This":[50],"shown":[54],"to":[55,57],"lead":[56],"polynomial":[58],"size":[59],"resolution":[60],"refutations.":[61],"Thus":[62],"it":[63],"cannot":[64],"be":[65],"used":[66],"propositional":[73,86],"state":[76],"some":[77],"H\u00e5stad":[78],"switching":[79],"lemma":[80],"conditions":[81],"that":[82],"restrict":[83],"possible":[85],"proofs":[87],"more":[89],"general":[90],"situations.":[91]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}