{"id":"https://openalex.org/W2193061249","doi":"https://doi.org/10.3233/com-180087","title":"Notions of semicomputability in topological algebras over the reals","display_name":"Notions of semicomputability in topological algebras over the reals","publication_year":2018,"publication_date":"2018-02-20","ids":{"openalex":"https://openalex.org/W2193061249","doi":"https://doi.org/10.3233/com-180087","mag":"2193061249"},"language":"en","primary_location":{"id":"doi:10.3233/com-180087","is_oa":false,"landing_page_url":"https://doi.org/10.3233/com-180087","pdf_url":null,"source":{"id":"https://openalex.org/S4210231662","display_name":"Computability","issn_l":"2211-3568","issn":["2211-3568","2211-3576"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computability","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://macsphere.mcmaster.ca/bitstream/11375/18334/2/armstrong_mark_p_finalsubmission201509_msc_computer_science.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043182448","display_name":"M. A. Armstrong","orcid":null},"institutions":[{"id":"https://openalex.org/I98251732","display_name":"McMaster University","ror":"https://ror.org/02fa3aq29","country_code":"CA","type":"education","lineage":["https://openalex.org/I98251732"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Mark Armstrong","raw_affiliation_strings":["Department of Computing & Software, McMaster University, Hamilton, ON L8S 4K1, Canada. armstmp@mcmaster.ca"],"affiliations":[{"raw_affiliation_string":"Department of Computing & Software, McMaster University, Hamilton, ON L8S 4K1, Canada. armstmp@mcmaster.ca","institution_ids":["https://openalex.org/I98251732"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079935192","display_name":"J. I. Zucker","orcid":null},"institutions":[{"id":"https://openalex.org/I98251732","display_name":"McMaster University","ror":"https://ror.org/02fa3aq29","country_code":"CA","type":"education","lineage":["https://openalex.org/I98251732"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Jeffery Zucker","raw_affiliation_strings":["Department of Computing & Software, McMaster University, Hamilton, ON L8S 4K1, Canada. zucker@mcmaster.ca"],"affiliations":[{"raw_affiliation_string":"Department of Computing & Software, McMaster University, Hamilton, ON L8S 4K1, Canada. zucker@mcmaster.ca","institution_ids":["https://openalex.org/I98251732"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5043182448"],"corresponding_institution_ids":["https://openalex.org/I98251732"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.00673577,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"8","issue":"1","first_page":"1","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","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/T12002","display_name":"Computability, Logic, AI Algorithms","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/T12162","display_name":"Cellular Automata and Applications","score":0.9869999885559082,"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/T11567","display_name":"semigroups and automata theory","score":0.9824000000953674,"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.49398571252822876},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.4071814715862274},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.34745410084724426},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.32737070322036743},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.25074291229248047}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.49398571252822876},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.4071814715862274},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.34745410084724426},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.32737070322036743},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.25074291229248047}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/com-180087","is_oa":false,"landing_page_url":"https://doi.org/10.3233/com-180087","pdf_url":null,"source":{"id":"https://openalex.org/S4210231662","display_name":"Computability","issn_l":"2211-3568","issn":["2211-3568","2211-3576"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computability","raw_type":"journal-article"},{"id":"pmh:oai:macsphere.mcmaster.ca:11375/18334","is_oa":true,"landing_page_url":"http://hdl.handle.net/11375/18334","pdf_url":"https://macsphere.mcmaster.ca/bitstream/11375/18334/2/armstrong_mark_p_finalsubmission201509_msc_computer_science.pdf","source":{"id":"https://openalex.org/S4306402139","display_name":"MacSphere (McMaster University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98251732","host_organization_name":"McMaster University","host_organization_lineage":["https://openalex.org/I98251732"],"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":"Thesis"}],"best_oa_location":{"id":"pmh:oai:macsphere.mcmaster.ca:11375/18334","is_oa":true,"landing_page_url":"http://hdl.handle.net/11375/18334","pdf_url":"https://macsphere.mcmaster.ca/bitstream/11375/18334/2/armstrong_mark_p_finalsubmission201509_msc_computer_science.pdf","source":{"id":"https://openalex.org/S4306402139","display_name":"MacSphere (McMaster University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98251732","host_organization_name":"McMaster University","host_organization_lineage":["https://openalex.org/I98251732"],"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":"Thesis"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2193061249.pdf"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W220096824","https://openalex.org/W1481018260","https://openalex.org/W1483568252","https://openalex.org/W1491777560","https://openalex.org/W1497475168","https://openalex.org/W1509579779","https://openalex.org/W1539537972","https://openalex.org/W1996431919","https://openalex.org/W2014107656","https://openalex.org/W2014332513","https://openalex.org/W2021834312","https://openalex.org/W2023778211","https://openalex.org/W2038472629","https://openalex.org/W2048858227","https://openalex.org/W2058108130","https://openalex.org/W2085536580","https://openalex.org/W2094663018","https://openalex.org/W2108904240","https://openalex.org/W2126160338","https://openalex.org/W2176308528","https://openalex.org/W2323777246","https://openalex.org/W2324440993","https://openalex.org/W2398319463","https://openalex.org/W2798622764","https://openalex.org/W2963290555","https://openalex.org/W2963598527","https://openalex.org/W4239497877","https://openalex.org/W4243563333","https://openalex.org/W6678934100"],"related_works":["https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W1587224694","https://openalex.org/W2042127053","https://openalex.org/W2142036596","https://openalex.org/W4238204885"],"abstract_inverted_index":{"Several":[0],"results":[1,58,85],"from":[2,86],"classical":[3,88],"computability":[4,35,131,140],"theory":[5,36,89],"(computability":[6],"over":[7,17,37],"discrete":[8],"structures":[9],"such":[10,166],"as":[11],"the":[12,81,87,91,97,106,122,133,137,155],"natural":[13],"numbers":[14],"and":[15,25,110,114,149],"strings":[16],"finite":[18,104],"alphabets,":[19],"due":[20],"to":[21,30,60,168,173],"Turing,":[22],"Church,":[23],"Kleene":[24],"others)":[26],"have":[27],"been":[28],"shown":[29],"hold":[31],"for":[32],"generalisations":[33],"of":[34,46,57,70,83,93,100,108,124,141],"total":[38,151],"abstract":[39,68],"algebras,":[40],"usin":[41],"g":[42],"a":[43,47,55],"computation":[44,61],"model":[45,69],"high":[48,75],"level":[49,76],"imperative":[50,77],"(While)":[51],"language.":[52],"We":[53,79],"present":[54],"number":[56],"relating":[59],"on":[62,74,96,132,154],"topological":[63,94,175],"partial":[64,176],"algebras":[65,95],"using":[66],"an":[67],"computation,":[71,126],"While,":[72],"based":[73],"languages.":[78],"investigate":[80],"validity":[82],"several":[84],"in":[90,121],"context":[92],"reals:":[98],"closure":[99],"semicomputable":[101,109],"sets":[102],"under":[103],"union,":[105],"equivalence":[107],"projectively":[111],"(semi)computable":[112],"sets,":[113],"Post\u2019s":[115],"Theorem.":[116],"This":[117],"research":[118],"has":[119],"significance":[120],"field":[123],"scientific":[125],"which":[127],"is":[128],"underpinned":[129],"by":[130,164],"real":[134],"numbers.":[135],"By":[136],"Continuity":[138],"Principle,":[139],"functions":[142,153,167],"implies":[143],"their":[144],"continuity.":[145],"Since":[146],"equality,":[147],"order,":[148],"other":[150],"boolean-valued":[152],"reals":[156],"are":[157],"clearly":[158],"discontinuous,":[159],"we":[160],"resolve":[161],"this":[162],"incompatibility":[163],"redefining":[165],"be":[169],"partial,":[170],"leading":[171],"us":[172],"consider":[174],"algebras.":[177]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}