{"id":"https://openalex.org/W2891240794","doi":"https://doi.org/10.1142/s0219061320500063","title":"Computable aspects of the Bachmann\u2013Howard principle","display_name":"Computable aspects of the Bachmann\u2013Howard principle","publication_year":2019,"publication_date":"2019-08-21","ids":{"openalex":"https://openalex.org/W2891240794","doi":"https://doi.org/10.1142/s0219061320500063","mag":"2891240794"},"language":"en","primary_location":{"id":"doi:10.1142/s0219061320500063","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0219061320500063","pdf_url":null,"source":{"id":"https://openalex.org/S29890666","display_name":"Journal of Mathematical Logic","issn_l":"0219-0613","issn":["0219-0613","1793-6691"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Mathematical Logic","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1809.06774","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Anton Freund","orcid":null},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Anton Freund","raw_affiliation_strings":["Fachbereich Mathematik, Technische Universit\u00e4t Darmstadt, Schlossgartenstr. 7, 64289 Darmstadt, Germany"],"affiliations":[{"raw_affiliation_string":"Fachbereich Mathematik, Technische Universit\u00e4t Darmstadt, Schlossgartenstr. 7, 64289 Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I31512782"],"apc_list":null,"apc_paid":null,"fwci":2.1954,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.88425633,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"20","issue":"02","first_page":"2050006","last_page":"2050006"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.986299991607666,"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.986299991607666,"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/T10126","display_name":"Logic, programming, and type systems","score":0.005900000222027302,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.00139999995008111,"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/statement","display_name":"Statement (logic)","score":0.8158000111579895},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.5539000034332275},{"id":"https://openalex.org/keywords/dilator","display_name":"Dilator","score":0.5238999724388123},{"id":"https://openalex.org/keywords/computable-analysis","display_name":"Computable analysis","score":0.47110000252723694},{"id":"https://openalex.org/keywords/computable-number","display_name":"Computable number","score":0.46399998664855957},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.45260000228881836},{"id":"https://openalex.org/keywords/computable-function","display_name":"Computable function","score":0.44040000438690186}],"concepts":[{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.8158000111579895},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7204999923706055},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5539000034332275},{"id":"https://openalex.org/C2777032099","wikidata":"https://www.wikidata.org/wiki/Q1225425","display_name":"Dilator","level":2,"score":0.5238999724388123},{"id":"https://openalex.org/C27318111","wikidata":"https://www.wikidata.org/wiki/Q5157264","display_name":"Computable analysis","level":3,"score":0.47110000252723694},{"id":"https://openalex.org/C156382255","wikidata":"https://www.wikidata.org/wiki/Q818895","display_name":"Computable number","level":4,"score":0.46399998664855957},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.45260000228881836},{"id":"https://openalex.org/C54271186","wikidata":"https://www.wikidata.org/wiki/Q1148456","display_name":"Computable function","level":2,"score":0.44040000438690186},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.4023999869823456},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.38989999890327454},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3695000112056732},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.3621000051498413},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3450999855995178},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3231000006198883},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.31709998846054077},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.27880001068115234},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.2533999979496002}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1142/s0219061320500063","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0219061320500063","pdf_url":null,"source":{"id":"https://openalex.org/S29890666","display_name":"Journal of Mathematical Logic","issn_l":"0219-0613","issn":["0219-0613","1793-6691"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Mathematical Logic","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1809.06774","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1809.06774","pdf_url":"https://arxiv.org/pdf/1809.06774","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1809.06774","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1809.06774","pdf_url":"https://arxiv.org/pdf/1809.06774","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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W147341884","https://openalex.org/W1916594589","https://openalex.org/W1987660018","https://openalex.org/W2052953762","https://openalex.org/W2088408332","https://openalex.org/W2146064316","https://openalex.org/W2155734270","https://openalex.org/W2170311001","https://openalex.org/W4229690001"],"related_works":[],"abstract_inverted_index":{"We":[0,42],"have":[1],"previously":[2],"established":[3],"that":[4,13,31,45,77],"[Formula:":[5,23,39,54,64,72,78,87,95,107],"see":[6,24,40,55,65,73,79,88,96,108],"text]-comprehension":[7],"is":[8,68,81,101],"equivalent":[9,93],"to":[10,38,71,94],"the":[11,32,46,99,104,114],"statement":[12,76,112],"every":[14],"dilator":[15,53,86],"has":[16],"a":[17,52,61,111,119],"well-founded":[18],"Bachmann\u2013Howard":[19,48],"fixed":[20,49],"point,":[21],"over":[22,118],"text].":[25,41,74],"In":[26],"this":[27],"paper,":[28],"we":[29],"show":[30,44],"base":[33],"theory":[34],"can":[35,57],"be":[36,58,92],"lowered":[37],"also":[43],"minimal":[47],"point":[50],"of":[51,116,121],"text]":[56,80,89,109],"represented":[59],"by":[60],"notation":[62],"system":[63,120],"text],":[66],"which":[67],"computable":[69,105,122],"relative":[70],"The":[75],"well":[82],"founded":[83],"for":[84],"any":[85],"will":[90],"still":[91],"text]-comprehension.":[97],"Thus,":[98],"latter":[100],"split":[102],"into":[103],"transformation":[106],"and":[110],"about":[113],"preservation":[115],"well-foundedness,":[117],"mathematics.":[123]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2018-09-27T00:00:00"}