{"id":"https://openalex.org/W1588701573","doi":"https://doi.org/10.1145/3149822","title":"An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic","display_name":"An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic","publication_year":2017,"publication_date":"2017-10-31","ids":{"openalex":"https://openalex.org/W1588701573","doi":"https://doi.org/10.1145/3149822","mag":"1588701573"},"language":"en","primary_location":{"id":"doi:10.1145/3149822","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3149822","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1205.4802","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5011977613","display_name":"Andreas Krebs","orcid":null},"institutions":[{"id":"https://openalex.org/I8087733","display_name":"University of T\u00fcbingen","ror":"https://ror.org/03a1kwz48","country_code":"DE","type":"education","lineage":["https://openalex.org/I8087733"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Andreas Krebs","raw_affiliation_strings":["Wilhelm-Schickard-Institut, Universit\u00e4t T\u00fcbingen, Germany"],"affiliations":[{"raw_affiliation_string":"Wilhelm-Schickard-Institut, Universit\u00e4t T\u00fcbingen, Germany","institution_ids":["https://openalex.org/I8087733"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084561937","display_name":"Howard Straubing","orcid":null},"institutions":[{"id":"https://openalex.org/I103531236","display_name":"Boston College","ror":"https://ror.org/02n2fzt79","country_code":"US","type":"education","lineage":["https://openalex.org/I103531236"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Howard Straubing","raw_affiliation_strings":["Computer Science Department, Boston College, Massachusetts, USA"],"affiliations":[{"raw_affiliation_string":"Computer Science Department, Boston College, Massachusetts, USA","institution_ids":["https://openalex.org/I103531236"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5011977613"],"corresponding_institution_ids":["https://openalex.org/I8087733"],"apc_list":null,"apc_paid":null,"fwci":0.474,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.63405401,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"18","issue":"4","first_page":"1","last_page":"22"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9998999834060669,"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/T11567","display_name":"semigroups and automata theory","score":0.9998999834060669,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11269","display_name":"Algorithms and Data Compression","score":0.9908000230789185,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/decidability","display_name":"Decidability","score":0.8569512367248535},{"id":"https://openalex.org/keywords/alternation","display_name":"Alternation (linguistics)","score":0.849898099899292},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.7054799795150757},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.6294000744819641},{"id":"https://openalex.org/keywords/quantifier","display_name":"Quantifier (linguistics)","score":0.6030566692352295},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5826589465141296},{"id":"https://openalex.org/keywords/semidirect-product","display_name":"Semidirect product","score":0.554812490940094},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.4759942293167114},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3907012641429901},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.33443596959114075},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.13870802521705627},{"id":"https://openalex.org/keywords/group","display_name":"Group (periodic table)","score":0.13320747017860413},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12120658159255981},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.05279800295829773},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.04869958758354187}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.8569512367248535},{"id":"https://openalex.org/C26826806","wikidata":"https://www.wikidata.org/wiki/Q438358","display_name":"Alternation (linguistics)","level":2,"score":0.849898099899292},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.7054799795150757},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.6294000744819641},{"id":"https://openalex.org/C2778523021","wikidata":"https://www.wikidata.org/wiki/Q5532504","display_name":"Quantifier (linguistics)","level":2,"score":0.6030566692352295},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5826589465141296},{"id":"https://openalex.org/C75066664","wikidata":"https://www.wikidata.org/wiki/Q291126","display_name":"Semidirect product","level":3,"score":0.554812490940094},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.4759942293167114},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3907012641429901},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33443596959114075},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.13870802521705627},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.13320747017860413},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12120658159255981},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.05279800295829773},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.04869958758354187},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1145/3149822","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3149822","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1205.4802","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1205.4802","pdf_url":"https://arxiv.org/pdf/1205.4802","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":null,"raw_type":"text"},{"id":"pmh:oai:drops-oai.dagstuhl.de:3850","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2012.86","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol018-fsttcs2012/LIPIcs.FSTTCS.2012.86/LIPIcs.FSTTCS.2012.86.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"InProceedings"},{"id":"mag:1588701573","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1205.4802","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.403.2821","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.2821","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://drops.dagstuhl.de/opus/volltexte/2012/3850/pdf/10.pdf","raw_type":"text"},{"id":"doi:10.48550/arxiv.1205.4802","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1205.4802","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"},{"id":"doi:10.4230/lipics.fsttcs.2012.86","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.fsttcs.2012.86","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":""}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1205.4802","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1205.4802","pdf_url":"https://arxiv.org/pdf/1205.4802","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"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":null,"raw_type":"text"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.4399999976158142,"display_name":"Reduced inequalities"}],"awards":[{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8751998101","display_name":"SHF: AF: Small: Algebraic Methods for the Study of Logics on Trees","funder_award_id":"0915065","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/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1494501847","https://openalex.org/W1504809082","https://openalex.org/W1533648993","https://openalex.org/W1600140231","https://openalex.org/W1832167103","https://openalex.org/W1884582486","https://openalex.org/W1984151763","https://openalex.org/W1994374691","https://openalex.org/W2017208950","https://openalex.org/W2026713735","https://openalex.org/W2038638040","https://openalex.org/W2053510959","https://openalex.org/W2062430201","https://openalex.org/W2063173373","https://openalex.org/W2063542447","https://openalex.org/W2079162006","https://openalex.org/W2094423121","https://openalex.org/W2098171268","https://openalex.org/W2104134222","https://openalex.org/W2246901391","https://openalex.org/W2318841766","https://openalex.org/W2492759008","https://openalex.org/W2735175565","https://openalex.org/W3105177756"],"related_works":["https://openalex.org/W2776959647","https://openalex.org/W3125214380","https://openalex.org/W2962965776","https://openalex.org/W2958258072","https://openalex.org/W2581629772","https://openalex.org/W2246901391","https://openalex.org/W3098983447","https://openalex.org/W2963241423","https://openalex.org/W2149200336","https://openalex.org/W209374521","https://openalex.org/W2240048967","https://openalex.org/W3105177756","https://openalex.org/W2242473240","https://openalex.org/W2741219721","https://openalex.org/W9696068","https://openalex.org/W2165633323","https://openalex.org/W2991296087","https://openalex.org/W2113171605","https://openalex.org/W2263935218","https://openalex.org/W1656302973"],"abstract_inverted_index":{"We":[0],"give":[1],"an":[2,60],"algebraic":[3],"characterization,":[4],"based":[5],"on":[6,23],"the":[7,15,43,64],"bilateral":[8],"semidirect":[9],"product":[10],"of":[11,14,42,45],"finite":[12,24,46],"monoids,":[13],"quantifier":[16,66],"alternation":[17,67],"hierarchy":[18,36],"in":[19,74],"two-variable":[20,75],"first-order":[21],"logic":[22],"words.":[25],"As":[26],"a":[27,31,70],"consequence,":[28],"we":[29,48],"obtain":[30],"new":[32],"proof":[33],"that":[34,56],"this":[35],"is":[37,59],"strict.":[38],"Moreover,":[39],"by":[40],"application":[41],"theory":[44],"categories,":[47],"are":[49],"able":[50],"to":[51],"make":[52],"our":[53],"characterization":[54],"effective:":[55],"is,":[57],"there":[58],"algorithm":[61],"for":[62,69],"determining":[63],"exact":[65],"depth":[68],"given":[71],"language":[72],"definable":[73],"logic.":[76]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}