{"id":"https://openalex.org/W1965352021","doi":"https://doi.org/10.1002/malq.201100106","title":"On Spector's bar recursion","display_name":"On Spector's bar recursion","publication_year":2012,"publication_date":"2012-07-18","ids":{"openalex":"https://openalex.org/W1965352021","doi":"https://doi.org/10.1002/malq.201100106","mag":"1965352021"},"language":"en","primary_location":{"id":"doi:10.1002/malq.201100106","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201100106","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","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/A5084236771","display_name":"Paulo Oliva","orcid":"https://orcid.org/0000-0002-0492-4855"},"institutions":[{"id":"https://openalex.org/I166337079","display_name":"Queen Mary University of London","ror":"https://ror.org/026zzn846","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I166337079"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Paulo Oliva","raw_affiliation_strings":["School of Electronic Engineering and Computer Science, Queen Mary University of London, London E1 4NS, United Kingdom","School of Electronic Engineering and Computer Science, Queen Mary, University of London, London, E1 4NS, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electronic Engineering and Computer Science, Queen Mary University of London, London E1 4NS, United Kingdom","institution_ids":["https://openalex.org/I166337079"]},{"raw_affiliation_string":"School of Electronic Engineering and Computer Science, Queen Mary, University of London, London, E1 4NS, United Kingdom","institution_ids":["https://openalex.org/I166337079"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039063941","display_name":"Thomas Powell","orcid":"https://orcid.org/0000-0002-2541-4678"},"institutions":[{"id":"https://openalex.org/I166337079","display_name":"Queen Mary University of London","ror":"https://ror.org/026zzn846","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I166337079"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Thomas Powell","raw_affiliation_strings":["School of Electronic Engineering and Computer Science, Queen Mary University of London, London E1 4NS, United Kingdom","School of Electronic Engineering and Computer Science, Queen Mary, University of London, London, E1 4NS, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electronic Engineering and Computer Science, Queen Mary University of London, London E1 4NS, United Kingdom","institution_ids":["https://openalex.org/I166337079"]},{"raw_affiliation_string":"School of Electronic Engineering and Computer Science, Queen Mary, University of London, London, E1 4NS, United Kingdom","institution_ids":["https://openalex.org/I166337079"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5084236771"],"corresponding_institution_ids":["https://openalex.org/I166337079"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":2.3799,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.88102677,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"58","issue":"4-5","first_page":"356","last_page":"265"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9994999766349792,"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.9994999766349792,"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.9984999895095825,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9948999881744385,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/recursion","display_name":"Recursion (computer science)","score":0.9198724031448364},{"id":"https://openalex.org/keywords/iterated-function","display_name":"Iterated function","score":0.8716018199920654},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6732000708580017},{"id":"https://openalex.org/keywords/bar","display_name":"Bar (unit)","score":0.6671817302703857},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.5690396428108215},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5501936674118042},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.46632152795791626},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.28958219289779663},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.21097689867019653},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.054677218198776245},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.050076842308044434},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.0398004949092865}],"concepts":[{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.9198724031448364},{"id":"https://openalex.org/C140479938","wikidata":"https://www.wikidata.org/wiki/Q5254619","display_name":"Iterated function","level":2,"score":0.8716018199920654},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6732000708580017},{"id":"https://openalex.org/C188721877","wikidata":"https://www.wikidata.org/wiki/Q103510","display_name":"Bar (unit)","level":2,"score":0.6671817302703857},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.5690396428108215},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5501936674118042},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.46632152795791626},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.28958219289779663},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.21097689867019653},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.054677218198776245},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.050076842308044434},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0398004949092865},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C153294291","wikidata":"https://www.wikidata.org/wiki/Q25261","display_name":"Meteorology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/malq.201100106","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.201100106","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","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":17,"referenced_works":["https://openalex.org/W561202933","https://openalex.org/W1525064220","https://openalex.org/W1608607427","https://openalex.org/W1610317994","https://openalex.org/W2028602249","https://openalex.org/W2037300268","https://openalex.org/W2048835253","https://openalex.org/W2078456795","https://openalex.org/W2106315319","https://openalex.org/W2170105957","https://openalex.org/W2509025323","https://openalex.org/W2600009487","https://openalex.org/W2734815139","https://openalex.org/W2911635509","https://openalex.org/W4236347697","https://openalex.org/W4285719527","https://openalex.org/W6758708581"],"related_works":["https://openalex.org/W1976679120","https://openalex.org/W2377519369","https://openalex.org/W3202311233","https://openalex.org/W4281614748","https://openalex.org/W32024214","https://openalex.org/W2765883196","https://openalex.org/W2034826746","https://openalex.org/W2396919090","https://openalex.org/W2379816237","https://openalex.org/W1965352021"],"abstract_inverted_index":{"Abstract":[0],"We":[1],"show":[2,28],"that":[3,29,51,72],"Spector's":[4,18,30],"\u201crestricted\u201d":[5],"form":[6,32,46],"of":[7,33,47,55,65,76,87],"bar":[8,34,48,56],"recursion":[9,35,57],"is":[10,24,36,79],"sufficient":[11],"(over":[12],"system":[13],"T":[14,80],")":[15],"to":[16,27,59,82],"define":[17],"search":[19],"functional.":[20],"This":[21],"new":[22],"result":[23],"then":[25],"used":[26],"restricted":[31],"in":[37],"fact":[38],"as":[39,41],"general":[40,45],"the":[42,60,83],"supposedly":[43],"more":[44],"recursion.":[49],"Given":[50],"these":[52],"two":[53],"forms":[54],"correspond":[58],"(explicitly":[61],"controlled)":[62],"iterated":[63,74,85],"products":[64],"selection":[66,77],"function":[67],"and":[68],"quantifiers,":[69],"it":[70],"follows":[71],"this":[73],"product":[75,86],"functions":[78],"\u2010equivalent":[81],"corresponding":[84],"quantifiers.":[88]},"counts_by_year":[{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-07T14:30:12.667765","created_date":"2025-10-10T00:00:00"}