{"id":"https://openalex.org/W2144373230","doi":"https://doi.org/10.2178/bsl/1082986260","title":"Predicative Fragments of Frege Arithmetic","display_name":"Predicative Fragments of Frege Arithmetic","publication_year":2004,"publication_date":"2004-06-01","ids":{"openalex":"https://openalex.org/W2144373230","doi":"https://doi.org/10.2178/bsl/1082986260","mag":"2144373230"},"language":"en","primary_location":{"id":"doi:10.2178/bsl/1082986260","is_oa":false,"landing_page_url":"https://doi.org/10.2178/bsl/1082986260","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":"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/A5088267964","display_name":"\u00d8ystein Linnebo","orcid":"https://orcid.org/0000-0002-3530-0295"},"institutions":[{"id":"https://openalex.org/I184942183","display_name":"University of Oslo","ror":"https://ror.org/01xtthb56","country_code":"NO","type":"education","lineage":["https://openalex.org/I184942183"]}],"countries":["NO"],"is_corresponding":true,"raw_author_name":"\u00d8ystein Linnebo","raw_affiliation_strings":["Department of Philosophy, University of Oslo, Postboks 1020 Blindern, N-0315 Oslo, NorwayE-mail:","Department of Philosophy, University of Oslo, Postboks 1020 Blindern, N-0315 Oslo, Norway E-mail/i: , oystein.linnebo@filosofi.uio.no"],"affiliations":[{"raw_affiliation_string":"Department of Philosophy, University of Oslo, Postboks 1020 Blindern, N-0315 Oslo, NorwayE-mail:","institution_ids":["https://openalex.org/I184942183"]},{"raw_affiliation_string":"Department of Philosophy, University of Oslo, Postboks 1020 Blindern, N-0315 Oslo, Norway E-mail/i: , oystein.linnebo@filosofi.uio.no","institution_ids":["https://openalex.org/I184942183"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5088267964"],"corresponding_institution_ids":["https://openalex.org/I184942183"],"apc_list":null,"apc_paid":null,"fwci":2.7887,"has_fulltext":false,"cited_by_count":48,"citation_normalized_percentile":{"value":0.90030125,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"10","issue":"2","first_page":"153","last_page":"174"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9448999762535095,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9448999762535095,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12558","display_name":"Wittgensteinian philosophy and applications","score":0.925599992275238,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11463","display_name":"Classical Philosophy and Thought","score":0.9247999787330627,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/predicative-expression","display_name":"Predicative expression","score":0.952404260635376},{"id":"https://openalex.org/keywords/peano-axioms","display_name":"Peano axioms","score":0.9343363046646118},{"id":"https://openalex.org/keywords/successor-cardinal","display_name":"Successor cardinal","score":0.7998608350753784},{"id":"https://openalex.org/keywords/second-order-arithmetic","display_name":"Second-order arithmetic","score":0.7437378764152527},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7006170153617859},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5921033024787903},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4587131142616272},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.4560203552246094},{"id":"https://openalex.org/keywords/natural-number","display_name":"Natural number","score":0.44021356105804443},{"id":"https://openalex.org/keywords/g\u00f6dels-incompleteness-theorems","display_name":"G\u00f6del's incompleteness theorems","score":0.4310024380683899},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.16282910108566284},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.14384132623672485},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.0934058129787445}],"concepts":[{"id":"https://openalex.org/C129131279","wikidata":"https://www.wikidata.org/wiki/Q1931259","display_name":"Predicative expression","level":2,"score":0.952404260635376},{"id":"https://openalex.org/C97489613","wikidata":"https://www.wikidata.org/wiki/Q842755","display_name":"Peano axioms","level":2,"score":0.9343363046646118},{"id":"https://openalex.org/C75306776","wikidata":"https://www.wikidata.org/wiki/Q7632662","display_name":"Successor cardinal","level":2,"score":0.7998608350753784},{"id":"https://openalex.org/C65148605","wikidata":"https://www.wikidata.org/wiki/Q7442973","display_name":"Second-order arithmetic","level":3,"score":0.7437378764152527},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7006170153617859},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5921033024787903},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4587131142616272},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.4560203552246094},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.44021356105804443},{"id":"https://openalex.org/C180937797","wikidata":"https://www.wikidata.org/wiki/Q200787","display_name":"G\u00f6del's incompleteness theorems","level":3,"score":0.4310024380683899},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.16282910108566284},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.14384132623672485},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0934058129787445},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"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/C2781302003","wikidata":"https://www.wikidata.org/wiki/Q3294091","display_name":"G\u00f6del","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.2178/bsl/1082986260","is_oa":false,"landing_page_url":"https://doi.org/10.2178/bsl/1082986260","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":"Bulletin of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:research-information.bris.ac.uk:openaire_cris_publications/6471cac1-9e9b-4d62-bb97-2e408a0330ec","is_oa":false,"landing_page_url":"https://research-information.bris.ac.uk/en/publications/6471cac1-9e9b-4d62-bb97-2e408a0330ec","pdf_url":null,"source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Linnebo, O 2004, 'Predicative Fragments of Frege Arithmetic', Bulletin of Symbolic Logic, vol. 10 (2), pp. 153 - 174. https://doi.org/10.2178/bsl/1082986260","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:CULeuclid:euclid.bsl/1082986260","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.bsl/1082986260","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W87519738","https://openalex.org/W91080868","https://openalex.org/W114225339","https://openalex.org/W117257520","https://openalex.org/W181022646","https://openalex.org/W182606372","https://openalex.org/W770408143","https://openalex.org/W819579785","https://openalex.org/W1527204405","https://openalex.org/W1550834519","https://openalex.org/W1555643099","https://openalex.org/W1980339904","https://openalex.org/W2007916369","https://openalex.org/W2012262903","https://openalex.org/W2014395308","https://openalex.org/W2016779016","https://openalex.org/W2020935285","https://openalex.org/W2070213729","https://openalex.org/W2074231115","https://openalex.org/W2079963815","https://openalex.org/W2083768987","https://openalex.org/W2093750847","https://openalex.org/W2107465304","https://openalex.org/W2109323615","https://openalex.org/W2122923441","https://openalex.org/W2139650446","https://openalex.org/W2161340888","https://openalex.org/W2312607026","https://openalex.org/W2320853213","https://openalex.org/W2488517255","https://openalex.org/W2491330304","https://openalex.org/W2501881729","https://openalex.org/W2799147727","https://openalex.org/W2991059803","https://openalex.org/W3021941708","https://openalex.org/W3129785333","https://openalex.org/W3131964652","https://openalex.org/W3153988519","https://openalex.org/W3194009119","https://openalex.org/W4229693731","https://openalex.org/W4244586024","https://openalex.org/W4255212202","https://openalex.org/W4388216386","https://openalex.org/W4388253611","https://openalex.org/W4388260008","https://openalex.org/W4388260050","https://openalex.org/W4388260124","https://openalex.org/W4388260146","https://openalex.org/W6678406524","https://openalex.org/W6680828009"],"related_works":["https://openalex.org/W2951195380","https://openalex.org/W1983194356","https://openalex.org/W1986380412","https://openalex.org/W3206674358","https://openalex.org/W1865816693","https://openalex.org/W4206475822","https://openalex.org/W1782959649","https://openalex.org/W2790669912","https://openalex.org/W171744056","https://openalex.org/W2902863915"],"abstract_inverted_index":{"Abstract":[0],"Frege":[1],"Arithmetic":[2],"(FA)":[3],"is":[4,12,23],"the":[5,18,26,35,39,77,80,107,112,125,132],"second-order":[6,58,82],"theory":[7],"whose":[8],"sole":[9],"non-logical":[10],"axiom":[11,113],"Hume's":[13,75],"Principle,":[14,76],"which":[15],"says":[16],"that":[17,102,114,124,134],"number":[19,27,117],"of":[20,28,57,66,87,97],"F":[21,36],"s":[22,30,37,41],"identical":[24],"to":[25,47,72],"G":[29,40],"if":[31,34],"and":[32,38,51],"only":[33],"can":[42],"be":[43,129],"one-to-one":[44],"correlated.":[45],"According":[46],"Frege's":[48,88],"Theorem,":[49],"FA":[50],"some":[52],"natural":[53,116],"definitions":[54],"imply":[55],"all":[56],"Peano":[59],"Arithmetic.":[60],"This":[61],"paper":[62],"distinguishes":[63],"two":[64],"dimensions":[65],"impredicativity":[67],"involved":[68],"in":[69,92,131,137],"FA\u2014one":[70],"having":[71],"do":[73],"with":[74,79],"other,":[78],"underlying":[81],"logic\u2014and":[83],"investigates":[84],"how":[85],"much":[86],"Theorem":[89,99,121],"goes":[90,105],"through":[91],"various":[93],"partially":[94],"predicative":[95,136],"fragments":[96],"FA.":[98],"1":[100],"shows":[101,123],"almost":[103],"everything":[104],"through,":[106],"most":[108],"important":[109],"exception":[110],"being":[111],"every":[115],"has":[118],"a":[119],"successor.":[120],"2":[122],"Successor":[126],"Axiom":[127],"cannot":[128],"proved":[130],"theories":[133],"are":[135],"either":[138],"dimension.":[139]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":4}],"updated_date":"2026-04-02T15:55:50.835912","created_date":"2025-10-10T00:00:00"}