{"id":"https://openalex.org/W2116467396","doi":"https://doi.org/10.1017/s1755020308080192","title":"FREGE MEETS ZERMELO: A PERSPECTIVE ON INEFFABILITY AND REFLECTION","display_name":"FREGE MEETS ZERMELO: A PERSPECTIVE ON INEFFABILITY AND REFLECTION","publication_year":2008,"publication_date":"2008-08-01","ids":{"openalex":"https://openalex.org/W2116467396","doi":"https://doi.org/10.1017/s1755020308080192","mag":"2116467396"},"language":"en","primary_location":{"id":"doi:10.1017/s1755020308080192","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020308080192","pdf_url":null,"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":null,"license_id":null,"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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030334025","display_name":"Stewart Shapiro","orcid":"https://orcid.org/0000-0002-4895-0772"},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"STEWART SHAPIRO","raw_affiliation_strings":["The Ohio State University and University of St Andrews"],"affiliations":[{"raw_affiliation_string":"The Ohio State University and University of St Andrews","institution_ids":["https://openalex.org/I52357470"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065991013","display_name":"Gabriel Uzquiano","orcid":"https://orcid.org/0000-0002-1860-6452"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"GABRIEL UZQUIANO","raw_affiliation_strings":["University of Oxford"],"affiliations":[{"raw_affiliation_string":"University of Oxford","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5030334025","https://openalex.org/A5065991013"],"corresponding_institution_ids":["https://openalex.org/I40120149","https://openalex.org/I52357470"],"apc_list":null,"apc_paid":null,"fwci":0.4479,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.65638229,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"1","issue":"2","first_page":"241","last_page":"266"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"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/T10258","display_name":"Philosophy and Theoretical Science","score":0.9936000108718872,"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/T10778","display_name":"Philosophy and History of Science","score":0.9869999885559082,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"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/axiom","display_name":"Axiom","score":0.7110052704811096},{"id":"https://openalex.org/keywords/perspective","display_name":"Perspective (graphical)","score":0.6133023500442505},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.609550952911377},{"id":"https://openalex.org/keywords/reflection","display_name":"Reflection (computer programming)","score":0.5532929301261902},{"id":"https://openalex.org/keywords/zermelo\u2013fraenkel-set-theory","display_name":"Zermelo\u2013Fraenkel set theory","score":0.5452133417129517},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5103959441184998},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.49251970648765564},{"id":"https://openalex.org/keywords/set-theory","display_name":"Set theory","score":0.48099812865257263},{"id":"https://openalex.org/keywords/universe","display_name":"Universe","score":0.43014758825302124},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.4183613061904907},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.37477463483810425},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.349598228931427},{"id":"https://openalex.org/keywords/axiom-of-choice","display_name":"Axiom of choice","score":0.32412925362586975},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.23914608359336853},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.22966423630714417},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.1383139193058014},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.08995360136032104},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.0686560571193695}],"concepts":[{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.7110052704811096},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.6133023500442505},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.609550952911377},{"id":"https://openalex.org/C65682993","wikidata":"https://www.wikidata.org/wiki/Q1056451","display_name":"Reflection (computer programming)","level":2,"score":0.5532929301261902},{"id":"https://openalex.org/C51460","wikidata":"https://www.wikidata.org/wiki/Q191849","display_name":"Zermelo\u2013Fraenkel set theory","level":5,"score":0.5452133417129517},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5103959441184998},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.49251970648765564},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.48099812865257263},{"id":"https://openalex.org/C84999194","wikidata":"https://www.wikidata.org/wiki/Q1","display_name":"Universe","level":2,"score":0.43014758825302124},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.4183613061904907},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.37477463483810425},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.349598228931427},{"id":"https://openalex.org/C151797676","wikidata":"https://www.wikidata.org/wiki/Q179692","display_name":"Axiom of choice","level":4,"score":0.32412925362586975},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.23914608359336853},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.22966423630714417},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1383139193058014},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.08995360136032104},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0686560571193695},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s1755020308080192","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1755020308080192","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:98fc2d3f-68a9-4f18-b299-1577c23fc4bd","is_oa":false,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:98fc2d3f-68a9-4f18-b299-1577c23fc4bd","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Symplectic Elements at Oxford","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":47,"referenced_works":["https://openalex.org/W4594304","https://openalex.org/W111437986","https://openalex.org/W154666901","https://openalex.org/W181022646","https://openalex.org/W186787734","https://openalex.org/W333470958","https://openalex.org/W943508897","https://openalex.org/W1017774957","https://openalex.org/W1559762209","https://openalex.org/W1567440803","https://openalex.org/W1621016112","https://openalex.org/W1642665437","https://openalex.org/W1708393443","https://openalex.org/W1980581030","https://openalex.org/W1984222270","https://openalex.org/W1988354173","https://openalex.org/W1989353065","https://openalex.org/W1989367560","https://openalex.org/W1990474964","https://openalex.org/W1999064891","https://openalex.org/W2006325208","https://openalex.org/W2042520932","https://openalex.org/W2053454736","https://openalex.org/W2055655687","https://openalex.org/W2069302826","https://openalex.org/W2072440437","https://openalex.org/W2077912161","https://openalex.org/W2098551671","https://openalex.org/W2104828175","https://openalex.org/W2109492210","https://openalex.org/W2134005108","https://openalex.org/W2213496947","https://openalex.org/W2281168372","https://openalex.org/W2313051635","https://openalex.org/W2320853213","https://openalex.org/W2502214533","https://openalex.org/W2511589825","https://openalex.org/W3152741257","https://openalex.org/W3185721569","https://openalex.org/W4234684401","https://openalex.org/W4237249315","https://openalex.org/W4248511342","https://openalex.org/W4251667945","https://openalex.org/W4388260123","https://openalex.org/W4388318459","https://openalex.org/W4388357140","https://openalex.org/W6725523600"],"related_works":["https://openalex.org/W1574825745","https://openalex.org/W2016661762","https://openalex.org/W2373903136","https://openalex.org/W102647493","https://openalex.org/W3197691547","https://openalex.org/W3112295066","https://openalex.org/W1511476185","https://openalex.org/W2151251236","https://openalex.org/W4283073961","https://openalex.org/W4389430687"],"abstract_inverted_index":{"1.":[0],"Philosophical":[1],"background:":[2],"iteration,":[3],"ineffability,":[4],"reflection.":[5],"There":[6],"are":[7],"at":[8],"least":[9],"two":[10],"heuristic":[11],"motivations":[12],"for":[13,53],"the":[14,31,36,54,57,70],"axioms":[15],"of":[16,33,41],"standard":[17],"set":[18,28],"theory,":[19],"by":[20],"which":[21,62],"we":[22],"mean,":[23],"as":[24],"usual,":[25],"first-order":[26],"Zermelo\u2013Fraenkel":[27],"theory":[29],"with":[30],"axiom":[32],"choice":[34],"(ZFC):":[35],"iterative":[37],"conception":[38],"and":[39],"limitation":[40],"size":[42],"(see":[43],"Boolos,":[44],"1989).":[45],"Each":[46],"strand":[47],"provides":[48],"a":[49],"rather":[50],"hospitable":[51],"environment":[52],"hypothesis":[55],"that":[56],"set-theoretic":[58],"universe":[59],"is":[60,63,72],"ineffable,":[61],"our":[64],"target":[65],"in":[66,74],"this":[67],"paper,":[68],"although":[69],"motivation":[71],"different":[73],"each":[75],"case.":[76]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}