{"id":"https://openalex.org/W1969404474","doi":"https://doi.org/10.2478/forma-2013-0009","title":"Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane","display_name":"Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane","publication_year":2013,"publication_date":"2013-06-01","ids":{"openalex":"https://openalex.org/W1969404474","doi":"https://doi.org/10.2478/forma-2013-0009","mag":"1969404474"},"language":"en","primary_location":{"id":"doi:10.2478/forma-2013-0009","is_oa":true,"landing_page_url":"https://doi.org/10.2478/forma-2013-0009","pdf_url":"https://sciendo.com/pdf/10.2478/forma-2013-0009","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://sciendo.com/pdf/10.2478/forma-2013-0009","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061651899","display_name":"Adam St. Arnaud","orcid":null},"institutions":[{"id":"https://openalex.org/I154425047","display_name":"University of Alberta","ror":"https://ror.org/0160cpw27","country_code":"CA","type":"education","lineage":["https://openalex.org/I154425047"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Adam St. Arnaud","raw_affiliation_strings":["University of Alberta, Edmonton, Canad\u00c3\u00a1"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Alberta, Edmonton, Canad\u00c3\u00a1","institution_ids":["https://openalex.org/I154425047"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052948222","display_name":"Piotr Rudnicki","orcid":null},"institutions":[{"id":"https://openalex.org/I154425047","display_name":"University of Alberta","ror":"https://ror.org/0160cpw27","country_code":"CA","type":"education","lineage":["https://openalex.org/I154425047"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Piotr Rudnicki","raw_affiliation_strings":["University of Alberta Edmonton, Canada","University of Alberta, Edmonton, Canad\u00c3\u00a1"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Alberta Edmonton, Canada","institution_ids":["https://openalex.org/I154425047"]},{"raw_affiliation_string":"University of Alberta, Edmonton, Canad\u00c3\u00a1","institution_ids":["https://openalex.org/I154425047"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I154425047"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.05867446,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"21","issue":"2","first_page":"83","last_page":"85"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11673","display_name":"Advanced Topics in Algebra","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"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/T11673","display_name":"Advanced Topics in Algebra","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"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/T11545","display_name":"Advanced Banach Space Theory","score":0.9940000176429749,"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/T11703","display_name":"Rings, Modules, and Algebras","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"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/line","display_name":"Line (geometry)","score":0.7015421986579895},{"id":"https://openalex.org/keywords/plane","display_name":"Plane (geometry)","score":0.6948668956756592},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6554010510444641},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.5744372010231018},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.5626888275146484},{"id":"https://openalex.org/keywords/linear-subspace","display_name":"Linear subspace","score":0.5443252921104431},{"id":"https://openalex.org/keywords/product-topology","display_name":"Product topology","score":0.5365673899650574},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.38780829310417175},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.25397878885269165},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.24308520555496216},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.1219639778137207}],"concepts":[{"id":"https://openalex.org/C198352243","wikidata":"https://www.wikidata.org/wiki/Q37105","display_name":"Line (geometry)","level":2,"score":0.7015421986579895},{"id":"https://openalex.org/C17825722","wikidata":"https://www.wikidata.org/wiki/Q17285","display_name":"Plane (geometry)","level":2,"score":0.6948668956756592},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6554010510444641},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.5744372010231018},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.5626888275146484},{"id":"https://openalex.org/C12362212","wikidata":"https://www.wikidata.org/wiki/Q728435","display_name":"Linear subspace","level":2,"score":0.5443252921104431},{"id":"https://openalex.org/C123222754","wikidata":"https://www.wikidata.org/wiki/Q1070472","display_name":"Product topology","level":2,"score":0.5365673899650574},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.38780829310417175},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.25397878885269165},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.24308520555496216},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.1219639778137207}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.2478/forma-2013-0009","is_oa":true,"landing_page_url":"https://doi.org/10.2478/forma-2013-0009","pdf_url":"https://sciendo.com/pdf/10.2478/forma-2013-0009","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:297d3c7d220446ef9b44df3f997d581f","is_oa":true,"landing_page_url":"https://doaj.org/article/297d3c7d220446ef9b44df3f997d581f","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":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Formalized Mathematics, Vol 21, Iss 2, Pp 83-85 (2013)","raw_type":"article"},{"id":"pmh:oai:repozytorium.uwb.edu.pl:11320/3676","is_oa":false,"landing_page_url":"http://hdl.handle.net/11320/3676","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"}],"best_oa_location":{"id":"doi:10.2478/forma-2013-0009","is_oa":true,"landing_page_url":"https://doi.org/10.2478/forma-2013-0009","pdf_url":"https://sciendo.com/pdf/10.2478/forma-2013-0009","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":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1969404474.pdf","grobid_xml":"https://content.openalex.org/works/W1969404474.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W118985555","https://openalex.org/W157192358","https://openalex.org/W180239714","https://openalex.org/W192809544","https://openalex.org/W1605380553","https://openalex.org/W2072459054","https://openalex.org/W2099252149","https://openalex.org/W2113575928","https://openalex.org/W2117068489","https://openalex.org/W2120876551","https://openalex.org/W2126555322","https://openalex.org/W2140458307","https://openalex.org/W2140826422","https://openalex.org/W2143851127","https://openalex.org/W2147599721","https://openalex.org/W4285719527","https://openalex.org/W4299390900"],"related_works":["https://openalex.org/W437370296","https://openalex.org/W2379886056","https://openalex.org/W4301315464","https://openalex.org/W4301479830","https://openalex.org/W2382326160","https://openalex.org/W2515833534","https://openalex.org/W2963837678","https://openalex.org/W2073102211","https://openalex.org/W2371953206","https://openalex.org/W2941717049"],"abstract_inverted_index":{"Summary":[0],"We":[1,52,90],"first":[2],"provide":[3],"a":[4,29],"modified":[5],"version":[6],"of":[7,38,84,104,154,173],"the":[8,13,43,47,57,60,69,77,81,85,93,101,116,128,144,152,165,174,184,189],"proof":[9,58,70,163,185],"in":[10,26,56,72,186],"[3]":[11],"that":[12,23,35,59,92,115,127,143,164,188],"Sorgenfrey":[14,61,78,86,94,117,129,145,166],"line":[15,45,62,87,118,130],"is":[16,25,42,63,66,96,119,131,135,147,168,192],"T":[17],"1":[18,40],".":[19],"Here,":[20],"we":[21,33,75,113,125,141],"prove":[22,34,91,142],"it":[24,134],"fact":[27],"T2,":[28],"stronger":[30],"result.":[31],"Next,":[32,74,124],"all":[36],"subspaces":[37],"\u211d":[39],"(that":[41],"real":[44],"with":[46],"usual":[48],"topology)":[49],"are":[50,181],"Lindel\u00a8of.":[51,111,139],"utilize":[53],"this":[54,179],"result":[55,180],"Lindel\u00a8of,":[64,98],"which":[65],"based":[67],"on":[68],"found":[71],"[8].":[73],"construct":[76],"plane,":[79],"as":[80],"product":[82,102,153],"topology":[83],"and":[88,99,138,150,171],"itself.":[89],"plane":[95,146,167,191],"not":[97,109,148,159,169,193],"therefore":[100],"space":[103],"two":[105,155],"Lindel\u00a8of":[106],"spaces":[107,157],"need":[108,158],"be":[110,160],"Further,":[112],"note":[114],"regular,":[120],"following":[121],"from":[122,199],"[3]:59.":[123],"observe":[126],"normal":[132,156,170],"since":[133],"both":[136],"regular":[137],"Finally,":[140],"normal,":[149],"hence":[151],"normal.":[161,194],"The":[162],"many":[172],"lemmas":[175],"leading":[176],"up":[177],"to":[178],"modelled":[182],"after":[183],"[3],":[187],"Niemytzki":[190],"Information":[195],"was":[196],"also":[197],"gathered":[198],"[15].":[200]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2016-06-24T00:00:00"}