{"id":"https://openalex.org/W4251836797","doi":"https://doi.org/10.1017/s1079898600010660","title":"Interpretability in Robinson's Q","display_name":"Interpretability in Robinson's Q","publication_year":2013,"publication_date":"2013-09-01","ids":{"openalex":"https://openalex.org/W4251836797","doi":"https://doi.org/10.1017/s1079898600010660"},"language":"en","primary_location":{"id":"doi:10.1017/s1079898600010660","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1079898600010660","pdf_url":null,"source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"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":"The Bulletin 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/A5043193622","display_name":"Fernando Ferreira","orcid":"https://orcid.org/0000-0002-8693-7210"},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]},{"id":"https://openalex.org/I88596544","display_name":"Universidade Lus\u00f3fona","ror":"https://ror.org/05xxfer42","country_code":"PT","type":"education","lineage":["https://openalex.org/I88596544"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Fernando Ferreira","raw_affiliation_strings":["Universidade Lus\u00f3fona de Humanidades e Tecnologias, Departamento de Matem\u00e1tica, AV. Do Campo Grande 376, 1749-024 Lisboa, Portugal","Universidade de Lisboa, Faculdade de Ci'encias, Departamento de Matem\u00e1tica, Campo Grande, ED. C6 1749-016 Lisboa, Portugal E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidade Lus\u00f3fona de Humanidades e Tecnologias, Departamento de Matem\u00e1tica, AV. Do Campo Grande 376, 1749-024 Lisboa, Portugal","institution_ids":["https://openalex.org/I88596544"]},{"raw_affiliation_string":"Universidade de Lisboa, Faculdade de Ci'encias, Departamento de Matem\u00e1tica, Campo Grande, ED. C6 1749-016 Lisboa, Portugal E-mail:","institution_ids":["https://openalex.org/I141596103"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012426547","display_name":"Gilda Ferreira","orcid":"https://orcid.org/0000-0003-1447-9764"},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Gilda Ferreira","raw_affiliation_strings":["Universidade de Lisboa, Faculdade de Ci\u00eancias, Departamento de Matem\u00e1tica, Campo Grande, ED. C6, 1749-016 Lisboa, Portugal E-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidade de Lisboa, Faculdade de Ci\u00eancias, Departamento de Matem\u00e1tica, Campo Grande, ED. C6, 1749-016 Lisboa, Portugal E-mail:","institution_ids":["https://openalex.org/I141596103"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7449,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.77230263,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":"19","issue":"3","first_page":"289","last_page":"317"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9991999864578247,"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.9991999864578247,"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/T12170","display_name":"History and Theory of Mathematics","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"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/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.992900013923645,"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/interpretability","display_name":"Interpretability","score":0.7649826407432556},{"id":"https://openalex.org/keywords/exponentiation","display_name":"Exponentiation","score":0.7049541473388672},{"id":"https://openalex.org/keywords/shadow","display_name":"Shadow (psychology)","score":0.6225225329399109},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.44706326723098755},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.442863792181015},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.36753493547439575},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.14071443676948547},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.1407090723514557},{"id":"https://openalex.org/keywords/psychoanalysis","display_name":"Psychoanalysis","score":0.07293614745140076}],"concepts":[{"id":"https://openalex.org/C2781067378","wikidata":"https://www.wikidata.org/wiki/Q17027399","display_name":"Interpretability","level":2,"score":0.7649826407432556},{"id":"https://openalex.org/C81539297","wikidata":"https://www.wikidata.org/wiki/Q33456","display_name":"Exponentiation","level":2,"score":0.7049541473388672},{"id":"https://openalex.org/C117797892","wikidata":"https://www.wikidata.org/wiki/Q286363","display_name":"Shadow (psychology)","level":2,"score":0.6225225329399109},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44706326723098755},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.442863792181015},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.36753493547439575},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.14071443676948547},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.1407090723514557},{"id":"https://openalex.org/C11171543","wikidata":"https://www.wikidata.org/wiki/Q41630","display_name":"Psychoanalysis","level":1,"score":0.07293614745140076},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s1079898600010660","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1079898600010660","pdf_url":null,"source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"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":"The Bulletin of Symbolic Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.4000000059604645,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W146959258","https://openalex.org/W192639025","https://openalex.org/W560364776","https://openalex.org/W1008748165","https://openalex.org/W1491173026","https://openalex.org/W1499179478","https://openalex.org/W1553142094","https://openalex.org/W1556453281","https://openalex.org/W1571003765","https://openalex.org/W1572451808","https://openalex.org/W2011612028","https://openalex.org/W2021956337","https://openalex.org/W2022073203","https://openalex.org/W2041548599","https://openalex.org/W2054162015","https://openalex.org/W2060030023","https://openalex.org/W2065905606","https://openalex.org/W2069792094","https://openalex.org/W2081002360","https://openalex.org/W2092790072","https://openalex.org/W2128026324","https://openalex.org/W2139227798","https://openalex.org/W2169685450","https://openalex.org/W2186740033","https://openalex.org/W2329848177","https://openalex.org/W2477566382","https://openalex.org/W2492590561","https://openalex.org/W2576868155","https://openalex.org/W4248733413","https://openalex.org/W4293117209","https://openalex.org/W4296119740","https://openalex.org/W6607890943"],"related_works":["https://openalex.org/W2905433371","https://openalex.org/W4390569940","https://openalex.org/W2888392564","https://openalex.org/W4361193272","https://openalex.org/W4310278675","https://openalex.org/W4388422664","https://openalex.org/W2806259446","https://openalex.org/W2963326959","https://openalex.org/W4247136043","https://openalex.org/W4312407344"],"abstract_inverted_index":{"Abstract":[0],"Edward":[1],"Nelson":[2,32],"published":[3],"in":[4,23,45,79],"1986":[5],"a":[6,35,68],"book":[7],"defending":[8],"an":[9,20],"extreme":[10],"formalist":[11],"view":[12],"of":[13,26,37,49,55,70,90],"mathematics":[14,41],"according":[15],"to":[16,97],"which":[17],"there":[18],"is":[19],"impassable":[21],"barrier":[22],"the":[24,29,53],"totality":[25],"exponentiation.":[27],"On":[28],"positive":[30],"side,":[31],"embarks":[33],"on":[34,95],"program":[36],"investigating":[38],"how":[39],"much":[40],"can":[42,76],"be":[43,77,84],"interpreted":[44,78],"Raphael":[46],"Robinson's":[47],"theory":[48],"arithmetic":[50],".":[51],"In":[52],"shadow":[54],"this":[56],"program,":[57],"some":[58,89],"very":[59],"nice":[60],"logical":[61],"investigations":[62],"and":[63,93],"results":[64,92],"were":[65],"produced":[66],"by":[67],"number":[69],"people,":[71],"not":[72],"only":[73],"regarding":[74],"what":[75,82],"but":[80],"also":[81],"cannot":[83],"so":[85],"interpreted.":[86],"We":[87],"explain":[88],"these":[91],"rely":[94],"them":[96],"discuss":[98],"Nelson's":[99],"position.":[100]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":17},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}