{"id":"https://openalex.org/W2080864926","doi":"https://doi.org/10.1305/ndjfl/1093888013","title":"A note on the axiom of choice and the continuum hypothesis.","display_name":"A note on the axiom of choice and the continuum hypothesis.","publication_year":1977,"publication_date":"1977-07-01","ids":{"openalex":"https://openalex.org/W2080864926","doi":"https://doi.org/10.1305/ndjfl/1093888013","mag":"2080864926"},"language":"en","primary_location":{"id":"doi:10.1305/ndjfl/1093888013","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093888013","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-18/issue-3/A-note-on-the-axiom-of-choice-and-the-continuum/10.1305/ndjfl/1093888013.pdf","source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-18/issue-3/A-note-on-the-axiom-of-choice-and-the-continuum/10.1305/ndjfl/1093888013.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082067000","display_name":"Rolf Schock","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Rolf Schock","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5082067000"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14100101,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"18","issue":"3","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12137","display_name":"Economic theories and models","score":0.7275999784469604,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T12137","display_name":"Economic theories and models","score":0.7275999784469604,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/axiom-of-choice","display_name":"Axiom of choice","score":0.878401517868042},{"id":"https://openalex.org/keywords/constructive-set-theory","display_name":"Constructive set theory","score":0.7581783533096313},{"id":"https://openalex.org/keywords/zermelo\u2013fraenkel-set-theory","display_name":"Zermelo\u2013Fraenkel set theory","score":0.7450418472290039},{"id":"https://openalex.org/keywords/urelement","display_name":"Urelement","score":0.6973638534545898},{"id":"https://openalex.org/keywords/axiom-independence","display_name":"Axiom independence","score":0.643975019454956},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.5751963257789612},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.513892650604248},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5118941068649292},{"id":"https://openalex.org/keywords/continuum-hypothesis","display_name":"Continuum hypothesis","score":0.5022811889648438},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.33298343420028687},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.23033037781715393},{"id":"https://openalex.org/keywords/set-theory","display_name":"Set theory","score":0.09214681386947632},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.07230949401855469},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.06826373934745789},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.052324116230010986},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.052200108766555786},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.04570189118385315}],"concepts":[{"id":"https://openalex.org/C151797676","wikidata":"https://www.wikidata.org/wiki/Q179692","display_name":"Axiom of choice","level":4,"score":0.878401517868042},{"id":"https://openalex.org/C556429856","wikidata":"https://www.wikidata.org/wiki/Q5164501","display_name":"Constructive set theory","level":5,"score":0.7581783533096313},{"id":"https://openalex.org/C51460","wikidata":"https://www.wikidata.org/wiki/Q191849","display_name":"Zermelo\u2013Fraenkel set theory","level":5,"score":0.7450418472290039},{"id":"https://openalex.org/C78550038","wikidata":"https://www.wikidata.org/wiki/Q1896657","display_name":"Urelement","level":5,"score":0.6973638534545898},{"id":"https://openalex.org/C170088968","wikidata":"https://www.wikidata.org/wiki/Q4830547","display_name":"Axiom independence","level":3,"score":0.643975019454956},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.5751963257789612},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.513892650604248},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5118941068649292},{"id":"https://openalex.org/C96488702","wikidata":"https://www.wikidata.org/wiki/Q208416","display_name":"Continuum hypothesis","level":2,"score":0.5022811889648438},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.33298343420028687},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.23033037781715393},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.09214681386947632},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.07230949401855469},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.06826373934745789},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.052324116230010986},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.052200108766555786},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.04570189118385315},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1305/ndjfl/1093888013","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093888013","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-18/issue-3/A-note-on-the-axiom-of-choice-and-the-continuum/10.1305/ndjfl/1093888013.pdf","source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.ndjfl/1093888013","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1093888013","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":{"id":"doi:10.1305/ndjfl/1093888013","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093888013","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-18/issue-3/A-note-on-the-axiom-of-choice-and-the-continuum/10.1305/ndjfl/1093888013.pdf","source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.49000000953674316,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2080864926.pdf","grobid_xml":"https://content.openalex.org/works/W2080864926.grobid-xml"},"referenced_works_count":3,"referenced_works":["https://openalex.org/W2067363638","https://openalex.org/W2082758679","https://openalex.org/W2140751245"],"related_works":["https://openalex.org/W288388583","https://openalex.org/W1995120876","https://openalex.org/W2350176099","https://openalex.org/W284553743","https://openalex.org/W2796622564","https://openalex.org/W2491940682","https://openalex.org/W2188217989","https://openalex.org/W2153777697","https://openalex.org/W3209909200","https://openalex.org/W2102114482"],"abstract_inverted_index":{"In":[0,171],"response":[1],"to":[2,33,86,101,156,325],"a":[3,92,203,218],"request":[4],"from":[5],"Roy":[6],"Davies":[7],"for":[8],"details":[9],"on":[10,301],"the":[11,18,81,95,110,129,132,137,141,150,153,158,177,185,249,255,275,305,317,322,337],"proof":[12,23,324],"of":[13,16,25,27,83,91,94,97,115,128,131,134,143,152,251,257,277,279,304],"Lemma":[14,28,98,280],"3":[15,99,103],"[4],":[17],"author":[19,318],"worked":[20],"out":[21],"his":[22],"sketch":[24],"(5)":[26,278],"1":[29,170],"and":[30,41,48,55,108,113,160,182,192,194,201,211,221],"found":[31],"it":[32],"be":[34,261,273],"erroneous.In":[35],"fact,":[36],"if":[37,286],"x":[38,44,47,63,69,191,193,200,212,213,220,231,234,287,292],"is":[39,70,78,119,146,149,176,198,208,215,226,233,237,244,283,288,293],"infinite":[40],"well-ordered,":[42],"then":[43],"=+":[45,54],"~":[46],"so":[49],"xr+ex^":[50],"although":[51],"x~":[52,57],"ex":[53],"not":[56,73,79,147,202,320],"ex~\\":[58],"that":[59,291],"is,":[60],"x$":[61],"c":[62],"=":[64,331],"\u03c6":[65],"only":[66,188],"holds":[67],"when":[68],"finite":[71],"or":[72,253],"well-ordered.Although":[74],"disappointing,":[75],"this":[76,264],"error":[77],"disastrous.With":[80],"aid":[82],"an":[84,89,105],"alternative":[85],"(":[87],"5),":[88],"iteration":[90,107],"part":[93],"antecedent":[96],"leads":[100],"Theorem":[102],"with":[104],"analogous":[106],"all":[109],"remaining":[111],"lemmas":[112],"theorems":[114],"[4].Some":[116],"additional":[117,161],"reasoning":[118],"needed,":[120],"but":[121,163,316],"far":[122],"less":[123],"than":[124],"usual":[125],"in":[126,228],"proofs":[127],"implication":[130],"axiom":[133],"choice":[135,252],"by":[136],"generalized":[138],"continuum":[139],"hypothesis.Also,":[140],"arithmetic":[142,268],"transfinite":[144],"numbers":[145,259],"employed.It":[148],"aim":[151],"present":[154],"note":[155],"provide":[157],"corrections":[159],"reasoning,":[162],"some":[164],"new":[165],"results":[166],"are":[167,184,190],"also":[168],"established.":[169],"what":[172],"follows,":[173],"{":[174],"}":[175],"empty":[178],"set":[179,246],"while":[180],"{x}":[181],"{xy}":[183],"sets":[186],"whose":[187],"members":[189],"3;":[195],"respectively.Also,":[196],"x-y":[197],"{a:ae":[199],"e":[204,219,223],"y},":[205],"x,":[206],"y":[207,214],"{{x\\":[209],"{xy}},":[210],"{a,":[216],"b:":[217],"b":[222],"3;}.Additional":[224],"notation":[225,271],"as":[227,336],"[4].In":[229],"particular,":[230],"+":[232],"\u03cbjVfand":[235],"(J":[236],"von":[238],"Neumann's":[239],"operation.The":[240],"set-theoretic":[241],"framework":[242],"employed":[243],"Zermelo-Fraenkel":[245],"theory":[247,256],"without":[248],"axioms":[250],"regularity.Since":[254],"cardinal":[258,267,270],"cannot":[260],"developed":[262],"within":[263],"framework,":[265],"neither":[266],"nor":[269],"can":[272],"employed.In":[274],"place":[276],"1,":[281],"putThere":[282],"no":[284],"problem":[285],"finite.Assume":[289],"instead":[290],"infinite.1.A":[294],"previous":[295],"short":[296],"correction":[297],"notice":[298],"was":[299,319,333],"printed":[300],"p.":[302],"464":[303],"Zeitschrift":[306],"fur":[307],"mathematische":[308],"Logik":[309],"und":[310],"Grundlagen":[311],"der":[312],"Mathematik,":[313],"vol.17":[314],"(1971),":[315],"sent":[321],"galley":[323],"read.The":[326],"formula":[327],"\"x$":[328,339],"-<":[329],"#":[330],"\u03c6\u03c6\"":[332],"there":[334],"misprinted":[335],"erroneous":[338],"Qx^\u03c8\u03c6\".":[340]},"counts_by_year":[],"updated_date":"2026-08-05T07:39:15.569665","created_date":"2025-10-10T00:00:00"}