{"id":"https://openalex.org/W2563706385","doi":"https://doi.org/10.1515/forma-2016-0009","title":"Cousin\u2019s Lemma","display_name":"Cousin\u2019s Lemma","publication_year":2016,"publication_date":"2016-06-01","ids":{"openalex":"https://openalex.org/W2563706385","doi":"https://doi.org/10.1515/forma-2016-0009","mag":"2563706385"},"language":"en","primary_location":{"id":"doi:10.1515/forma-2016-0009","is_oa":true,"landing_page_url":"https://doi.org/10.1515/forma-2016-0009","pdf_url":"https://content.sciendo.com/downloadpdf/journals/forma/24/2/article-p107.pdf","source":{"id":"https://openalex.org/S179241345","display_name":"Formalized Mathematics","issn_l":"1426-2630","issn":["1426-2630","1898-9934"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formalized Mathematics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://content.sciendo.com/downloadpdf/journals/forma/24/2/article-p107.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068514239","display_name":"Roland Coghetto","orcid":"https://orcid.org/0000-0002-4901-0766"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Roland Coghetto","raw_affiliation_strings":["Rue de la Brasserie 5, 7100 La Louvi\u00e8re, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Rue de la Brasserie 5, 7100 La Louvi\u00e8re, Belgium","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5068514239"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08140943,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"24","issue":"2","first_page":"107","last_page":"119"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11574","display_name":"Artificial Intelligence in Games","score":0.9879999756813049,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11574","display_name":"Artificial Intelligence in Games","score":0.9879999756813049,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T12504","display_name":"Mathematics and Applications","score":0.986299991607666,"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/T11245","display_name":"Advanced Numerical Analysis Techniques","score":0.9857000112533569,"subfield":{"id":"https://openalex.org/subfields/2206","display_name":"Computational Mechanics"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8204978108406067},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.584500253200531},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.44210225343704224},{"id":"https://openalex.org/keywords/perimeter","display_name":"Perimeter","score":0.43592169880867004},{"id":"https://openalex.org/keywords/metric-space","display_name":"Metric space","score":0.41568389534950256},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2799503803253174},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.2133743166923523}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8204978108406067},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.584500253200531},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.44210225343704224},{"id":"https://openalex.org/C98503990","wikidata":"https://www.wikidata.org/wiki/Q28474","display_name":"Perimeter","level":2,"score":0.43592169880867004},{"id":"https://openalex.org/C198043062","wikidata":"https://www.wikidata.org/wiki/Q180953","display_name":"Metric space","level":2,"score":0.41568389534950256},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2799503803253174},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.2133743166923523},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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":3,"locations":[{"id":"doi:10.1515/forma-2016-0009","is_oa":true,"landing_page_url":"https://doi.org/10.1515/forma-2016-0009","pdf_url":"https://content.sciendo.com/downloadpdf/journals/forma/24/2/article-p107.pdf","source":{"id":"https://openalex.org/S179241345","display_name":"Formalized Mathematics","issn_l":"1426-2630","issn":["1426-2630","1898-9934"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formalized Mathematics","raw_type":"journal-article"},{"id":"pmh:oai:repozytorium.uwb.edu.pl:11320/5496","is_oa":true,"landing_page_url":"http://hdl.handle.net/11320/5496","pdf_url":"http://hdl.handle.net/11320/5496","source":{"id":"https://openalex.org/S4306400933","display_name":"The Repository of University in Bialystok (University in Bialystok)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210094198","host_organization_name":"University Clinical Hospital In Bialystok","host_organization_lineage":["https://openalex.org/I4210094198"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"pmh:oai:doaj.org/article:e28adac9ffa5446c8f32aa976e9d9553","is_oa":false,"landing_page_url":"https://doaj.org/article/e28adac9ffa5446c8f32aa976e9d9553","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Formalized Mathematics, Vol 24, Iss 2, Pp 107-119 (2016)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1515/forma-2016-0009","is_oa":true,"landing_page_url":"https://doi.org/10.1515/forma-2016-0009","pdf_url":"https://content.sciendo.com/downloadpdf/journals/forma/24/2/article-p107.pdf","source":{"id":"https://openalex.org/S179241345","display_name":"Formalized Mathematics","issn_l":"1426-2630","issn":["1426-2630","1898-9934"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320322","host_organization_name":"De Gruyter Open","host_organization_lineage":["https://openalex.org/P4310320322","https://openalex.org/P4310313990"],"host_organization_lineage_names":["De Gruyter Open","De Gruyter"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formalized Mathematics","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2563706385.pdf","grobid_xml":"https://content.openalex.org/works/W2563706385.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W79552917","https://openalex.org/W118985555","https://openalex.org/W1507744378","https://openalex.org/W1545464436","https://openalex.org/W1758075963","https://openalex.org/W2031046906","https://openalex.org/W2066252944","https://openalex.org/W2096554033","https://openalex.org/W2104238184","https://openalex.org/W2105559527","https://openalex.org/W2133311781","https://openalex.org/W2150348213","https://openalex.org/W2185764091","https://openalex.org/W2466044803","https://openalex.org/W2485109269","https://openalex.org/W4236726598","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2488601361","https://openalex.org/W1977612671","https://openalex.org/W4235563942","https://openalex.org/W1970646112","https://openalex.org/W2075768481","https://openalex.org/W2064010689","https://openalex.org/W4297493199","https://openalex.org/W2999818717","https://openalex.org/W4316340007","https://openalex.org/W4297724417"],"abstract_inverted_index":{"Summary":[0],"We":[1,278],"formalize,":[2],"in":[3,25,35,47,55,63,71,77,213,235,245,288],"two":[4],"different":[5],"ways,":[6],"that":[7,180],"\u201cthe":[8],"n":[9],"-dimensional":[10],"Euclidean":[11,65],"metric":[12,17,49,66],"space":[13,50],"is":[14,190,203],"a":[15,167,172,191,227,231],"complete":[16,48],"space\u201d":[18],"(version":[19],"1.":[20],"with":[21,291],"the":[22,32,43,74,161,271,280,284],"results":[23,33],"obtained":[24,34],"[13],":[26,36],"[26],":[27],"[25]":[28],"and":[29,215,247,290,297],"version":[30],"2.,":[31],"[14],":[37],"(":[38],"registrations":[39],")":[40],"[24]).":[41],"With":[42],"Cantor\u2019s":[44],"theorem":[45],"-":[46],"(proof":[51],"by":[52,171],"Karol":[53],"P\u0105k":[54],"[22]),":[56],"we":[57,274],"formalize":[58,275],"\u201cThe":[59],"Nested":[60],"Intervals":[61],"Theorem":[62,286],"1-dimensional":[64],"space\u201d.":[67],"Pierre":[68],"Cousin\u2019s":[69,242,285],"proof":[70],"1892":[72],"[18]":[73],"lemma,":[75],"published":[76],"1895":[78],"[9]":[79],"states":[80],"that:":[81,255],"\u201cSoit,":[82],"sur":[83,157],"le":[84],"plan":[85],"YOX,":[86],"une":[87],"aire":[88],"connexe":[89],"S":[90,105,130,155,165,185,209,236],"limit\u00e9e":[91],"par":[92],"un":[93,111,150],"contour":[94],"ferm\u00e9":[95],"simple":[96,175],"ou":[97,106,156],"complexe;":[98],"on":[99,238],"suppose":[100],"qu\u2019\u00e0":[101],"chaque":[102],"point":[103,119,151,183,198,234],"de":[104,107,113,128],"son":[108,158],"p\u00e9rim\u00e8tre":[109],"correspond":[110],"cercle,":[112],"rayon":[114],"non":[115],"nul,":[116],"ayant":[117],"ce":[118],"pour":[120,139],"centre":[121],":":[122],"il":[123],"est":[124],"alors":[125],"toujours":[126],"possible":[127,206],"subdiviser":[129],"en":[131,133],"r\u00e9gions,":[132],"nombre":[134],"fini":[135],"et":[136],"assez":[137],"petites":[138],"que":[140],"chacune":[141],"d\u2019elles":[142],"soit":[143],"compl\u00e9tement":[144],"int\u00e9rieure":[145],"au":[146],"cercle":[147],"correspondant":[148],"\u00e0":[149],"convenablement":[152],"choisi":[153],"dans":[154],"p\u00e9rim\u00e8tre.\u201d":[159],"(In":[160],"plane":[162],"YOX":[163],"let":[164],"be":[166,224],"connected":[168],"area":[169],"bounded":[170],"closed":[173],"contour,":[174],"or":[176,186,237],"complex;":[177],"one":[178,220,265],"supposes":[179],"at":[181,263],"each":[182,219],"of":[184,193,221],"its":[187,200,239],"perimeter":[188],"there":[189,261],"circle,":[192],"non-zero":[194],"radius,":[195],"having":[196],"this":[197,276],"as":[199],"centre;":[201],"it":[202],"then":[204],"always":[205],"to":[207,223,230,283],"subdivide":[208],"into":[210],"regions,":[211],"finite":[212],"number":[214],"sufficiently":[216],"small":[217],"for":[218],"them":[222],"entirely":[225],"inside":[226],"circle":[228],"corresponding":[229],"suitably":[232],"chosen":[233],"perimeter)":[240],"[23].":[241],"Lemma,":[243],"used":[244],"Henstock":[246],"Kurzweil":[248],"integral":[249],"[29]":[250],"(generalized":[251],"Riemann":[252],"integral),":[253],"state":[254],"\u201cfor":[256],"any":[257],"gauge":[258],"\u03b4":[259,266],",":[260],"exists":[262],"least":[264],"-fine":[267],"tagged":[268],"partition\u201d.":[269],"In":[270],"last":[272],"section,":[273],"theorem.":[277],"use":[279],"suggestions":[281],"given":[282],"p.11":[287],"[5]":[289],"notations:":[292],"[4],":[293],"[29],":[294],"[19],":[295],"[28]":[296],"[12].":[298]},"counts_by_year":[],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2017-01-06T00:00:00"}