{"id":"https://openalex.org/W3003043332","doi":"https://doi.org/10.1017/s0960129519000203","title":"Free Heyting algebra endomorphisms: Ruitenburg\u2019s Theorem and beyond","display_name":"Free Heyting algebra endomorphisms: Ruitenburg\u2019s Theorem and beyond","publication_year":2020,"publication_date":"2020-01-21","ids":{"openalex":"https://openalex.org/W3003043332","doi":"https://doi.org/10.1017/s0960129519000203","mag":"3003043332"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129519000203","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129519000203","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"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":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/2434/706157","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041352997","display_name":"Silvio Ghilardi","orcid":"https://orcid.org/0000-0001-6449-6883"},"institutions":[{"id":"https://openalex.org/I189158943","display_name":"University of Milan","ror":"https://ror.org/00wjc7c48","country_code":"IT","type":"education","lineage":["https://openalex.org/I189158943"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Silvio Ghilardi","raw_affiliation_strings":["Dipartimento di Matematica, Universit\u00e0 degli Studi di Milano","Universit\u00e0 degli Studi di Milano = University of Milan"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Matematica, Universit\u00e0 degli Studi di Milano","institution_ids":["https://openalex.org/I189158943"]},{"raw_affiliation_string":"Universit\u00e0 degli Studi di Milano = University of Milan","institution_ids":["https://openalex.org/I189158943"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049300785","display_name":"Luigi Santocanale","orcid":"https://orcid.org/0000-0002-4237-7856"},"institutions":[{"id":"https://openalex.org/I4210114274","display_name":"Laboratoire d\u2019Informatique et Syst\u00e8mes","ror":"https://ror.org/0257sgk90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I143002897","https://openalex.org/I21491767","https://openalex.org/I4210114274"]},{"id":"https://openalex.org/I21491767","display_name":"Aix-Marseille Universit\u00e9","ror":"https://ror.org/035xkbk20","country_code":"FR","type":"education","lineage":["https://openalex.org/I21491767"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Luigi Santocanale","raw_affiliation_strings":["LIS, CNRS UMR 7020, Aix-Marseille Universit\u00e9","Logique, Interaction, Raisonnement et Inf\u00e9rence, Complexit\u00e9, Alg\u00e8bre","Laboratoire d'Informatique et Syst\u00e8mes"],"affiliations":[{"raw_affiliation_string":"LIS, CNRS UMR 7020, Aix-Marseille Universit\u00e9","institution_ids":["https://openalex.org/I21491767"]},{"raw_affiliation_string":"Logique, Interaction, Raisonnement et Inf\u00e9rence, Complexit\u00e9, Alg\u00e8bre","institution_ids":[]},{"raw_affiliation_string":"Laboratoire d'Informatique et Syst\u00e8mes","institution_ids":["https://openalex.org/I4210114274"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5041352997"],"corresponding_institution_ids":["https://openalex.org/I189158943"],"apc_list":null,"apc_paid":null,"fwci":0.1326,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.50802746,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"30","issue":"6","first_page":"572","last_page":"596"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9990000128746033,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9990000128746033,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9980000257492065,"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/T10142","display_name":"Formal Methods in Verification","score":0.9979000091552734,"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/endomorphism","display_name":"Endomorphism","score":0.8270738124847412},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7310690879821777},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.6214273571968079},{"id":"https://openalex.org/keywords/cardinality","display_name":"Cardinality (data modeling)","score":0.5792418718338013},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.4773714244365692},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4754638075828552},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.4429122805595398},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.37540408968925476},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.09278744459152222},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.0760568380355835}],"concepts":[{"id":"https://openalex.org/C116858840","wikidata":"https://www.wikidata.org/wiki/Q1340800","display_name":"Endomorphism","level":2,"score":0.8270738124847412},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7310690879821777},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6214273571968079},{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.5792418718338013},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4773714244365692},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4754638075828552},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.4429122805595398},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.37540408968925476},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.09278744459152222},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0760568380355835},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s0960129519000203","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129519000203","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"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":"Mathematical Structures in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:air.unimi.it:2434/706157","is_oa":true,"landing_page_url":"http://hdl.handle.net/2434/706157","pdf_url":null,"source":{"id":"https://openalex.org/S4306400516","display_name":"Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189158943","host_organization_name":"University of Milan","host_organization_lineage":["https://openalex.org/I189158943"],"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":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:air.unimi.it:2434/706157","is_oa":true,"landing_page_url":"http://hdl.handle.net/2434/706157","pdf_url":null,"source":{"id":"https://openalex.org/S4306400516","display_name":"Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189158943","host_organization_name":"University of Milan","host_organization_lineage":["https://openalex.org/I189158943"],"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":"","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W1559188380","https://openalex.org/W1605921926","https://openalex.org/W1924063407","https://openalex.org/W1987214648","https://openalex.org/W1990098658","https://openalex.org/W1995801512","https://openalex.org/W2006242427","https://openalex.org/W2007304763","https://openalex.org/W2015220564","https://openalex.org/W2032229737","https://openalex.org/W2077311448","https://openalex.org/W2077847391","https://openalex.org/W2078664384","https://openalex.org/W2093397547","https://openalex.org/W2106838905","https://openalex.org/W2108756969","https://openalex.org/W2127748867","https://openalex.org/W2137410044","https://openalex.org/W2483742494","https://openalex.org/W2547662413","https://openalex.org/W2752961959","https://openalex.org/W2797600553","https://openalex.org/W2949814736","https://openalex.org/W2963177936","https://openalex.org/W2963686317","https://openalex.org/W2976714240","https://openalex.org/W3101703959","https://openalex.org/W3149302317","https://openalex.org/W4240184370","https://openalex.org/W4292763817","https://openalex.org/W4298237105","https://openalex.org/W4388311772","https://openalex.org/W6793934691","https://openalex.org/W6845277845"],"related_works":["https://openalex.org/W4382500993","https://openalex.org/W1953984001","https://openalex.org/W4300500350","https://openalex.org/W2970062288","https://openalex.org/W2606419744","https://openalex.org/W2962902116","https://openalex.org/W2015333178","https://openalex.org/W2963415898","https://openalex.org/W2221944711","https://openalex.org/W2485961789"],"abstract_inverted_index":{"Abstract":[0],"Ruitenburg\u2019s":[1],"Theorem":[2],"says":[3],"that":[4,34,77],"every":[5],"endomorphism":[6],"f":[7,19,35,39],"of":[8,52,69,72,93,105,108,111],"a":[9,49],"finitely":[10],"generated":[11],"free":[12,73],"Heyting":[13],"algebra":[14],"is":[15,29],"ultimately":[16,83],"periodic":[17],"if":[18],"fixes":[20],"all":[21],"the":[22,43,63,91,97,106,109],"generators":[23],"but":[24],"one.":[25],"More":[26],"precisely,":[27],"there":[28],"N":[30,36,40],"\u2265":[31],"0":[32],"such":[33],"+2":[37],"=":[38],",":[41],"thus":[42],"period":[44,98],"equals":[45],"2.":[46],"We":[47,75],"give":[48],"semantic":[50],"proof":[51],"this":[53],"theorem,":[54],"using":[55],"duality":[56],"techniques":[57],"and":[58],"bounded":[59,102],"bisimulation":[60],"ranks.":[61],"By":[62],"same":[64],"techniques,":[65],"we":[66],"tackle":[67],"investigation":[68],"arbitrary":[70],"endomorphisms":[71],"algebras.":[74],"show":[76],"they":[78,87],"are":[79,88],"not,":[80],"in":[81,90],"general,":[82],"periodic.":[84],"Yet,":[85],"when":[86],"(e.g.":[89],"case":[92],"locally":[94],"finite":[95],"subvarieties),":[96],"can":[99],"be":[100],"explicitly":[101],"as":[103],"function":[104],"cardinality":[107],"set":[110],"generators.":[112]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}