{"entities":{"Q2565560":{"pageid":2576303,"ns":120,"title":"Item:Q2565560","lastrevid":48558157,"modified":"2026-01-05T05:25:32Z","type":"item","id":"Q2565560","labels":{"en":{"language":"en","value":"Bitopological realcompactness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2208798"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565560$0BD7D4B0-0BFC-4D68-9E60-498CE7837C85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4692b1f0ee0e7a0385fc7d64996c844f86452454","datavalue":{"value":{"text":"Bitopological realcompactness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2565560$7FBCF0A6-DC78-459A-A1A8-FA71C5083DB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"992235b99cb2077f05e687413d4148cedb0e88f7","datavalue":{"value":"1079.54015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565560$0F13014D-FA94-4DD3-839D-FBF7660C285E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b268de25e3efb38f023827601ffab4581a52aa5e","datavalue":{"value":{"entity-type":"item","numeric-id":554395,"id":"Q554395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565560$AF18A8D6-9D2A-4D60-9847-940513EF1F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa14ac95c639ca250b13dfd2de820d6cf6a110b3","datavalue":{"value":{"entity-type":"item","numeric-id":1295294,"id":"Q1295294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565560$8EC794D9-CF01-4078-88F6-CE1F0126A53A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565560$304CEB7C-6C68-4B88-BC5A-4E8E2B977AF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d112b2448c26e3e0e59aa50184276a96f3480c25","datavalue":{"value":{"time":"+2005-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2565560$89414599-1514-403C-9A90-247C6D8932E1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bef859bc377b50920856697126c65cb01e3ebb55","datavalue":{"value":"For the construction of realcompact pairwise extensions of a bitopological space, the authors consider strong interrelations between topologies, introduced by them in [Topology Appl. 42, 1--16 (1991; Zbl 0784.54033)]. Namely, a bitopological space \\((X,\\tau_1,\\tau_2)\\) has the property that \\(\\tau_1\\) is a fine cotopology of \\(\\tau_2\\) if (C0) \\(\\tau_1\\) is a \\(T_1\\)-topology and \\(\\tau_1\\subset \\tau_2\\); (C1) \\(\\tau_1\\) is a completely regular with respect to \\(\\tau_1\\) in the sense of \\textit{E.~P.~Lane} [Proc. Lond. Math. Soc. (3) 17, 241--256 (1967; Zbl 0152.21101)]; furthermore, there are closed subbases \\({\\mathcal B}_1\\) and \\({\\mathcal B}_2\\) of \\(\\tau_1\\) and \\(\\tau_2\\), respectively, such that (S0) \\({\\mathcal B}_2\\) is subbase-\\(R_0\\) with respect to \\({\\mathcal B}_1\\), that is for every \\(T\\in {\\mathcal B}_2\\) and \\(x\\,\\overline{\\in}\\,T\\) there is an \\(S\\in {\\mathcal B}_2\\) such that \\(x\\in S\\) and \\(S\\cap T=\\varnothing\\); (S1) the pair \\(({\\mathcal B}_1,{\\mathcal B}_2)\\) is pairwise normal in the sense of \\textit{M.~J.~Saegrove} [J. Lond. Math. Soc. (2) 7, 286--290 (1973; Zbl 0266.54009)]; and, finally, (F) for every finite cover of \\(X\\) with elements of \\(\\{X\\setminus S: S\\in {\\mathcal B}_1\\}\\) there is a finite refinement with members of \\({\\mathcal B}_2\\); (C) for every countable cover of \\(X\\) with elements of \\(\\{X\\setminus S:\\;S\\in {\\mathcal B}_1\\}\\) there is a countable refinement with members of \\({\\mathcal B}_2\\). But, by Theorem 3.1 from M.~J.~Saegrove [loc. cit.], (S0) and (S1) entail (C1). On this base the authors prove that if for a bitopological space \\((X,\\tau_1,\\tau_2)\\) there are closed subbases \\({\\mathcal B}_1\\) and \\({\\mathcal B}_2\\) of \\(\\tau_1\\) and \\(\\tau_2\\), respectively, such that the conditions (C0), (S0), (S1), (F) and (C) are satisfied, then there exists a pairwise embedding \\(e: (X,\\tau_1,\\tau_2)\\to (\\widehat{X},\\widehat{\\tau}_1,\\widehat{\\tau}_2)\\) such that \\((\\widehat{X},\\widehat{\\tau}_1)\\) is realcompact with respect to \\(\\widehat{{\\mathcal B}}_1\\) and \\(\\widehat{{\\mathcal B}}_2\\), where \\(\\widehat{{\\mathcal B}}_1\\) and \\(\\widehat{{\\mathcal B}}_2\\) denote the families of closures in \\((\\widehat{X},\\widehat{\\tau}_2)\\) of the elements of \\({\\mathcal B}_1\\) and \\({\\mathcal B}_2\\). It is necessary to note that the notion of bitopological realcompactness is derived from the characterization of topological realcompactness by \\textit{I. van der Slot} [Fundam. Math. 67, 255--263 (1970; Zbl 0193.22803)], and is formulated as follows: a bitopological space \\((X,\\tau_1,\\tau_2)\\) with closed subbases \\({\\mathcal B}_1\\) and \\({\\mathcal B}_2\\) of \\(\\tau_1\\) and \\(\\tau_2\\), respectively, such that (C0), (C1), (F) and (C) are satisfied with respect to \\({\\mathcal B}_1\\) and \\({\\mathcal B}_2\\) is realcompact if every maximal centered system of \\({\\mathcal B}_1\\) with the countable intersection property has a non-empty intersection.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565560$A1BB6587-3888-443E-B2A6-FBF53BBE8085","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d33fb8a3f05fbf38ac58993e53f5397b9b9bc43","datavalue":{"value":"54E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565560$088CEE10-459C-4EA0-B668-7F1BAA95E2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5d96b93cd49457b779ea668da6b1190ba16972e5","datavalue":{"value":"54D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565560$912048D6-7288-493F-B4FE-37A5082A9E0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78663062d0740f10295d64dbd5e52d1ffbae9f6d","datavalue":{"value":"2208798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565560$D2504132-0C85-4C0C-9A5B-82EDCDC197AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"117f1d3acc606ea016c6972659278c1eda454510","datavalue":{"value":"bitopological space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565560$1ECDA606-4E9B-4515-A009-88533ED08741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ba70079a2ab9468c94d2210e6c1c01301fa1629","datavalue":{"value":"cotopology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565560$90FB6C96-C5ED-4CBE-9EC3-419F3AFF59E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85c4b9079b3b09a062b50bf91564ec42edfb207e","datavalue":{"value":"realcompactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565560$ACE6C0C9-7378-41E9-BCFE-B6F40E694E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"857b02ac1c143758c1e03aec6a38c06954260cd3","datavalue":{"value":"pairwise extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565560$A6103FA5-5A71-49F3-9068-6460C5A325E9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ad97c4301b6487599dbc55ed2b3e6050bb414eca","datavalue":{"value":{"entity-type":"item","numeric-id":818358,"id":"Q818358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565560$CE448930-D6AA-4785-8443-49CD19D1DE24","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565560$F0FF86C7-FA09-4D21-9C85-2F7BD6769A9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a084387ad9769969374ff9ac98ce0afe7943c79","datavalue":{"value":"https://doi.org/10.1016/j.topol.2004.10.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q2565560$AB29FB1A-17D3-4BC2-A07F-C4EF9CC050A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed68bd5da8639f4c2980e12803248d7a4cab6713","datavalue":{"value":"W4213018400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565560$332F8FCA-DBCE-4978-B4BE-D4F27028F2C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd20f0258a6910fdd3534fc07ee2b426ae172483","datavalue":{"value":{"entity-type":"item","numeric-id":3475987,"id":"Q3475987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565560$48B0173B-22CE-4064-BF97-4AF2D95A53BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a627dc7b573e4636b67b2aeb58fd2f0862ec9344","datavalue":{"value":{"entity-type":"item","numeric-id":1183639,"id":"Q1183639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565560$8C24D20D-D865-4D21-8BDA-B2BCCAA24F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c598db9af0825f980a9d53123acaf18723206da2","datavalue":{"value":{"entity-type":"item","numeric-id":4147297,"id":"Q4147297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565560$4462FB1F-4A21-4EC8-BF05-7C76451CB6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcfa3ec3ff54e3b4d443eef83620956adbfd3de7","datavalue":{"value":{"entity-type":"item","numeric-id":4449470,"id":"Q4449470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565560$2B2DB662-7BB8-4BAF-A18F-C10D97D8AB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bf49a2e0c61e0ca6f111fad82885064ce66d18","datavalue":{"value":{"entity-type":"item","numeric-id":3270120,"id":"Q3270120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565560$20E86555-9D04-4E4C-8C27-B5F348DB668C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ec17755998c8e61e6f17096b0f62f026aaf6ed","datavalue":{"value":{"entity-type":"item","numeric-id":5683439,"id":"Q5683439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565560$242FFBA2-4A05-4CA3-A885-B6D37585BBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c054c06e58bacef9abf7c806b4aa4f3fd932fed5","datavalue":{"value":{"entity-type":"item","numeric-id":5588392,"id":"Q5588392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565560$F86C4FA0-D5D0-4F04-8EA9-1AC7438A8251","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"decd6a28e8db322579cf85769172a423f2c9fa3b","datavalue":{"value":"10.1016/J.TOPOL.2004.10.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565560$969FC2C9-137E-4267-A513-373D0D1C06BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccb8ba27f6cc40811ae509bc019cccb8416629fa","datavalue":{"value":{"entity-type":"item","numeric-id":3833248,"id":"Q3833248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bd01be98baa2e1a901ecc36aff3f9a9c43695cd","datavalue":{"value":{"amount":"+0.781029999256134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565560$CFD6825F-14FD-40D1-A144-4FB667D4A726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b75b735f77fa2a790b46004738119d219ef24a2","datavalue":{"value":{"entity-type":"item","numeric-id":4796524,"id":"Q4796524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7777c68c0d4edf968b2fccdc27308b9c381ea8eb","datavalue":{"value":{"amount":"+0.7621477842330933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565560$8DB8B1B1-1AC0-4513-BE4C-55159E01EC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08affb28df79d035cf10f7eb6d1a62c3e50adbae","datavalue":{"value":{"entity-type":"item","numeric-id":4260236,"id":"Q4260236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4755c491beaa0b127246ed06e95cddfea88a7e4d","datavalue":{"value":{"amount":"+0.7608176469802856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565560$8BB49ABC-D756-4072-99C1-ED47F1127B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bbd1806ad4567c16a0e3d711750d38a3e18a619","datavalue":{"value":{"entity-type":"item","numeric-id":3971945,"id":"Q3971945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07cbe3e96b4f8bf259a5a413793a6c25fd42ba74","datavalue":{"value":{"amount":"+0.7581075429916382","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565560$6575CA38-C994-4ED2-B319-74909D0B9FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81eab62e4f08493ca274ac3a19c530548c05a707","datavalue":{"value":{"entity-type":"item","numeric-id":3322826,"id":"Q3322826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7cc6fd2cec9b4e8442ecb82cbcd5a770311495c","datavalue":{"value":{"amount":"+0.7560717463493347","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2565560$04187DB4-9676-461C-B7FF-AF61B0E45876","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2565560","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2565560"}}}}}