{"id":"https://openalex.org/W2170481824","doi":"https://doi.org/10.2178/jsl/1096901772","title":"On the construction of effectively random sets","display_name":"On the construction of effectively random sets","publication_year":2004,"publication_date":"2004-09-01","ids":{"openalex":"https://openalex.org/W2170481824","doi":"https://doi.org/10.2178/jsl/1096901772","mag":"2170481824"},"language":"en","primary_location":{"id":"doi:10.2178/jsl/1096901772","is_oa":false,"landing_page_url":"https://doi.org/10.2178/jsl/1096901772","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","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/A5058986525","display_name":"Wolfgang Merkle","orcid":"https://orcid.org/0000-0003-1698-5150"},"institutions":[{"id":"https://openalex.org/I223822909","display_name":"Heidelberg University","ror":"https://ror.org/038t36y30","country_code":"DE","type":"education","lineage":["https://openalex.org/I223822909"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Wolfgang Merkle","raw_affiliation_strings":["Institut f\u00fcr Informatik, Ruprecht-Karls-Universit\u00e4t Heidelberg, Im Neuenheimer Feld 294, D\u201369120 Heidelberg, Germany, E-mail:","Heidelberg University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informatik, Ruprecht-Karls-Universit\u00e4t Heidelberg, Im Neuenheimer Feld 294, D\u201369120 Heidelberg, Germany, E-mail:","institution_ids":["https://openalex.org/I223822909"]},{"raw_affiliation_string":"Heidelberg University","institution_ids":["https://openalex.org/I223822909"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001250728","display_name":"Nenad Mihailovi\u0107","orcid":null},"institutions":[{"id":"https://openalex.org/I223822909","display_name":"Heidelberg University","ror":"https://ror.org/038t36y30","country_code":"DE","type":"education","lineage":["https://openalex.org/I223822909"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Nenad Mihailovi\u0107","raw_affiliation_strings":["Institut f\u00fcr Informatik, Ruprecht-Karls-Universit\u00e4t Heidelberg, Im Neuenheimer Feld 294, D\u201369120 Heidelberg, Germany, E-mail:","Heidelberg University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informatik, Ruprecht-Karls-Universit\u00e4t Heidelberg, Im Neuenheimer Feld 294, D\u201369120 Heidelberg, Germany, E-mail:","institution_ids":["https://openalex.org/I223822909"]},{"raw_affiliation_string":"Heidelberg University","institution_ids":["https://openalex.org/I223822909"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I223822909"],"apc_list":null,"apc_paid":null,"fwci":1.3679,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.82097145,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"69","issue":"3","first_page":"862","last_page":"878"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":1.0,"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":1.0,"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.9860000014305115,"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.9814000129699707,"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/complement","display_name":"Complement (music)","score":0.7125096321105957},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6406162977218628},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.6267831921577454},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5590194463729858},{"id":"https://openalex.org/keywords/random-compact-set","display_name":"Random compact set","score":0.5587246417999268},{"id":"https://openalex.org/keywords/turing","display_name":"Turing","score":0.5290616750717163},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.47839248180389404},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4742642641067505},{"id":"https://openalex.org/keywords/recursively-enumerable-set","display_name":"Recursively enumerable set","score":0.4652560353279114},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4128454327583313},{"id":"https://openalex.org/keywords/random-element","display_name":"Random element","score":0.38874900341033936},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3518802523612976},{"id":"https://openalex.org/keywords/recursively-enumerable-language","display_name":"Recursively enumerable language","score":0.3199197053909302},{"id":"https://openalex.org/keywords/random-variable","display_name":"Random variable","score":0.24567201733589172},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.08317062258720398},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.049225300550460815}],"concepts":[{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.7125096321105957},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6406162977218628},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.6267831921577454},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5590194463729858},{"id":"https://openalex.org/C52627884","wikidata":"https://www.wikidata.org/wiki/Q4424101","display_name":"Random compact set","level":4,"score":0.5587246417999268},{"id":"https://openalex.org/C9870796","wikidata":"https://www.wikidata.org/wiki/Q490481","display_name":"Turing","level":2,"score":0.5290616750717163},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.47839248180389404},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4742642641067505},{"id":"https://openalex.org/C52703633","wikidata":"https://www.wikidata.org/wiki/Q676835","display_name":"Recursively enumerable set","level":3,"score":0.4652560353279114},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4128454327583313},{"id":"https://openalex.org/C52386014","wikidata":"https://www.wikidata.org/wiki/Q166211","display_name":"Random element","level":3,"score":0.38874900341033936},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3518802523612976},{"id":"https://openalex.org/C203702658","wikidata":"https://www.wikidata.org/wiki/Q1073063","display_name":"Recursively enumerable language","level":2,"score":0.3199197053909302},{"id":"https://openalex.org/C122123141","wikidata":"https://www.wikidata.org/wiki/Q176623","display_name":"Random variable","level":2,"score":0.24567201733589172},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.08317062258720398},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.049225300550460815},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C188082640","wikidata":"https://www.wikidata.org/wiki/Q1780899","display_name":"Complementation","level":4,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C127716648","wikidata":"https://www.wikidata.org/wiki/Q104053","display_name":"Phenotype","level":3,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2178/jsl/1096901772","is_oa":false,"landing_page_url":"https://doi.org/10.2178/jsl/1096901772","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1096901772","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1096901772","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"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":"","raw_type":"Text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W10794601","https://openalex.org/W57086874","https://openalex.org/W352853685","https://openalex.org/W623765668","https://openalex.org/W1468232371","https://openalex.org/W1564417539","https://openalex.org/W1638203394","https://openalex.org/W1861312691","https://openalex.org/W1975790950","https://openalex.org/W1987343909","https://openalex.org/W2006580730","https://openalex.org/W2008797389","https://openalex.org/W2024893387","https://openalex.org/W2056414301","https://openalex.org/W2067580807","https://openalex.org/W2141215780","https://openalex.org/W2176419554","https://openalex.org/W2268443045","https://openalex.org/W2499081645","https://openalex.org/W2798735774","https://openalex.org/W4230960895","https://openalex.org/W4232277851","https://openalex.org/W4237363759","https://openalex.org/W4238578162","https://openalex.org/W4248851369","https://openalex.org/W4255316878","https://openalex.org/W4285719527","https://openalex.org/W4292003037","https://openalex.org/W6602242242"],"related_works":["https://openalex.org/W1972481159","https://openalex.org/W2037833610","https://openalex.org/W1973052363","https://openalex.org/W1980641386","https://openalex.org/W2094468224","https://openalex.org/W2132512348","https://openalex.org/W4249600134","https://openalex.org/W2757989085","https://openalex.org/W2135152748","https://openalex.org/W798745779"],"abstract_inverted_index":{"Abstract.":[0],"We":[1],"present":[2],"a":[3,39,51,59],"comparatively":[4],"simple":[5],"way":[6],"to":[7],"construct":[8,38],"Martin-L\u00f6f":[9,40,73,99],"random":[10,41,74,100],"and":[11,30,67,96],"rec-random":[12,60,91],"sets":[13,75],"with":[14],"certain":[15],"additional":[16],"properties,":[17],"which":[18,44],"works":[19],"by":[20],"diagonalizing":[21],"against":[22],"appropriate":[23],"martingales.":[24],"Reviewing":[25],"the":[26,54,86],"result":[27],"of":[28,53],"G\u00e1cs":[29],"Ku\u010dera,":[31],"for":[32],"any":[33],"given":[34],"set":[35,42,61,92,101],"X":[36,45],"we":[37,57,68],"from":[43],"can":[46],"be":[47],"decoded":[48],"effectively.":[49],"By":[50],"variant":[52],"basic":[55],"construction":[56],"obtain":[58],"that":[62,70,76,89,97],"is":[63,93,102],"weak":[64],"truth-table":[65,94],"autoreducible":[66,95],"observe":[69],"there":[71],"are":[72,77],"computably":[78],"enumerable":[79],"self-reducible.":[80],"The":[81],"two":[82],"latter":[83],"results":[84],"complement":[85],"known":[87],"facts":[88],"no":[90,98],"Turing-autoreducible":[103],"[8,":[104],"24].":[105]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}