{"id":"https://openalex.org/W2898285038","doi":"https://doi.org/10.1002/malq.201700057","title":"Connectedness of the continuum in intuitionistic mathematics","display_name":"Connectedness of the continuum in intuitionistic mathematics","publication_year":2018,"publication_date":"2018-10-18","ids":{"openalex":"https://openalex.org/W2898285038","doi":"https://doi.org/10.1002/malq.201700057","mag":"2898285038"},"language":"en","primary_location":{"id":"doi:10.1002/malq.201700057","is_oa":true,"landing_page_url":"https://doi.org/10.1002/malq.201700057","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/malq.201700057","source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/malq.201700057","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026605594","display_name":"Mark Bickford","orcid":"https://orcid.org/0000-0003-2294-7601"},"institutions":[{"id":"https://openalex.org/I1303444417","display_name":"Gates Foundation","ror":"https://ror.org/0456r8d26","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1303444417"]},{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Mark Bickford","raw_affiliation_strings":["Department of Computer Science Cornell University Bill and Melinda Gates Hall, 107 Hoy Rd Ithaca NY 14853 United States of America","Department of Computer Science, Cornell University, Bill and Melinda Gates Hall, 107 Hoy Rd, Ithaca, NY, 14853 United States of America"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science Cornell University Bill and Melinda Gates Hall, 107 Hoy Rd Ithaca NY 14853 United States of America","institution_ids":["https://openalex.org/I205783295"]},{"raw_affiliation_string":"Department of Computer Science, Cornell University, Bill and Melinda Gates Hall, 107 Hoy Rd, Ithaca, NY, 14853 United States of America","institution_ids":["https://openalex.org/I1303444417","https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5026605594"],"corresponding_institution_ids":["https://openalex.org/I1303444417","https://openalex.org/I205783295"],"apc_list":{"value":2900,"currency":"USD","value_usd":2900},"apc_paid":{"value":2900,"currency":"USD","value_usd":2900},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.21275737,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"64","issue":"4-5","first_page":"387","last_page":"394"},"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.9941999912261963,"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.9941999912261963,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9919000267982483,"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/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.9699000120162964,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/social-connectedness","display_name":"Social connectedness","score":0.8556877970695496},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8100098371505737},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.6245594620704651},{"id":"https://openalex.org/keywords/dedekind-cut","display_name":"Dedekind cut","score":0.6060723066329956},{"id":"https://openalex.org/keywords/constructive-set-theory","display_name":"Constructive set theory","score":0.5960448980331421},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5544556379318237},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.550653874874115},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.4801085293292999},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.4519680142402649},{"id":"https://openalex.org/keywords/axiom-of-choice","display_name":"Axiom of choice","score":0.4387572407722473},{"id":"https://openalex.org/keywords/type-theory","display_name":"Type theory","score":0.4230015277862549},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.39570507407188416},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.32047978043556213},{"id":"https://openalex.org/keywords/set-theory","display_name":"Set theory","score":0.20094621181488037},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.1509532332420349},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.0884140133857727}],"concepts":[{"id":"https://openalex.org/C201943243","wikidata":"https://www.wikidata.org/wiki/Q7551008","display_name":"Social connectedness","level":2,"score":0.8556877970695496},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8100098371505737},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.6245594620704651},{"id":"https://openalex.org/C76449584","wikidata":"https://www.wikidata.org/wiki/Q851333","display_name":"Dedekind cut","level":2,"score":0.6060723066329956},{"id":"https://openalex.org/C556429856","wikidata":"https://www.wikidata.org/wiki/Q5164501","display_name":"Constructive set theory","level":5,"score":0.5960448980331421},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5544556379318237},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.550653874874115},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4801085293292999},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.4519680142402649},{"id":"https://openalex.org/C151797676","wikidata":"https://www.wikidata.org/wiki/Q179692","display_name":"Axiom of choice","level":4,"score":0.4387572407722473},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.4230015277862549},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.39570507407188416},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.32047978043556213},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.20094621181488037},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.1509532332420349},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.0884140133857727},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"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/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","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},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/malq.201700057","is_oa":true,"landing_page_url":"https://doi.org/10.1002/malq.201700057","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/malq.201700057","source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1002/malq.201700057","is_oa":true,"landing_page_url":"https://doi.org/10.1002/malq.201700057","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/malq.201700057","source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.5400000214576721,"id":"https://metadata.un.org/sdg/10"}],"awards":[{"id":"https://openalex.org/G2746084357","display_name":"EAGER: Constructive Univalent Foundations","funder_award_id":"1650069","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2898285038.pdf","grobid_xml":"https://content.openalex.org/works/W2898285038.grobid-xml"},"referenced_works_count":7,"referenced_works":["https://openalex.org/W1419229136","https://openalex.org/W2011180021","https://openalex.org/W2037139913","https://openalex.org/W2045946828","https://openalex.org/W2110293416","https://openalex.org/W2283075517","https://openalex.org/W4239316923"],"related_works":["https://openalex.org/W1991980065","https://openalex.org/W288388583","https://openalex.org/W2076278624","https://openalex.org/W197851155","https://openalex.org/W2280660603","https://openalex.org/W1985277111","https://openalex.org/W946825185","https://openalex.org/W624501779","https://openalex.org/W2153378801","https://openalex.org/W2055120637"],"abstract_inverted_index":{"Abstract":[0],"Working":[1],"in":[2,115,125],"(Intuitionistic":[3],"analysis)":[4],"we":[5,74],"prove":[6,71],"a":[7,66,77,96],"strong,":[8],"constructive":[9,91,116],"connectedness":[10,57,124],"property":[11,43,58],"of":[12,99,113,128],"the":[13,31,84,104,110],"continuum:":[14],"for":[15],"any":[16],"non\u2010empty":[17,52],"sets,":[18],"A":[19],"and":[20,37,53,65,95],"B,":[21],"if":[22,36,48],"then":[23,38,54],"is":[24,27,34,44,59],"non\u2010empty.":[25],"It":[26],"well":[28],"known":[29],"that":[30,107,131],"intuitionistic":[32,134],"continuum":[33],"indecomposable:":[35],"or":[39],",":[40,63,64,69],"but":[41],"this":[42],"essentially":[45],"negative\u2014equivalent":[46],"to":[47,68,70],"A,":[49],"B":[50],"are":[51],".":[55,80],"Our":[56],"positive;":[60],"so,":[61],"given":[62],"witness":[67],"our":[72],"theorem":[73],"must":[75],"construct":[76,83],"real":[78,86],"number":[79,87],"We":[81,119],"can":[82],"needed":[85],"using":[88],"only":[89],"Bishop's":[90],"mathematics":[92],"(":[93],")":[94],"weak":[97],"form":[98],"Brouwer's":[100],"continuity":[101],"principle":[102],"(and":[103],"choice":[105],"principles":[106],"come":[108],"from":[109],"Brouwer\u2010Heyting\u2010Kolmogorov":[111],"interpretation":[112],"quantifiers":[114],"type":[117],"theory).":[118],"also":[120],"replace":[121],"indecomposability":[122],"by":[123],"some":[126],"results":[127],"van":[129],"Dalen":[130],"use":[132],"additional":[133],"axioms.":[135]},"counts_by_year":[],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}