{"id":"https://openalex.org/W2893306427","doi":"https://doi.org/10.3233/com-180101","title":"Effective aspects of algorithmically random structures","display_name":"Effective aspects of algorithmically random structures","publication_year":2018,"publication_date":"2018-09-29","ids":{"openalex":"https://openalex.org/W2893306427","doi":"https://doi.org/10.3233/com-180101","mag":"2893306427"},"language":"en","primary_location":{"id":"doi:10.3233/com-180101","is_oa":false,"landing_page_url":"https://doi.org/10.3233/com-180101","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027707580","display_name":"Matthew Harrison\u2010Trainor","orcid":null},"institutions":[{"id":"https://openalex.org/I41156924","display_name":"Victoria University of Wellington","ror":"https://ror.org/0040r6f76","country_code":"NZ","type":"education","lineage":["https://openalex.org/I41156924"]}],"countries":["NZ"],"is_corresponding":true,"raw_author_name":"Matthew Harrison-Trainor","raw_affiliation_strings":["School of Mathematics and Statistics, Victoria University of Wellington, New Zealand. matthew.harrisontrainor@vuw.ac.nz"],"affiliations":[{"raw_affiliation_string":"School of Mathematics and Statistics, Victoria University of Wellington, New Zealand. matthew.harrisontrainor@vuw.ac.nz","institution_ids":["https://openalex.org/I41156924"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034299594","display_name":"Bakh Khoussainov","orcid":"https://orcid.org/0000-0002-7522-1241"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Bakh Khoussainov","raw_affiliation_strings":["Department of Computer Science, University of Auckland, New Zealand. bmk@cs.auckland.ac.nz"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Auckland, New Zealand. bmk@cs.auckland.ac.nz","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056888455","display_name":"Daniel Turetsky","orcid":"https://orcid.org/0000-0002-4154-4800"},"institutions":[{"id":"https://openalex.org/I41156924","display_name":"Victoria University of Wellington","ror":"https://ror.org/0040r6f76","country_code":"NZ","type":"education","lineage":["https://openalex.org/I41156924"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Daniel Turetsky","raw_affiliation_strings":["School of Mathematics and Statistics, Victoria University of Wellington, New Zealand. dan.turetsky@vuw.ac.nz"],"affiliations":[{"raw_affiliation_string":"School of Mathematics and Statistics, Victoria University of Wellington, New Zealand. dan.turetsky@vuw.ac.nz","institution_ids":["https://openalex.org/I41156924"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5027707580"],"corresponding_institution_ids":["https://openalex.org/I41156924"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.15257002,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"8","issue":"3-4","first_page":"359","last_page":"375"},"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.9869999885559082,"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.9732999801635742,"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/randomness","display_name":"Randomness","score":0.6667513251304626},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6628559231758118},{"id":"https://openalex.org/keywords/universal-turing-machine","display_name":"Universal Turing machine","score":0.590129554271698},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5321869850158691},{"id":"https://openalex.org/keywords/turing-machine","display_name":"Turing machine","score":0.495230108499527},{"id":"https://openalex.org/keywords/description-number","display_name":"Description number","score":0.4665009379386902},{"id":"https://openalex.org/keywords/computable-analysis","display_name":"Computable analysis","score":0.45037025213241577},{"id":"https://openalex.org/keywords/random-compact-set","display_name":"Random compact set","score":0.4502526819705963},{"id":"https://openalex.org/keywords/random-function","display_name":"Random function","score":0.4397774338722229},{"id":"https://openalex.org/keywords/turing","display_name":"Turing","score":0.4217374324798584},{"id":"https://openalex.org/keywords/random-graph","display_name":"Random graph","score":0.4092159569263458},{"id":"https://openalex.org/keywords/computability","display_name":"Computability","score":0.347396582365036},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2683560848236084},{"id":"https://openalex.org/keywords/random-variable","display_name":"Random variable","score":0.18663519620895386},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.17186826467514038}],"concepts":[{"id":"https://openalex.org/C125112378","wikidata":"https://www.wikidata.org/wiki/Q176640","display_name":"Randomness","level":2,"score":0.6667513251304626},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6628559231758118},{"id":"https://openalex.org/C131671149","wikidata":"https://www.wikidata.org/wiki/Q2703890","display_name":"Universal Turing machine","level":4,"score":0.590129554271698},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5321869850158691},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.495230108499527},{"id":"https://openalex.org/C179061269","wikidata":"https://www.wikidata.org/wiki/Q5263786","display_name":"Description number","level":5,"score":0.4665009379386902},{"id":"https://openalex.org/C27318111","wikidata":"https://www.wikidata.org/wiki/Q5157264","display_name":"Computable analysis","level":3,"score":0.45037025213241577},{"id":"https://openalex.org/C52627884","wikidata":"https://www.wikidata.org/wiki/Q4424101","display_name":"Random compact set","level":4,"score":0.4502526819705963},{"id":"https://openalex.org/C13929819","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Random function","level":3,"score":0.4397774338722229},{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.4217374324798584},{"id":"https://openalex.org/C47458327","wikidata":"https://www.wikidata.org/wiki/Q910404","display_name":"Random graph","level":3,"score":0.4092159569263458},{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.347396582365036},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2683560848236084},{"id":"https://openalex.org/C122123141","wikidata":"https://www.wikidata.org/wiki/Q176623","display_name":"Random variable","level":2,"score":0.18663519620895386},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.17186826467514038},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.0},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/com-180101","is_oa":false,"landing_page_url":"https://doi.org/10.3233/com-180101","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1571286435","https://openalex.org/W1579696469","https://openalex.org/W1638203394","https://openalex.org/W1974840846","https://openalex.org/W1993047102","https://openalex.org/W2008797389","https://openalex.org/W2017531368","https://openalex.org/W2029308360","https://openalex.org/W2038458144","https://openalex.org/W2049357019","https://openalex.org/W2059568104","https://openalex.org/W2067580807","https://openalex.org/W2093690182","https://openalex.org/W2142840306","https://openalex.org/W2146750910","https://openalex.org/W2154462988","https://openalex.org/W2293220713","https://openalex.org/W2582697902","https://openalex.org/W2590309738","https://openalex.org/W6665536099"],"related_works":["https://openalex.org/W293759077","https://openalex.org/W3014863312","https://openalex.org/W195780958","https://openalex.org/W4382864218","https://openalex.org/W68480898","https://openalex.org/W1662868588","https://openalex.org/W1526857708","https://openalex.org/W1808977091","https://openalex.org/W2142519528","https://openalex.org/W2040069378"],"abstract_inverted_index":{"In":[0],"this":[1,71],"paper":[2],"we":[3,66],"study":[4],"various":[5],"properties":[6],"of":[7,54,106,113,133,172,178,181,201,217],"algorithmically":[8,28,40,44,55,60,79,87,114,134,145,149,161,202,218],"random":[9,29,41,45,56,61,80,88,115,135,146,150,162,186,203,219],"infinite":[10,25,46,62],"structures.":[11,151,204],"Our":[12],"results":[13],"address":[14],"the":[15,35,50,68,110,125,157,166,182,206,215],"following":[16,69],"questions.":[17],"How":[18],"would":[19],"one":[20],"define":[21],"algorithmic":[22],"randomness":[23],"for":[24,185],"structures?":[26,57],"Could":[27],"structures":[30,42,107,116,163],"be":[31,119],"computable?":[32],"What":[33,48],"are":[34,49,75,103,131,174],"similarities":[36],"and":[37,43,128,148],"differences":[38],"between":[39,144],"strings?":[47],"possible":[51,198],"Turing":[52,111,199],"degrees":[53,112,200],"Are":[58],"there":[59,74,85,102,130],"groups?":[63],"For":[64],"instance,":[65],"prove":[67],"in":[70,108,165,176],"paper:":[72],"(1)":[73],"classes":[76,105],"which":[77,109],"contain":[78],"yet":[81],"computable":[82,121,164],"structures,":[83],"(2)":[84],"exist":[86],"universal":[89],"algebras":[90,173],"with":[91],"co-computably":[92],"enumerable":[93,98],"as":[94,96],"well":[95],"computably":[97],"word":[99,183],"problems,":[100],"(3)":[101],"natural":[104],"can":[117],"only":[118],"either":[120],"or":[122],"equivalent":[123],"to":[124],"halting":[126,167],"set,":[127],"(4)":[129],"examples":[132,171],"groups.":[136,220],"The":[137,152,188],"first":[138],"result":[139,154,190,208],"shows":[140],"a":[141,192,210],"dramatic":[142],"difference":[143],"strings":[147],"second":[153],"significantly":[155],"improves":[156],"known":[158],"theorem":[159,194],"that":[160,195],"set":[168],"exist;":[169],"these":[170],"sharp":[175],"terms":[177],"arithmetical":[179],"hierarchy":[180],"problem":[184],"algebras.":[187],"third":[189],"is":[191],"dichotomy":[193],"characterises":[196],"all":[197],"Finally,":[205],"fourth":[207],"answers":[209],"nontrivial":[211],"open":[212],"question":[213],"about":[214],"existence":[216]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}