{"id":"https://openalex.org/W4224071056","doi":"https://doi.org/10.1017/s1755020322000156","title":"TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE","display_name":"TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE","publication_year":2022,"publication_date":"2022-04-18","ids":{"openalex":"https://openalex.org/W4224071056","doi":"https://doi.org/10.1017/s1755020322000156"},"language":"en","primary_location":{"id":"doi:10.1017/s1755020322000156","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1755020322000156","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/BCF32F9942DB516F6002CA8B4D3C449D/S1755020322000156a.pdf/div-class-title-two-sorted-frege-arithmetic-is-not-conservative-div.pdf","source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/BCF32F9942DB516F6002CA8B4D3C449D/S1755020322000156a.pdf/div-class-title-two-sorted-frege-arithmetic-is-not-conservative-div.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049213499","display_name":"Stephen Mackereth","orcid":"https://orcid.org/0000-0001-8150-9658"},"institutions":[{"id":"https://openalex.org/I170201317","display_name":"University of Pittsburgh","ror":"https://ror.org/01an3r305","country_code":"US","type":"education","lineage":["https://openalex.org/I170201317"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"STEPHEN MACKERETH","raw_affiliation_strings":["DEPARTMENT OF PHILOSOPHY UNIVERSITY OF PITTSBURGHPITTSBURGH, PA, USA"],"raw_orcid":"https://orcid.org/0000-0001-8150-9658","affiliations":[{"raw_affiliation_string":"DEPARTMENT OF PHILOSOPHY UNIVERSITY OF PITTSBURGHPITTSBURGH, PA, USA","institution_ids":["https://openalex.org/I170201317"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003483051","display_name":"Jeremy Avigad","orcid":"https://orcid.org/0000-0003-1275-315X"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"JEREMY AVIGAD","raw_affiliation_strings":["DEPARTMENT OF PHILOSOPHY CARNEGIE MELLON UNIVERSITYPITTSBURGH, PA, USAE-mail:"],"raw_orcid":"https://orcid.org/0000-0003-1275-315X","affiliations":[{"raw_affiliation_string":"DEPARTMENT OF PHILOSOPHY CARNEGIE MELLON UNIVERSITYPITTSBURGH, PA, USAE-mail:","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5049213499"],"corresponding_institution_ids":["https://openalex.org/I170201317"],"apc_list":null,"apc_paid":null,"fwci":0.4525,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.64225721,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"16","issue":"4","first_page":"1199","last_page":"1232"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9994000196456909,"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.9994000196456909,"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/T10258","display_name":"Philosophy and Theoretical Science","score":0.9987000226974487,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9983999729156494,"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/axiom","display_name":"Axiom","score":0.6867950558662415},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.5625883936882019},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5117642879486084},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.459934264421463},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3956286907196045}],"concepts":[{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6867950558662415},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.5625883936882019},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5117642879486084},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.459934264421463},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3956286907196045},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1017/s1755020322000156","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1755020322000156","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/BCF32F9942DB516F6002CA8B4D3C449D/S1755020322000156a.pdf/div-class-title-two-sorted-frege-arithmetic-is-not-conservative-div.pdf","source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:figshare.com:article/29951435","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"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":"Journal contribution"},{"id":"pmh:oai:philarchive.org/rec/MACTFA-11","is_oa":false,"landing_page_url":"https://philarchive.org/rec/MACTFA-11","pdf_url":null,"source":{"id":"https://openalex.org/S4306402130","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"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":"info:eu-repo/semantics/article"},{"id":"pmh:oai:philarchive.org/rec/MACTFA-12","is_oa":false,"landing_page_url":"https://philarchive.org/rec/MACTFA-12","pdf_url":null,"source":{"id":"https://openalex.org/S4306402130","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"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":"info:eu-repo/semantics/article"},{"id":"pmh:oai:philpapers.org/rec/MACTFA-11","is_oa":false,"landing_page_url":"https://philpapers.org/rec/MACTFA-11","pdf_url":null,"source":{"id":"https://openalex.org/S4306402131","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"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":"info:eu-repo/semantics/article"},{"id":"pmh:oai:philpapers.org/rec/MACTFA-12","is_oa":false,"landing_page_url":"https://philpapers.org/rec/MACTFA-12","pdf_url":null,"source":{"id":"https://openalex.org/S4306402131","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"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":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1017/s1755020322000156","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1755020322000156","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/BCF32F9942DB516F6002CA8B4D3C449D/S1755020322000156a.pdf/div-class-title-two-sorted-frege-arithmetic-is-not-conservative-div.pdf","source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4224071056.pdf","grobid_xml":"https://content.openalex.org/works/W4224071056.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W181022646","https://openalex.org/W623387397","https://openalex.org/W1545721382","https://openalex.org/W1572451808","https://openalex.org/W1601654835","https://openalex.org/W1971020770","https://openalex.org/W2007789427","https://openalex.org/W2024349210","https://openalex.org/W2034103717","https://openalex.org/W2037834323","https://openalex.org/W2055655687","https://openalex.org/W2057897097","https://openalex.org/W2090459414","https://openalex.org/W2105505307","https://openalex.org/W2138693191","https://openalex.org/W2489555792","https://openalex.org/W2529466265","https://openalex.org/W2538310804","https://openalex.org/W2768695153","https://openalex.org/W3021941708","https://openalex.org/W3153373781","https://openalex.org/W4210857673","https://openalex.org/W4229690001","https://openalex.org/W4231995434","https://openalex.org/W4239779295","https://openalex.org/W4240856143","https://openalex.org/W4251667945","https://openalex.org/W4388253611"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W1587224694","https://openalex.org/W2911598644"],"abstract_inverted_index":{"Abstract":[0],"Neo-Fregean":[1],"logicists":[2],"claim":[3],"that":[4,31,83,105],"Hume\u2019s":[5],"Principle":[6],"(":[7,63],"HP":[8,32,46,69,111],")":[9],"may":[10],"be":[11,75],"taken":[12],"as":[13],"an":[14],"implicit":[15],"definition":[16],"of":[17],"cardinal":[18],"number,":[19],"true":[20,49],"simply":[21],"by":[22,50],"fiat.":[23,51],"A":[24],"long-standing":[25],"problem":[26],"for":[27,97],"neo-Fregean":[28],"logicism":[29],"is":[30,33,89,112],"not":[34,90,113],"deductively":[35,76,114],"conservative":[36,77,91],"over":[37,78,92,116],"pure":[38],"axiomatic":[39],"second-order":[40,79],"logic.":[41,80,120],"This":[42],"seems":[43],"to":[44,74],"preclude":[45],"from":[47],"being":[48],"In":[52,86],"this":[53],"paper,":[54],"we":[55],"study":[56],"Richard":[57],"Kimberly":[58],"Heck\u2019s":[59],"Two-Sorted":[60],"Frege":[61],"Arithmetic":[62],"2FA":[64,88],"),":[65],"a":[66],"variation":[67],"on":[68],"which":[70],"has":[71],"been":[72],"thought":[73],"We":[81],"show":[82],"it":[84],"isn\u2019t.":[85],"fact,":[87],"n":[93],"-th":[94],"order":[95],"logic,":[96],"all":[98],"$n":[99],"\\geq":[100],"2$":[101],".":[102],"It":[103],"follows":[104],"in":[106],"the":[107],"usual":[108],"one-sorted":[109],"setting,":[110],"Field-conservative":[115],"second-":[117],"or":[118],"higher-order":[119]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}