{"id":"https://openalex.org/W2744104426","doi":"https://doi.org/10.23638/lmcs-15(2:7)2019","title":"Feedback computability on Cantor space","display_name":"Feedback computability on Cantor space","publication_year":2019,"publication_date":"2019-04-30","ids":{"openalex":"https://openalex.org/W2744104426","doi":"https://doi.org/10.23638/lmcs-15(2:7)2019","mag":"2744104426"},"language":"en","primary_location":{"id":"doi:10.23638/lmcs-15(2:7)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(2:7)2019","pdf_url":"https://lmcs.episciences.org/5410/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/5410/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036237896","display_name":"Nathanael Ackerman","orcid":"https://orcid.org/0000-0002-8059-7497"},"institutions":[{"id":"https://openalex.org/I136199984","display_name":"Harvard University","ror":"https://ror.org/03vek6s52","country_code":"US","type":"education","lineage":["https://openalex.org/I136199984"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nathanael L. Ackerman","raw_affiliation_strings":["Department of Mathematics , Harvard University , Cambridge , MA 02138 , USA","Department of Mathematics, Harvard University, Cambridge, MA 02138, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics , Harvard University , Cambridge , MA 02138 , USA","institution_ids":["https://openalex.org/I136199984"]},{"raw_affiliation_string":"Department of Mathematics, Harvard University, Cambridge, MA 02138, USA","institution_ids":["https://openalex.org/I136199984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037836079","display_name":"Cameron E. Freer","orcid":"https://orcid.org/0000-0003-1791-6843"},"institutions":[{"id":"https://openalex.org/I4210104429","display_name":"Institute of Cognitive and Brain Sciences","ror":"https://ror.org/01c3w3270","country_code":"US","type":"education","lineage":["https://openalex.org/I4210104429"]},{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cameron E. Freer","raw_affiliation_strings":["Department of Brain and Cognitive Sciences , Massachusetts Institute of Technology , Cambridge , MA 02139 , USA","Department of Brain and Cognitive Sciences, Massachusetts Institute of Technology, Cambridge, MA 02139, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Brain and Cognitive Sciences , Massachusetts Institute of Technology , Cambridge , MA 02139 , USA","institution_ids":["https://openalex.org/I4210104429","https://openalex.org/I63966007"]},{"raw_affiliation_string":"Department of Brain and Cognitive Sciences, Massachusetts Institute of Technology, Cambridge, MA 02139, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027721938","display_name":"Robert S. Lubarsky","orcid":null},"institutions":[{"id":"https://openalex.org/I63772739","display_name":"Florida Atlantic University","ror":"https://ror.org/05p8w6387","country_code":"US","type":"education","lineage":["https://openalex.org/I63772739"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robert S. Lubarsky","raw_affiliation_strings":["Department of Mathematical Sciences , Florida Atlantic University , Boca Raton , FL 33431 , USA","Department of Mathematical Sciences, Florida Atlantic University, Boca Raton, FL 33431, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematical Sciences , Florida Atlantic University , Boca Raton , FL 33431 , USA","institution_ids":["https://openalex.org/I63772739"]},{"raw_affiliation_string":"Department of Mathematical Sciences, Florida Atlantic University, Boca Raton, FL 33431, USA","institution_ids":["https://openalex.org/I63772739"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00895348,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"Volume 15, Issue 2","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9997000098228455,"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":0.9997000098228455,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.9890999794006348,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10588","display_name":"Mathematical Dynamics and Fractals","score":0.940500020980835,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/computability","display_name":"Computability","score":0.8116071820259094},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6170284748077393},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.4843374490737915},{"id":"https://openalex.org/keywords/cantor-function","display_name":"Cantor function","score":0.4149613678455353},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3931899964809418},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3222101628780365},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3148081302642822},{"id":"https://openalex.org/keywords/cantor-set","display_name":"Cantor set","score":0.24135074019432068}],"concepts":[{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.8116071820259094},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6170284748077393},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.4843374490737915},{"id":"https://openalex.org/C149701218","wikidata":"https://www.wikidata.org/wiki/Q938883","display_name":"Cantor function","level":3,"score":0.4149613678455353},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3931899964809418},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3222101628780365},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3148081302642822},{"id":"https://openalex.org/C36605576","wikidata":"https://www.wikidata.org/wiki/Q273188","display_name":"Cantor set","level":2,"score":0.24135074019432068},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.23638/lmcs-15(2:7)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(2:7)2019","pdf_url":"https://lmcs.episciences.org/5410/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1708.01139","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1708.01139","pdf_url":"https://arxiv.org/pdf/1708.01139","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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:doaj.org/article:6c359a87e47b4c62a220a016cbbe9ad0","is_oa":true,"landing_page_url":"https://doaj.org/article/6c359a87e47b4c62a220a016cbbe9ad0","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"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":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 15, Issue 2 (2019)","raw_type":"article"},{"id":"mag:2744104426","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1708.01139.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"arXiv (Cornell University)","raw_type":null}],"best_oa_location":{"id":"doi:10.23638/lmcs-15(2:7)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(2:7)2019","pdf_url":"https://lmcs.episciences.org/5410/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2744104426.pdf","grobid_xml":"https://content.openalex.org/works/W2744104426.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W78295823","https://openalex.org/W1479905567","https://openalex.org/W1539382740","https://openalex.org/W1968293668","https://openalex.org/W1973593708","https://openalex.org/W1983284023","https://openalex.org/W2052290173","https://openalex.org/W2053348590","https://openalex.org/W2064937274","https://openalex.org/W2342149294","https://openalex.org/W2571490773","https://openalex.org/W4211106290","https://openalex.org/W4233662453","https://openalex.org/W4296119740"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2197939068","https://openalex.org/W2759753768","https://openalex.org/W2951237399","https://openalex.org/W2102369008","https://openalex.org/W145779977","https://openalex.org/W3163923091","https://openalex.org/W2071065290","https://openalex.org/W2294807354","https://openalex.org/W1782244868"],"abstract_inverted_index":{"We":[0,30,70],"introduce":[1],"the":[2,19,34,40,50,65],"notion":[3,21,51,74],"of":[4,22,52,61,64],"feedback":[5,13,35,54],"computable":[6,36,55,86],"functions":[7,25,37,83],"from":[8,26,87],"$2^\\omega$":[9,27],"to":[10,28],"$2^\\omega$,":[11],"extending":[12],"Turing":[14],"computation":[15],"in":[16],"analogy":[17],"with":[18,91],"standard":[20],"computability":[23],"for":[24],"$2^\\omega$.":[29],"then":[31],"show":[32,71],"that":[33,72,84],"are":[38,85],"precisely":[39],"effectively":[41],"Borel":[42],"functions.":[43],"With":[44],"this":[45,73],"as":[46,67,78],"motivation":[47],"we":[48],"define":[49],"a":[53,58,68,88],"function":[56],"on":[57],"structure,":[59],"independent":[60],"any":[62],"coding":[63],"structure":[66],"real.":[69],"is":[75],"absolute,":[76],"and":[77],"an":[79],"example":[80],"characterize":[81],"those":[82],"Gandy":[89],"ordinal":[90],"some":[92],"finite":[93],"subset":[94],"distinguished.":[95]},"counts_by_year":[],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}