{"id":"https://openalex.org/W2131480787","doi":"https://doi.org/10.2307/2274182","title":"Heine-Borel does not imply the Fan Theorem","display_name":"Heine-Borel does not imply the Fan Theorem","publication_year":1984,"publication_date":"1984-06-01","ids":{"openalex":"https://openalex.org/W2131480787","doi":"https://doi.org/10.2307/2274182","mag":"2131480787"},"language":"en","primary_location":{"id":"doi:10.2307/2274182","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274182","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/A5015377052","display_name":"Ieke Moerdijk","orcid":null},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Ieke Moerdijk","raw_affiliation_strings":["University of Amsterdam, Amsterdam, The Netherlands","University of Amsterdam#N#"],"affiliations":[{"raw_affiliation_string":"University of Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"University of Amsterdam#N#","institution_ids":["https://openalex.org/I887064364"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5015377052"],"corresponding_institution_ids":["https://openalex.org/I887064364"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.26434354,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"49","issue":"2","first_page":"514","last_page":"519"},"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.9657999873161316,"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.9657999873161316,"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/T12170","display_name":"History and Theory of Mathematics","score":0.9347000122070312,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7490372061729431},{"id":"https://openalex.org/keywords/unit-interval","display_name":"Unit interval","score":0.5254334807395935},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.5132606029510498},{"id":"https://openalex.org/keywords/real-line","display_name":"Real line","score":0.4801289737224579},{"id":"https://openalex.org/keywords/compact-space","display_name":"Compact space","score":0.4558074474334717},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4228995740413666},{"id":"https://openalex.org/keywords/assertion","display_name":"Assertion","score":0.4211142361164093},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.34381771087646484},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.0886579155921936}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7490372061729431},{"id":"https://openalex.org/C128394911","wikidata":"https://www.wikidata.org/wiki/Q1987578","display_name":"Unit interval","level":2,"score":0.5254334807395935},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.5132606029510498},{"id":"https://openalex.org/C75432250","wikidata":"https://www.wikidata.org/wiki/Q29654355","display_name":"Real line","level":2,"score":0.4801289737224579},{"id":"https://openalex.org/C18648836","wikidata":"https://www.wikidata.org/wiki/Q381892","display_name":"Compact space","level":2,"score":0.4558074474334717},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4228995740413666},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.4211142361164093},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.34381771087646484},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.0886579155921936},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","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.2307/2274182","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2274182","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:repository.ubn.ru.nl:2066/128978","is_oa":false,"landing_page_url":"http://hdl.handle.net/2066/128978","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Symbolic Logic, 49, 2, pp. 514-519","raw_type":"Article / Letter to editor"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W19739292","https://openalex.org/W130842658"],"related_works":["https://openalex.org/W1498103021","https://openalex.org/W2157014216","https://openalex.org/W192497395","https://openalex.org/W2109523263","https://openalex.org/W265155364","https://openalex.org/W2036183990","https://openalex.org/W4388320420","https://openalex.org/W2118713677","https://openalex.org/W2091314650","https://openalex.org/W2950443399"],"abstract_inverted_index":{"This":[0],"paper":[1],"deals":[2],"with":[3,69],"locales":[4,116,144],"and":[5,60,102,137,189],"their":[6],"spaces":[7,121],"of":[8,21,25,45,52,115,122,149,181,184,214,228,250,297],"points":[9,34,123,175,185,208,224,229],"in":[10,17,58,74,112,154,159,193],"intuitionistic":[11,194],"analysis":[12,195],"or,":[13],"if":[14],"you":[15],"like,":[16],"(Grothendieck)":[18],"toposes.":[19],"One":[20],"the":[22,26,42,65,70,96,103,110,113,169,179,182,197,202,212,237,254,294],"important":[23],"aspects":[24],"problem":[27],"whether":[28],"a":[29,46,280],"certain":[30],"locale":[31,220],"has":[32,173,206,222,263],"enough":[33,147,174,207,223,264],"is":[35,38,67,176,190,209,233,246,249],"that":[36,64,75,171,204,260,267],"it":[37,287],"directly":[39],"related":[40],"to":[41,178,211,275,286],"(constructive)":[43],"completeness":[44],"geometric":[47],"theory.":[48],"A":[49],"useful":[50],"exposition":[51],"this":[53,156],"relationship":[54],"may":[55,157],"be":[56,125],"found":[57],"[1],":[59],"we":[61],"will":[62,78,124,284],"assume":[63],"reader":[66],"familiar":[68],"general":[71],"framework":[72],"described":[73],"paper.":[76],"We":[77,283],"consider":[79],"four":[80],"formal":[81,86,91,97,104],"spaces,":[82],"or":[83,153],"locales,":[84],"namely":[85],"Cantor":[87],"space":[88,93,106,183,227],"C":[89,129,172,187],",":[90,95,101],"Baire":[92],"B":[94,132,205],"real":[98],"line":[99],"R":[100,107,108,135,139,140,221,231,244,261,262,274],"function":[105],"being":[109],"exponential":[111],"category":[114],"(cf.":[117],"[3]).":[118],"The":[119,219,258],"corresponding":[120],"denoted":[126],"by":[127],"pt(":[128,131,134,138,186,230,243],"),":[130,133,188],")":[136,232,245],").":[141],"Classically,":[142],"these":[143],"all":[145],"have":[146,279],"points,":[148,265],"course,":[150],"but":[151],"constructively":[152],"sheaves":[155],"fail":[158],"each":[160],"case.":[161],"Let":[162],"us":[163],"recall":[164],"some":[165],"facts":[166],"from":[167,273],"[1]:":[168],"assertion":[170,203],"equivalent":[177,210],"compactness":[180],"traditionally":[191],"known":[192,252],"as":[196,253,293],"Fan":[198],"Theorem":[199,256],"(FT).":[200],"Similarly,":[201],"principle":[213,295],"(monotone)":[215],"Bar":[216],"Induction":[217],"(BI).":[218],"iff":[225],"its":[226],"locally":[234],"compact,":[235,247],"i.e.":[236,266],"unit":[238],"interval":[239],"pt[0,":[240],"1]":[241],"\u2282":[242],"which":[248],"course":[251],"Heine-Borel":[255],"(HB).":[257],"statement":[259],"there":[268],"are":[269],"\u201cenough\u201d":[270],"continuous":[271],"functions":[272],"itself,":[276],"does":[277],"not":[278],"well-established":[281],"name.":[282],"refer":[285],"(not":[288],"very":[289],"imaginatively,":[290],"I":[291],"admit)":[292],"(EF)":[296],"Enough":[298],"Functions.":[299]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}