{"id":"https://openalex.org/W2587854143","doi":"https://doi.org/10.1515/forma-2016-0014","title":"Double Sequences and Iterated Limits in Regular Space","display_name":"Double Sequences and Iterated Limits in Regular Space","publication_year":2016,"publication_date":"2016-09-01","ids":{"openalex":"https://openalex.org/W2587854143","doi":"https://doi.org/10.1515/forma-2016-0014","mag":"2587854143"},"language":"en","primary_location":{"id":"doi:10.1515/forma-2016-0014","is_oa":true,"landing_page_url":"https://doi.org/10.1515/forma-2016-0014","pdf_url":"https://content.sciendo.com/downloadpdf/journals/forma/24/3/article-p173.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/3/article-p173.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.1654086,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"24","issue":"3","first_page":"173","last_page":"186"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12062","display_name":"Approximation Theory and Sequence Spaces","score":0.9710999727249146,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"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/T12062","display_name":"Approximation Theory and Sequence Spaces","score":0.9710999727249146,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"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/T13400","display_name":"Mathematical and Theoretical Analysis","score":0.970300018787384,"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"}},{"id":"https://openalex.org/T12661","display_name":"Iterative Methods for Nonlinear Equations","score":0.9653000235557556,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"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.8541662096977234},{"id":"https://openalex.org/keywords/hausdorff-space","display_name":"Hausdorff space","score":0.6958622336387634},{"id":"https://openalex.org/keywords/iterated-function","display_name":"Iterated function","score":0.6729415059089661},{"id":"https://openalex.org/keywords/limit-of-a-sequence","display_name":"Limit of a sequence","score":0.624492347240448},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.6023261547088623},{"id":"https://openalex.org/keywords/cartesian-product","display_name":"Cartesian product","score":0.5523041486740112},{"id":"https://openalex.org/keywords/cartesian-coordinate-system","display_name":"Cartesian coordinate system","score":0.527285635471344},{"id":"https://openalex.org/keywords/limit","display_name":"Limit (mathematics)","score":0.5120325684547424},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.48907405138015747},{"id":"https://openalex.org/keywords/filter","display_name":"Filter (signal processing)","score":0.48861104249954224},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.4703909158706665},{"id":"https://openalex.org/keywords/convergence","display_name":"Convergence (economics)","score":0.4617251753807068},{"id":"https://openalex.org/keywords/section","display_name":"Section (typography)","score":0.42101776599884033},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3748365044593811},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.34604668617248535},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3238207697868347},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.22799831628799438},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.16108953952789307},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.07921037077903748}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8541662096977234},{"id":"https://openalex.org/C191399826","wikidata":"https://www.wikidata.org/wiki/Q326908","display_name":"Hausdorff space","level":2,"score":0.6958622336387634},{"id":"https://openalex.org/C140479938","wikidata":"https://www.wikidata.org/wiki/Q5254619","display_name":"Iterated function","level":2,"score":0.6729415059089661},{"id":"https://openalex.org/C71287196","wikidata":"https://www.wikidata.org/wiki/Q847204","display_name":"Limit of a sequence","level":3,"score":0.624492347240448},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.6023261547088623},{"id":"https://openalex.org/C65236422","wikidata":"https://www.wikidata.org/wiki/Q173740","display_name":"Cartesian product","level":2,"score":0.5523041486740112},{"id":"https://openalex.org/C16038011","wikidata":"https://www.wikidata.org/wiki/Q62912","display_name":"Cartesian coordinate system","level":2,"score":0.527285635471344},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.5120325684547424},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.48907405138015747},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.48861104249954224},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.4703909158706665},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.4617251753807068},{"id":"https://openalex.org/C2780129039","wikidata":"https://www.wikidata.org/wiki/Q1931107","display_name":"Section (typography)","level":2,"score":0.42101776599884033},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3748365044593811},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.34604668617248535},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3238207697868347},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.22799831628799438},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.16108953952789307},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.07921037077903748},{"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/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"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/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1515/forma-2016-0014","is_oa":true,"landing_page_url":"https://doi.org/10.1515/forma-2016-0014","pdf_url":"https://content.sciendo.com/downloadpdf/journals/forma/24/3/article-p173.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:doaj.org/article:7fc55be766d949288f1dcc4703018057","is_oa":false,"landing_page_url":"https://doaj.org/article/7fc55be766d949288f1dcc4703018057","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 3, Pp 173-186 (2016)","raw_type":"article"},{"id":"pmh:oai:repozytorium.uwb.edu.pl:11320/5552","is_oa":true,"landing_page_url":"http://hdl.handle.net/11320/5552","pdf_url":null,"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"}],"best_oa_location":{"id":"doi:10.1515/forma-2016-0014","is_oa":true,"landing_page_url":"https://doi.org/10.1515/forma-2016-0014","pdf_url":"https://content.sciendo.com/downloadpdf/journals/forma/24/3/article-p173.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/W2587854143.pdf","grobid_xml":"https://content.openalex.org/works/W2587854143.grobid-xml"},"referenced_works_count":11,"referenced_works":["https://openalex.org/W192809544","https://openalex.org/W2023102124","https://openalex.org/W2105559527","https://openalex.org/W2150348213","https://openalex.org/W2262332104","https://openalex.org/W2295728669","https://openalex.org/W2313095150","https://openalex.org/W2328655190","https://openalex.org/W3113233883","https://openalex.org/W4230564529","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W3030274415","https://openalex.org/W68628300","https://openalex.org/W2321187507","https://openalex.org/W2606561573","https://openalex.org/W4212840381","https://openalex.org/W4388499860","https://openalex.org/W2054038144","https://openalex.org/W4298141576","https://openalex.org/W2159978478","https://openalex.org/W2318888584"],"abstract_inverted_index":{"Abstract":[0],"First,":[1],"we":[2,45,97,121,158,174],"define":[3],"in":[4,56,67,71,92,104,109,127,133,139,146,154,167,193],"Mizar":[5],"[5],":[6],"the":[7,15,23,35,69,86,89,100,118,128,134,140,147,168,176,200,206],"Cartesian":[8,16],"product":[9,17,24],"of":[10,18,25,77,170],"two":[11,19,26,160],"filters":[12,28],"bases":[13],"and":[14,49,64,88,163,173,205],"filters.":[20],"After":[21],"comparing":[22],"Fr\u00e9chet":[27,36],"on":[29,38,112],"\u2115":[30,39,41,113,115],"(F":[31,42],"1":[32],")":[33],"with":[34],"filter":[37,90,111],"\u00d7":[40,114],"2":[43],"),":[44],"compare":[46],"lim":[47,50,138,145],"F\u2081":[48],"F\u2082":[51],"for":[52,74],"all":[53,192],"double":[54,75,101,171],"sequences":[55,172],"a":[57,93],"non":[58],"empty":[59],"topological":[60,94],"space.":[61,95,156,195],"Endou,":[62],"Okazaki":[63],"Shidama":[65],"formalized":[66],"[14]":[68,166],"\u201cconvergence":[70],"Pringsheim\u2019s":[72],"sense\u201d":[73,106],"sequence":[76,102],"real":[78],"numbers.":[79],"We":[80,196],"show":[81],"some":[82,123],"basic":[83],"correspondences":[84],"between":[85],"p-convergence":[87],"convergence":[91],"Then":[96],"formalize":[98,175],"that":[99],"converges":[103],"\u201cPringsheim\u2019s":[105],"but":[107],"not":[108],"Frechet":[110],"sense.":[116],"In":[117],"next":[119],"section,":[120],"generalize":[122,159],"definitions:":[124],"\u201cis":[125,131],"convergent":[126,132],"first":[129,141],"coordinate\u201d,":[130,136],"second":[135,148],"\u201cthe":[137,144],"coordinate":[142,149],"of\u201d,":[143],"of\u201d":[150],"according":[151],"to":[152],"[14],":[153],"Hausdorff":[155],"Finally,":[157],"theorems:":[161],"(3)":[162],"(4)":[164],"from":[165],"case":[169],"\u201citerated":[177],"limit\u201d":[178,181],"theorem":[179],"(\u201cDouble":[180],"[7],":[182],"p.":[183],"81,":[184],"par.":[185],"8.5":[186],"\u201cDouble":[187],"limite\u201d":[188],"[6]":[189],"(TG":[190],"I,57)),":[191],"regular":[194],"were":[197],"inspired":[198],"by":[199],"exercises":[201],"(2.11.4),":[202],"(2.17.5)":[203],"[17]":[204],"corrections":[207],"B.10":[208],"[18].":[209]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2017-02-24T00:00:00"}