{"id":"https://openalex.org/W3034452194","doi":"https://doi.org/10.1007/s00153-020-00737-4","title":"Some complete $$\\omega $$-powers of a one-counter language, for any Borel class of finite rank","display_name":"Some complete $$\\omega $$-powers of a one-counter language, for any Borel class of finite rank","publication_year":2020,"publication_date":"2020-07-02","ids":{"openalex":"https://openalex.org/W3034452194","doi":"https://doi.org/10.1007/s00153-020-00737-4","mag":"3034452194"},"language":"en","primary_location":{"id":"doi:10.1007/s00153-020-00737-4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00153-020-00737-4","pdf_url":null,"source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Archive for Mathematical Logic","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2006.08174","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057731005","display_name":"Olivier Finkel","orcid":"https://orcid.org/0000-0002-6461-2941"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I3017942884","display_name":"Institut de Math\u00e9matiques de Jussieu-Paris Rive Gauche","ror":"https://ror.org/03fk87k11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I3017942884","https://openalex.org/I39804081","https://openalex.org/I4210141950"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Olivier Finkel","raw_affiliation_strings":["Institut de Math\u00e9matiques de Jussieu-Paris Rive Gauche, Equipe de Logique Math\u00e9matique, CNRS, Universit\u00e9 Paris Diderot, Sorbonne Universit\u00e9, Campus des Grands Moulins, b\u00e2timent Sophie-Germain, case 7012, 75205, Paris Cedex 13, France"],"affiliations":[{"raw_affiliation_string":"Institut de Math\u00e9matiques de Jussieu-Paris Rive Gauche, Equipe de Logique Math\u00e9matique, CNRS, Universit\u00e9 Paris Diderot, Sorbonne Universit\u00e9, Campus des Grands Moulins, b\u00e2timent Sophie-Germain, case 7012, 75205, Paris Cedex 13, France","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I204730241","https://openalex.org/I3017942884","https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063083696","display_name":"Dominique Lecomte","orcid":"https://orcid.org/0000-0001-5410-767X"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I197681013","display_name":"Universit\u00e9 Paris-Est Cr\u00e9teil","ror":"https://ror.org/05ggc9x40","country_code":"FR","type":"education","lineage":["https://openalex.org/I197681013"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I3017942884","display_name":"Institut de Math\u00e9matiques de Jussieu-Paris Rive Gauche","ror":"https://ror.org/03fk87k11","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I3017942884","https://openalex.org/I39804081","https://openalex.org/I4210141950"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Dominique Lecomte","raw_affiliation_strings":["Institut de Math\u00e9matiques de Jussieu-Paris Rive Gauche, Equipe d\u2019Analyse Fonctionnelle, Sorbonne Universit\u00e9, Universit\u00e9 Paris Diderot, CNRS, Campus Pierre et Marie Curie, case 247, 4, place Jussieu, 75252, Paris Cedex 5, France","Universit\u00e9 de Picardie, I.U.T. de l\u2019Oise, site de Creil, 13, all\u00e9e de la fa\u00efencerie, 60107, Creil, France","Institut de Math\u00e9matiques de Jussieu-Paris Rive Gauche, Equipe d'Analyse Fonctionnelle, Sorbonne Universit\u00e9, Universit\u00e9 Paris Diderot, CNRS, Campus Pierre et Marie Curie, case 247, 4, place Jussieu, 75252, Paris Cedex 5, France"],"affiliations":[{"raw_affiliation_string":"Institut de Math\u00e9matiques de Jussieu-Paris Rive Gauche, Equipe d\u2019Analyse Fonctionnelle, Sorbonne Universit\u00e9, Universit\u00e9 Paris Diderot, CNRS, Campus Pierre et Marie Curie, case 247, 4, place Jussieu, 75252, Paris Cedex 5, France","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I204730241","https://openalex.org/I3017942884","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Universit\u00e9 de Picardie, I.U.T. de l\u2019Oise, site de Creil, 13, all\u00e9e de la fa\u00efencerie, 60107, Creil, France","institution_ids":["https://openalex.org/I197681013"]},{"raw_affiliation_string":"Institut de Math\u00e9matiques de Jussieu-Paris Rive Gauche, Equipe d'Analyse Fonctionnelle, Sorbonne Universit\u00e9, Universit\u00e9 Paris Diderot, CNRS, Campus Pierre et Marie Curie, case 247, 4, place Jussieu, 75252, Paris Cedex 5, France","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I204730241","https://openalex.org/I3017942884","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5063083696"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I197681013","https://openalex.org/I204730241","https://openalex.org/I3017942884","https://openalex.org/I39804081"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.09711461,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"60","issue":"1-2","first_page":"161","last_page":"187"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","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/T11567","display_name":"semigroups and automata theory","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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9987000226974487,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9986000061035156,"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/finitary","display_name":"Finitary","score":0.8280314207077026},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7654808759689331},{"id":"https://openalex.org/keywords/omega","display_name":"Omega","score":0.7534377574920654},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6311916708946228},{"id":"https://openalex.org/keywords/sigma","display_name":"Sigma","score":0.6167280077934265},{"id":"https://openalex.org/keywords/rank","display_name":"Rank (graph theory)","score":0.5618494749069214},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5450731515884399},{"id":"https://openalex.org/keywords/alphabet","display_name":"Alphabet","score":0.4922763407230377},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4250485897064209},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.13703423738479614},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.05215311050415039}],"concepts":[{"id":"https://openalex.org/C2778003309","wikidata":"https://www.wikidata.org/wiki/Q5450381","display_name":"Finitary","level":2,"score":0.8280314207077026},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7654808759689331},{"id":"https://openalex.org/C2779557605","wikidata":"https://www.wikidata.org/wiki/Q9890","display_name":"Omega","level":2,"score":0.7534377574920654},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6311916708946228},{"id":"https://openalex.org/C2778049214","wikidata":"https://www.wikidata.org/wiki/Q7512234","display_name":"Sigma","level":2,"score":0.6167280077934265},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.5618494749069214},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5450731515884399},{"id":"https://openalex.org/C112876837","wikidata":"https://www.wikidata.org/wiki/Q837518","display_name":"Alphabet","level":2,"score":0.4922763407230377},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4250485897064209},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.13703423738479614},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.05215311050415039},{"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s00153-020-00737-4","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00153-020-00737-4","pdf_url":null,"source":{"id":"https://openalex.org/S188076996","display_name":"Archive for Mathematical Logic","issn_l":"0933-5846","issn":["0933-5846","1432-0665"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Archive for Mathematical Logic","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2006.08174","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2006.08174","pdf_url":"https://arxiv.org/pdf/2006.08174","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":"","raw_type":"text"},{"id":"pmh:oai:HAL:hal-02867587v1","is_oa":true,"landing_page_url":"https://hal.science/hal-02867587","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://link.springer.com/article/10.1007/s00153-020-00737-4","raw_type":"Journal articles"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2006.08174","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2006.08174","pdf_url":"https://arxiv.org/pdf/2006.08174","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":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W66397878","https://openalex.org/W1539382740","https://openalex.org/W1555991696","https://openalex.org/W1604774219","https://openalex.org/W1621948069","https://openalex.org/W1673961727","https://openalex.org/W1974868602","https://openalex.org/W2002089154","https://openalex.org/W2022934640","https://openalex.org/W2066725205","https://openalex.org/W2087879437","https://openalex.org/W2103357303","https://openalex.org/W2122040298","https://openalex.org/W2395891450","https://openalex.org/W2963717725","https://openalex.org/W4233662453","https://openalex.org/W4252769497","https://openalex.org/W4302339081"],"related_works":["https://openalex.org/W2976590292","https://openalex.org/W4288102793","https://openalex.org/W4206837156","https://openalex.org/W2975654559","https://openalex.org/W2085314983","https://openalex.org/W2017288906","https://openalex.org/W3110583286","https://openalex.org/W4287587103","https://openalex.org/W4388260081","https://openalex.org/W4287585716"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}