{"id":"https://openalex.org/W2067638726","doi":"https://doi.org/10.2307/2274324","title":"The status of the axiom of choice in set theory with a universal set","display_name":"The status of the axiom of choice in set theory with a universal set","publication_year":1985,"publication_date":"1985-09-01","ids":{"openalex":"https://openalex.org/W2067638726","doi":"https://doi.org/10.2307/2274324","mag":"2067638726"},"language":"en","primary_location":{"id":"doi:10.2307/2274324","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274324","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"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":"Journal 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/A5006033525","display_name":"Thomas F\u00f6rster","orcid":"https://orcid.org/0000-0002-7711-2276"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]},{"id":"https://openalex.org/I4210153325","display_name":"Institute of Mathematical Statistics","ror":"https://ror.org/043f04882","country_code":"US","type":"other","lineage":["https://openalex.org/I4210153325"]}],"countries":["GB","US"],"is_corresponding":true,"raw_author_name":"T. E. Forster","raw_affiliation_strings":["Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, Cambridge CB2 1SB, England"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, Cambridge CB2 1SB, England","institution_ids":["https://openalex.org/I241749","https://openalex.org/I4210153325"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5006033525"],"corresponding_institution_ids":["https://openalex.org/I241749","https://openalex.org/I4210153325"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.20692107,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"50","issue":"3","first_page":"701","last_page":"707"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9702000021934509,"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.9702000021934509,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.906499981880188,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/universal-set","display_name":"Universal set","score":0.9011090397834778},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6958000659942627},{"id":"https://openalex.org/keywords/zermelo\u2013fraenkel-set-theory","display_name":"Zermelo\u2013Fraenkel set theory","score":0.6740999221801758},{"id":"https://openalex.org/keywords/set-theory","display_name":"Set theory","score":0.6435075998306274},{"id":"https://openalex.org/keywords/quine","display_name":"Quine","score":0.6313341856002808},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.6123673915863037},{"id":"https://openalex.org/keywords/axiom-of-choice","display_name":"Axiom of choice","score":0.5802358984947205},{"id":"https://openalex.org/keywords/urelement","display_name":"Urelement","score":0.5199719667434692},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.4960707128047943},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.49287843704223633},{"id":"https://openalex.org/keywords/infinite-set","display_name":"Infinite set","score":0.46818435192108154},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.42683106660842896},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.3865375220775604},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.38650020956993103},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.17800849676132202},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16840970516204834}],"concepts":[{"id":"https://openalex.org/C102565666","wikidata":"https://www.wikidata.org/wiki/Q1378301","display_name":"Universal set","level":3,"score":0.9011090397834778},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6958000659942627},{"id":"https://openalex.org/C51460","wikidata":"https://www.wikidata.org/wiki/Q191849","display_name":"Zermelo\u2013Fraenkel set theory","level":5,"score":0.6740999221801758},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.6435075998306274},{"id":"https://openalex.org/C9270016","wikidata":"https://www.wikidata.org/wiki/Q1047886","display_name":"Quine","level":2,"score":0.6313341856002808},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6123673915863037},{"id":"https://openalex.org/C151797676","wikidata":"https://www.wikidata.org/wiki/Q179692","display_name":"Axiom of choice","level":4,"score":0.5802358984947205},{"id":"https://openalex.org/C78550038","wikidata":"https://www.wikidata.org/wiki/Q1896657","display_name":"Urelement","level":5,"score":0.5199719667434692},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.4960707128047943},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.49287843704223633},{"id":"https://openalex.org/C199879729","wikidata":"https://www.wikidata.org/wiki/Q205140","display_name":"Infinite set","level":3,"score":0.46818435192108154},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.42683106660842896},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.3865375220775604},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38650020956993103},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.17800849676132202},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16840970516204834},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2274324","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274324","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"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":"Journal of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1183741907","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183741907","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W1976151458","https://openalex.org/W2035278464","https://openalex.org/W2098788035","https://openalex.org/W3208273633","https://openalex.org/W4211060729","https://openalex.org/W4241164520","https://openalex.org/W4247089436"],"related_works":["https://openalex.org/W1574825745","https://openalex.org/W2079743999","https://openalex.org/W3197691547","https://openalex.org/W102647493","https://openalex.org/W2316565157","https://openalex.org/W2083134633","https://openalex.org/W1988223587","https://openalex.org/W1991020681","https://openalex.org/W4244304300","https://openalex.org/W177504871"],"abstract_inverted_index":{"The":[0,87,176],"purpose":[1,251],"of":[2,11,33,46,70,117,124,136,139,151,158,161,169,241,252,296],"this":[3,79,104,226],"paper":[4],"is":[5,180,184,219,286],"not":[6,19,270,287],"to":[7,59,101,182,232],"produce":[8],"a":[9,14,54,68,118,143,149,191],"survey":[10],"systems":[12,164],"with":[13,53,132,142,190,198,204],"universal":[15,55,144,192],"set:":[16],"we":[17,255],"do":[18,201],"yet":[20],"understand":[21],"them":[22],"well":[23,259],"enough.":[24],"Rather":[25],"it":[26,231,235],"will":[27,130,172,194],"concentrate":[28],"on":[29],"one":[30],"particular":[31,111],"aspect":[32],"them:":[34],"the":[35,110,122,137,178,238,242,249,282,294],"curious":[36],"circumstance":[37],"that":[38,185,217,234,247,284],"there":[39,288],"are":[40,265,273,279],"half-a-dozen":[41],"or":[42,115,167],"so":[43,245],"distinct":[44],"proofs":[45],"~":[47,71],"AC":[48,72,162],"available":[49],"in":[50,61,66,73,163],"set":[51,140,188,193,202,253],"theories":[52,141],"set.":[56],"This":[57],"began":[58],"emerge":[60],"1953":[62],"when":[63],"Specker":[64],"published":[65],"[2]":[67],"proof":[69,88],"Quine's":[74],"system":[75],"NF.":[76],"Until":[77],"recently":[78],"was":[80,105],"an":[81,99,106,133],"isolated":[82],"phenomenon":[83],"and":[84,92,127,267],"poorly":[85],"understood.":[86],"answered":[89],"few":[90],"questions":[91],"seemed":[93],"rather":[94],"ad":[95],"hoc,":[96],"thus":[97],"inviting":[98],"investigation":[100],"determine":[102],"whether":[103],"artefact":[107],"caused":[108],"by":[109],"axioms":[112],"for":[113,153,225],"NF,":[114],"part":[116],"general":[119],"conflict":[120],"between":[121],"demands":[123],"big":[125],"sets":[126],"AC.":[128,199],"We":[129],"start":[131],"informal":[134],"discussion":[135],"genesis":[138],"set,":[145],"collecting,":[146],"en":[147],"route,":[148],"number":[150,157],"desiderata":[152],"such":[154],"theories.":[155],"A":[156],"new":[159],"refutations":[160],"meeting":[165],"some":[166],"all":[168],"these":[170],"conditions":[171],"then":[173],"be":[174,223,293],"presented.":[175],"conclusion":[177],"reader":[179],"invited":[181],"draw":[183],"any":[186],"sensible":[187],"theory":[189,203,254],"probably":[195],"have":[196],"trouble":[197],"Why":[200],"V":[205,207,285],"e":[206,218],"at":[208],"all?":[209],"It":[210,221],"contradicts":[211],"conventional":[212],"wisdom":[213],"which":[214],"teaches":[215],"us":[216,229],"wellfounded.":[220],"must":[222],"said":[224],"doctrine":[227],"(let":[228],"abbreviate":[230],"WOOF)":[233],"has":[236],"enabled":[237],"rapid":[239],"execution":[240],"logicist":[243],"programme,":[244],"if":[246],"were":[248],"sole":[250],"could":[256],"consider":[257],"ourselves":[258],"served.":[260],"However":[261],"most":[262],"pure":[263],"mathematicians":[264],"platonists":[266],"study":[268],"things":[269],"because":[271,277],"they":[272,278],"useful":[274],"but":[275],"simply":[276],"there.":[280],"And":[281],"belief":[283],"can,":[289],"after":[290],"all,":[291],"only":[292],"result":[295],"early":[297],"conditioning.":[298]},"counts_by_year":[{"year":2018,"cited_by_count":12}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}