{"id":"https://openalex.org/W1518856561","doi":"https://doi.org/10.1007/978-3-540-45220-1_21","title":"The Arithmetical Complexity of Dimension and Randomness","display_name":"The Arithmetical Complexity of Dimension and Randomness","publication_year":2003,"publication_date":"2003-01-01","ids":{"openalex":"https://openalex.org/W1518856561","doi":"https://doi.org/10.1007/978-3-540-45220-1_21","mag":"1518856561"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-45220-1_21","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-45220-1_21","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"article","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/cs/0408043","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077270481","display_name":"John M. Hitchcock","orcid":"https://orcid.org/0000-0002-8614-7307"},"institutions":[{"id":"https://openalex.org/I12834331","display_name":"University of Wyoming","ror":"https://ror.org/01485tq96","country_code":"US","type":"education","lineage":["https://openalex.org/I12834331"]},{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"John M. Hitchcock","raw_affiliation_strings":["Department of Computer Science, Iowa State University, Ames, IA, 50011, USA","University of Wyoming , Laramie, WY"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Iowa State University, Ames, IA, 50011, USA","institution_ids":["https://openalex.org/I173911158"]},{"raw_affiliation_string":"University of Wyoming , Laramie, WY","institution_ids":["https://openalex.org/I12834331"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064796448","display_name":"Jack H. Lutz","orcid":"https://orcid.org/0000-0003-1004-3891"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jack H. Lutz","raw_affiliation_strings":["Department of Computer Science, Iowa State University, Ames, IA, 50011, USA","Iowa State University, Ames, IA"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Iowa State University, Ames, IA, 50011, USA","institution_ids":["https://openalex.org/I173911158"]},{"raw_affiliation_string":"Iowa State University, Ames, IA","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076144323","display_name":"Sebastiaan A. Terwijn","orcid":"https://orcid.org/0000-0002-1464-6908"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Sebastiaan A. Terwijn","raw_affiliation_strings":["Technische Universit\u00e4t Wien, Wiedner Hauptstrasse 8-10, A-1040, Vienna, Austria","Technische Universit\u00e4t Wien; Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Wien, Wiedner Hauptstrasse 8-10, A-1040, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Technische Universit\u00e4t Wien; Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5077270481"],"corresponding_institution_ids":["https://openalex.org/I12834331","https://openalex.org/I173911158"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0583651,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"8","issue":"2","first_page":"13","last_page":"13"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9991000294685364,"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.9991000294685364,"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.9575999975204468,"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.9120000004768372,"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/hausdorff-dimension","display_name":"Hausdorff dimension","score":0.8066912889480591},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.782802939414978},{"id":"https://openalex.org/keywords/packing-dimension","display_name":"Packing dimension","score":0.7333046793937683},{"id":"https://openalex.org/keywords/dimension","display_name":"Dimension (graph theory)","score":0.6012643575668335},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.5721156597137451},{"id":"https://openalex.org/keywords/effective-dimension","display_name":"Effective dimension","score":0.5628040432929993},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.5385099649429321},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.5382184386253357},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5151737928390503},{"id":"https://openalex.org/keywords/arithmetic-function","display_name":"Arithmetic function","score":0.4897730350494385},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.48146167397499084},{"id":"https://openalex.org/keywords/randomness","display_name":"Randomness","score":0.4221244752407074},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4214518368244171},{"id":"https://openalex.org/keywords/minkowski\u2013bouligand-dimension","display_name":"Minkowski\u2013Bouligand dimension","score":0.4191516935825348},{"id":"https://openalex.org/keywords/inductive-dimension","display_name":"Inductive dimension","score":0.4150669276714325},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.41018858551979065},{"id":"https://openalex.org/keywords/fractal-dimension","display_name":"Fractal dimension","score":0.27648162841796875},{"id":"https://openalex.org/keywords/fractal","display_name":"Fractal","score":0.1788899302482605},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.12988534569740295},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08188331127166748}],"concepts":[{"id":"https://openalex.org/C194198291","wikidata":"https://www.wikidata.org/wiki/Q565186","display_name":"Hausdorff dimension","level":2,"score":0.8066912889480591},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.782802939414978},{"id":"https://openalex.org/C80661125","wikidata":"https://www.wikidata.org/wiki/Q5404299","display_name":"Packing dimension","level":5,"score":0.7333046793937683},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.6012643575668335},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.5721156597137451},{"id":"https://openalex.org/C115311070","wikidata":"https://www.wikidata.org/wiki/Q5347255","display_name":"Effective dimension","level":3,"score":0.5628040432929993},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.5385099649429321},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5382184386253357},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5151737928390503},{"id":"https://openalex.org/C112343008","wikidata":"https://www.wikidata.org/wiki/Q140744","display_name":"Arithmetic function","level":2,"score":0.4897730350494385},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.48146167397499084},{"id":"https://openalex.org/C125112378","wikidata":"https://www.wikidata.org/wiki/Q176640","display_name":"Randomness","level":2,"score":0.4221244752407074},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4214518368244171},{"id":"https://openalex.org/C101597101","wikidata":"https://www.wikidata.org/wiki/Q2555655","display_name":"Minkowski\u2013Bouligand dimension","level":4,"score":0.4191516935825348},{"id":"https://openalex.org/C66844729","wikidata":"https://www.wikidata.org/wiki/Q841816","display_name":"Inductive dimension","level":5,"score":0.4150669276714325},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.41018858551979065},{"id":"https://openalex.org/C26546657","wikidata":"https://www.wikidata.org/wiki/Q1412452","display_name":"Fractal dimension","level":3,"score":0.27648162841796875},{"id":"https://openalex.org/C40636538","wikidata":"https://www.wikidata.org/wiki/Q81392","display_name":"Fractal","level":2,"score":0.1788899302482605},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.12988534569740295},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08188331127166748},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"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/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","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},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/978-3-540-45220-1_21","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-45220-1_21","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"doi:10.1145/1227839.1227845","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1227839.1227845","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:cs/0408043","is_oa":true,"landing_page_url":"http://arxiv.org/abs/cs/0408043","pdf_url":"https://arxiv.org/pdf/cs/0408043","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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:CiteSeerX.psu:10.1.1.13.7307","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.7307","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.iastate.edu/~jhitchco/papers/acdr.ps","raw_type":"text"},{"id":"doi:10.48550/arxiv.cs/0408043","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.cs/0408043","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":null,"raw_type":"article"},{"id":"mag:1518856561","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/journals/eccc/eccc11.html#ECCC-TR04-079","pdf_url":null,"source":{"id":"https://openalex.org/S11189987","display_name":"Electronic colloquium on computational complexity","issn_l":"1433-8092","issn":["1433-8092"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Electronic colloquium on computational complexity","raw_type":null}],"best_oa_location":{"id":"pmh:oai:arXiv.org:cs/0408043","is_oa":true,"landing_page_url":"http://arxiv.org/abs/cs/0408043","pdf_url":"https://arxiv.org/pdf/cs/0408043","source":{"id":"https://openalex.org/S4393918464","display_name":"ArXiv.org","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W986821702","https://openalex.org/W1491216198","https://openalex.org/W1597033183","https://openalex.org/W1664039392","https://openalex.org/W1880819836","https://openalex.org/W1964013156","https://openalex.org/W1985086503","https://openalex.org/W2006145946","https://openalex.org/W2046221643","https://openalex.org/W2051681827","https://openalex.org/W2057621739","https://openalex.org/W2067580807","https://openalex.org/W2076165639","https://openalex.org/W2082201286","https://openalex.org/W2117832390","https://openalex.org/W2124771639","https://openalex.org/W2286900275","https://openalex.org/W2499081645","https://openalex.org/W2769895002","https://openalex.org/W4230960895","https://openalex.org/W4249333042","https://openalex.org/W6619767332","https://openalex.org/W6629303034","https://openalex.org/W6629551114","https://openalex.org/W6632206580","https://openalex.org/W6633210880","https://openalex.org/W6669273983","https://openalex.org/W6696064080"],"related_works":["https://openalex.org/W2950888959","https://openalex.org/W2951461820","https://openalex.org/W3200027702","https://openalex.org/W2737486113","https://openalex.org/W2972880515","https://openalex.org/W3143489396","https://openalex.org/W247209993","https://openalex.org/W3012034764","https://openalex.org/W1978098265","https://openalex.org/W2034673847","https://openalex.org/W2097553438","https://openalex.org/W2017584560","https://openalex.org/W2963062403","https://openalex.org/W2142716986","https://openalex.org/W2066233455","https://openalex.org/W2342937936","https://openalex.org/W1972481159","https://openalex.org/W2404312679","https://openalex.org/W1489701161","https://openalex.org/W3165963906"],"abstract_inverted_index":{"Constructive":[0],"dimension":[1,5,23,30,47,52,88],"and":[2,11,27,37,49,65,169],"constructive":[3],"strong":[4,29,51,87],"are":[6,176],"effectivizations":[7],"of":[8,43,46,50,112,140,156,165,172],"the":[9,41,86,110,113,135,151,163,170],"Hausdorff":[10],"packing":[12],"dimensions,":[13],"respectively.":[14,54],"Each":[15],"infinite":[16],"binary":[17],"sequence":[18],"A":[19],"is":[20,59,78,102,132,148],"assigned":[21],"a":[22,28,92,99,106],"$\\dim(A)":[24],"\\in":[25],"[0,1]$":[26],"Dim(A)":[31],"\u2208":[32,74,125],"[0,1].":[33],"Let":[34],"DIM":[35,76],"\u03b1":[36,48,73,77,124],"${\\rm":[38,130,146],"DIM}_{str}^\\alpha$":[39,131],"be":[40],"classes":[42],"all":[44,68,119],"sequences":[45,168,175],"\u03b1,":[53],"We":[55,143,159],"show":[56,128,144],"that":[57,66,129,145,162],"DIM0":[58],"properly":[60,79,133,149,177],"$\\Pi^{\\rm":[61,80,136,152,178],"0}_{\\rm":[62,70,81,115,121,137,153,179],"2}$":[63,71,122,154],",":[64],"for":[67],"$\\Delta^{\\rm":[69,120],"-computable":[72,123],"(0,1],":[75],"3}$":[82,138,180],".":[83,181],"To":[84],"classify":[85],"classes,":[89],"we":[90,127],"use":[91],"more":[93],"powerful":[94],"effective":[95],"Borel":[96],"hierarchy":[97],"where":[98],"co-enumerable":[100],"predicate":[101,108],"used":[103],"rather":[104],"than":[105],"enumerable":[107],"in":[109,134,150],"definition":[111],"$\\Sigma^{\\rm":[114],"1}$":[116],"level.":[117],"For":[118],"[0,1),":[126],"level":[139,155],"this":[141,157],"hierarchy.":[142,158],"DIM}_{str}^1$":[147],"also":[160],"prove":[161],"class":[164,171],"Schnorr":[166],"random":[167,174],"computably":[173]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}