{"entities":{"Q1866845":{"pageid":1877587,"ns":120,"title":"Item:Q1866845","lastrevid":71017974,"modified":"2026-04-13T18:56:21Z","type":"item","id":"Q1866845","labels":{"en":{"language":"en","value":"Constructive insertion theorems and extension theorems on extremally disconnected frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1899966"}},"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":"Q1866845$BAB95C47-91DF-4498-B440-150B3040C0BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"050a4af08761efd042552182ac220a92a898a7de","datavalue":{"value":{"text":"Constructive insertion theorems and extension theorems on extremally disconnected frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1866845$9FCCA424-6C0B-4D3B-9BBC-245BD4DEA734","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2571b97677b7289ff2f14793fd71128cb3e56b69","datavalue":{"value":"1013.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866845$505BE23E-B99D-4DA6-84F3-FC058FE38E0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c09916c85d1295953228563cc36573b73d2c724","datavalue":{"value":{"entity-type":"item","numeric-id":1595240,"id":"Q1595240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866845$4E98BFDC-6D74-4925-AEF3-B75E80D0E002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af2edd1d4a44e5017350ac542856f5ee5e0f1075","datavalue":{"value":{"entity-type":"item","numeric-id":646033,"id":"Q646033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866845$C8EA6F8E-FBB6-4380-B32B-B4F799EA9DD9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866845$DBBF44B8-3D24-42AB-8745-28D2384DBF2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ba3e0b9a3b6c64b5e8a6782bae90e5fe1531522","datavalue":{"value":{"time":"+2003-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1866845$083E5AF4-4725-4597-8B48-76E5E43F3F94","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f6e5ba237f61351a51c2bedb930caaca7bab40d6","datavalue":{"value":"The paper is a continuation of earlier work of the first author concerning a constructive insertion theorem and an extension theorem on normal frames [\\textit{Yong-Ming Li} and \\textit{Guo-Jun Wang}, Commentat. Math. Univ. Carol. 38, 801-814 (1997; Zbl 0938.06008)].    For a frame \\(A\\), a chain indexed by rational numbers, \\(C=\\{ x_{\\alpha }\\}_{\\alpha \\in Q}\\), is called an upper continuous chain if \\(\\bigvee \\{ x_{\\beta }\\); \\(\\beta <\\alpha \\} =y_{\\alpha }\\) for any \\(\\alpha \\in Q\\) and \\(x_{\\alpha }\\leq x_{\\beta }\\) whenever \\(\\alpha <\\beta .\\) It is called proper if \\(\\bigvee \\{ x_{\\alpha }\\); \\(\\alpha \\in Q\\} =1.\\) Lower continuous chains as well as proper lower continuous chains are defined dually. The authors show that the sets \\(R_u(A)\\) (of all upper continuous chains) or \\(\\overline {R_u}(A)\\) (of all proper upper continuous chains) or similar sets of (proper) lower continuous chains are very useful when characterizing extremally disconnected frames (a frame \\(A\\) is said to be extremally disconnected if \\(a'\\vee a''=1\\) holds for every \\(a\\in A,\\) where \\(a'\\) is a pseudocomplement of \\(a\\)).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866845$5B95E18C-D98F-4E95-A0AE-601EE45B109E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f88fa41ef91c2abf95c7a1edf27437cbf5cacbaf","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866845$FE09DC7E-603C-4DB8-BA36-31CA8FD36541","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866845$10092CE0-E78E-441A-BC6B-70540B8E66E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42ea46801e492058a4b1ce7a9eeaf6d7cd8d9c3e","datavalue":{"value":"54G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866845$F862B5B8-957B-4DB6-8461-6A49AA6ABE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866845$F9447500-B379-4B19-97CB-FC094B45C698","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97ad60ba86e3cfb3c8d9f94e072f1eb373949de8","datavalue":{"value":"1899966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866845$84E7902F-446F-4F1A-B0E2-569629ECD38E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3829b79408d0e34cc0fa053f7fc4e40d313ffdb5","datavalue":{"value":"frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866845$5CADAB05-DA8D-40FB-BB89-F59D58B4E3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc2f200a2dec05ebcb9a8e11c182cc8ae178e4ec","datavalue":{"value":"extremally disconnected frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866845$319B7061-D8E6-42B4-A585-3D83F15D4B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58c3d46180c0eb724066f96f2c3e60e3ff9ec6e8","datavalue":{"value":"insertion theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866845$70440C10-8556-4ED7-8233-46F1C93602F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb257e5b300098a649bfcba4c1480ef55b4481b","datavalue":{"value":"extension theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866845$BC5FF65C-8870-437F-8C5C-642B268E446D","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":"Q1866845$8D76B34F-BA09-4399-A055-0D542C68252D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42a7152d55c737d34519b661ae0dfa929697737f","datavalue":{"value":"https://doi.org/10.1007/s000120050186","type":"string"},"datatype":"url"},"type":"statement","id":"Q1866845$3E17A75B-C3D8-419C-959B-9242CD48D5FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92779d22227541b86c81d979586ad6d4919acf51","datavalue":{"value":"W2026409122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866845$3081E2D2-E660-4F6E-AA1B-EB84976B1922","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ce9e44a0fbeb12029e8b4ee9ce3f478730466b4","datavalue":{"value":"10.1007/S000120050186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866845$6C5B11D0-6DBA-454B-B2F3-96307567DC7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"935e576184a9093e8a28a268ff28d1ee6e9ab078","datavalue":{"value":{"entity-type":"item","numeric-id":952248,"id":"Q952248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13dab5a4eee32d98e15e95b77cbdded388b846aa","datavalue":{"value":{"amount":"+0.7033792","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866845$509AC960-FC8B-457E-A83F-93569E528D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adcd370a44444fe9ce1afaf74083031d760f249f","datavalue":{"value":{"entity-type":"item","numeric-id":5168334,"id":"Q5168334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"662f14faaa25918d1986527a5b4d9cf4d28fc6a7","datavalue":{"value":{"amount":"+0.666585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866845$FE2F0A84-F551-4FF4-AB9B-981ED6DA9320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653ce4642c8c82897714f1808bb73a6bd394a20f","datavalue":{"value":{"entity-type":"item","numeric-id":535362,"id":"Q535362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d691fdaff43a24abf54433e0842b1b9246378b5","datavalue":{"value":{"amount":"+0.66510046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866845$8EF19580-5E6C-4C09-8B6A-21D8B91D7851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"affb63dcd2abd8923c7d52240785be0e8fbcc8b0","datavalue":{"value":{"entity-type":"item","numeric-id":4856932,"id":"Q4856932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4106b5cd9bd18ac43b78a1fd5d5c98ced9b520d9","datavalue":{"value":{"amount":"+0.65960187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866845$75CB7B28-8486-4455-82B9-8A189E6AC2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95815481eb77e19b3a0567354ffa886508450ae0","datavalue":{"value":{"entity-type":"item","numeric-id":1208200,"id":"Q1208200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fccb2bad8cf0789ea990d6e746016b2da0290dfa","datavalue":{"value":{"amount":"+0.6565301","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866845$C3F30EA1-D358-4C94-BF68-1489762EED47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbbaf2b22706f9c89cd2e667bfe678e3343d9b05","datavalue":{"value":{"entity-type":"item","numeric-id":2310788,"id":"Q2310788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"438d307be9cfbe62585a972229408b77e36f7dca","datavalue":{"value":{"amount":"+0.6559408","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866845$BC0D3721-C17E-48F3-BCD5-17321A2AC116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"997ca5a88bebcfd2c78e79a46cf6373b706cff44","datavalue":{"value":{"entity-type":"item","numeric-id":1616342,"id":"Q1616342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d27db437062d51c9806fcfaecf6ce253f32f7d40","datavalue":{"value":{"amount":"+0.65499645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866845$D4082E30-C861-4B70-8CF4-8585C3A2C9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947c858e2ebf2827e491cb199c601f4be3b576a0","datavalue":{"value":{"entity-type":"item","numeric-id":5288180,"id":"Q5288180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b7546a6083ee0cec4a3cee32f35b218f2f36f90","datavalue":{"value":{"amount":"+0.65224713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866845$6216EEF6-E0B9-4161-B9B8-4DFC90605291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3257e7e9ec20c498582ba2bb93e2694fa8071b6d","datavalue":{"value":{"entity-type":"item","numeric-id":4979786,"id":"Q4979786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a34c6ddd9541cf48bef03c570364bb5a7dbfac9","datavalue":{"value":{"amount":"+0.65081155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866845$2E8002EA-44BF-42D6-BF87-3FF4DFF0F8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c8b8d86dc57867ceedf48a79578084516cdbdd4","datavalue":{"value":{"entity-type":"item","numeric-id":2268746,"id":"Q2268746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1be4683bbf62b4f35ddd5c3acdf8f71cc0452f64","datavalue":{"value":{"amount":"+0.65049607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1866845$8FDFD950-910E-47AB-A2CC-A1BA019C4F76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructive insertion theorems and extension theorems on extremally disconnected frames","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructive_insertion_theorems_and_extension_theorems_on_extremally_disconnected_frames"}}}}}