{"id":"https://openalex.org/W4386833002","doi":"https://doi.org/10.1017/jsl.2023.67","title":"COMPUTABLE TOPOLOGICAL GROUPS","display_name":"COMPUTABLE TOPOLOGICAL GROUPS","publication_year":2023,"publication_date":"2023-09-18","ids":{"openalex":"https://openalex.org/W4386833002","doi":"https://doi.org/10.1017/jsl.2023.67"},"language":"en","primary_location":{"id":"doi:10.1017/jsl.2023.67","is_oa":true,"landing_page_url":"https://doi.org/10.1017/jsl.2023.67","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/8DFAA5326169732F1D4C0D586F187101/S0022481223000671a.pdf/div-class-title-computable-topological-groups-div.pdf","source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Journal of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/8DFAA5326169732F1D4C0D586F187101/S0022481223000671a.pdf/div-class-title-computable-topological-groups-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015939005","display_name":"Heer Tern Koh","orcid":"https://orcid.org/0009-0002-6268-5220"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"HEER TERN KOH","raw_affiliation_strings":["SCHOOL OF PHYSICAL AND MATHEMATICAL SCIENCES NANYANG TECHNOLOGICAL UNIVERSITY"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SCHOOL OF PHYSICAL AND MATHEMATICAL SCIENCES NANYANG TECHNOLOGICAL UNIVERSITY","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046893858","display_name":"Alexander Melnikov","orcid":"https://orcid.org/0000-0001-8781-7432"},"institutions":[{"id":"https://openalex.org/I4210110573","display_name":"Victoria University","ror":"https://ror.org/01rrz9s51","country_code":"UG","type":"education","lineage":["https://openalex.org/I4210110573"]}],"countries":["UG"],"is_corresponding":false,"raw_author_name":"ALEXANDER G. MELNIKOV","raw_affiliation_strings":["VICTORIA UNIVERSITY OF WELLINGTON"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"VICTORIA UNIVERSITY OF WELLINGTON","institution_ids":["https://openalex.org/I4210110573"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061690819","display_name":"Keng Meng Ng","orcid":"https://orcid.org/0000-0002-7113-0596"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"KENG MENG NG","raw_affiliation_strings":["SCHOOL OF PHYSICAL AND MATHEMATICAL SCIENCES NANYANG TECHNOLOGICAL UNIVERSITY"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SCHOOL OF PHYSICAL AND MATHEMATICAL SCIENCES NANYANG TECHNOLOGICAL UNIVERSITY","institution_ids":["https://openalex.org/I172675005"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5551,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.69096415,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"90","issue":"1","first_page":"188","last_page":"220"},"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.972000002861023,"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/T11567","display_name":"semigroups and automata theory","score":0.9580000042915344,"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/countable-set","display_name":"Countable set","score":0.7008464336395264},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6505117416381836},{"id":"https://openalex.org/keywords/topological-group","display_name":"Topological group","score":0.635280966758728},{"id":"https://openalex.org/keywords/profinite-group","display_name":"Profinite group","score":0.6280122399330139},{"id":"https://openalex.org/keywords/hausdorff-space","display_name":"Hausdorff space","score":0.5825265049934387},{"id":"https://openalex.org/keywords/second-countable-space","display_name":"Second-countable space","score":0.5262241363525391},{"id":"https://openalex.org/keywords/group","display_name":"Group (periodic table)","score":0.5022637844085693},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.48908311128616333},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.36400073766708374},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3387298583984375},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.22767958045005798},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.06876817345619202}],"concepts":[{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.7008464336395264},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6505117416381836},{"id":"https://openalex.org/C96386209","wikidata":"https://www.wikidata.org/wiki/Q1046291","display_name":"Topological group","level":3,"score":0.635280966758728},{"id":"https://openalex.org/C14735163","wikidata":"https://www.wikidata.org/wiki/Q1428923","display_name":"Profinite group","level":3,"score":0.6280122399330139},{"id":"https://openalex.org/C191399826","wikidata":"https://www.wikidata.org/wiki/Q326908","display_name":"Hausdorff space","level":2,"score":0.5825265049934387},{"id":"https://openalex.org/C162362422","wikidata":"https://www.wikidata.org/wiki/Q1363919","display_name":"Second-countable space","level":3,"score":0.5262241363525391},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.5022637844085693},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.48908311128616333},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.36400073766708374},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3387298583984375},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.22767958045005798},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.06876817345619202},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/jsl.2023.67","is_oa":true,"landing_page_url":"https://doi.org/10.1017/jsl.2023.67","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/8DFAA5326169732F1D4C0D586F187101/S0022481223000671a.pdf/div-class-title-computable-topological-groups-div.pdf","source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Journal of Symbolic Logic","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1017/jsl.2023.67","is_oa":true,"landing_page_url":"https://doi.org/10.1017/jsl.2023.67","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/8DFAA5326169732F1D4C0D586F187101/S0022481223000671a.pdf/div-class-title-computable-topological-groups-div.pdf","source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Journal of Symbolic Logic","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G294671650","display_name":null,"funder_award_id":"RG23/19","funder_id":"https://openalex.org/F4320320751","funder_display_name":"Ministry of Education - Singapore"}],"funders":[{"id":"https://openalex.org/F4320320751","display_name":"Ministry of Education - Singapore","ror":"https://ror.org/01kcva023"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4386833002.pdf","grobid_xml":"https://content.openalex.org/works/W4386833002.grobid-xml"},"referenced_works_count":46,"referenced_works":["https://openalex.org/W191595573","https://openalex.org/W237194509","https://openalex.org/W633446433","https://openalex.org/W1497475168","https://openalex.org/W1505964586","https://openalex.org/W1517951509","https://openalex.org/W1595985678","https://openalex.org/W1958506772","https://openalex.org/W1979348573","https://openalex.org/W1982821787","https://openalex.org/W1996545429","https://openalex.org/W2010770007","https://openalex.org/W2014131004","https://openalex.org/W2017531368","https://openalex.org/W2032123501","https://openalex.org/W2045531999","https://openalex.org/W2059568104","https://openalex.org/W2067792740","https://openalex.org/W2081058992","https://openalex.org/W2123895074","https://openalex.org/W2128307371","https://openalex.org/W2163889041","https://openalex.org/W2328824725","https://openalex.org/W2751644302","https://openalex.org/W2753656839","https://openalex.org/W2782454180","https://openalex.org/W2887698349","https://openalex.org/W2911678578","https://openalex.org/W3096756779","https://openalex.org/W3147781287","https://openalex.org/W3165523243","https://openalex.org/W3173135134","https://openalex.org/W3180976055","https://openalex.org/W4231125794","https://openalex.org/W4232480566","https://openalex.org/W4243563333","https://openalex.org/W4361868930","https://openalex.org/W4376142504","https://openalex.org/W4387160224","https://openalex.org/W4389600084","https://openalex.org/W6607761646","https://openalex.org/W6642322178","https://openalex.org/W6661954843","https://openalex.org/W6665536099","https://openalex.org/W6743765011","https://openalex.org/W6758516064"],"related_works":["https://openalex.org/W2293913165","https://openalex.org/W2065440767","https://openalex.org/W2128422721","https://openalex.org/W2963248874","https://openalex.org/W2386412471","https://openalex.org/W2964167975","https://openalex.org/W2951791049","https://openalex.org/W2554804730","https://openalex.org/W4388639456","https://openalex.org/W4386833002"],"abstract_inverted_index":{"Abstract":[0],"We":[1,15,27],"investigate":[2],"what":[3],"it":[4],"means":[5],"for":[6,38],"a":[7],"(Hausdorff,":[8],"second-countable)":[9],"topological":[10],"group":[11],"to":[12],"be":[13],"computable.":[14],"compare":[16,44],"several":[17],"potential":[18],"definitions":[19,34],"based":[20],"on":[21],"classical":[22],"notions":[23,30],"in":[24,50],"the":[25,32],"literature.":[26],"relate":[28],"these":[29],"with":[31,47],"well-established":[33],"of":[35],"effective":[36],"presentability":[37],"discrete":[39],"and":[40,43],"profinite":[41],"groups,":[42],"our":[45],"results":[46,49],"similar":[48],"computable":[51],"topology.":[52]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1}],"updated_date":"2026-08-18T07:49:30.821534","created_date":"2025-10-10T00:00:00"}