{"entities":{"Q2566794":{"pageid":2577537,"ns":120,"title":"Item:Q2566794","lastrevid":79113464,"modified":"2026-05-06T13:10:33Z","type":"item","id":"Q2566794","labels":{"en":{"language":"en","value":"Lim-inf convergence in partially ordered sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2210350"}},"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":"Q2566794$5720BE80-CEF8-4CB9-AC60-C9D54A56E03A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"632f4ada800e0f6a7b59c91d167bb732ffc07899","datavalue":{"value":{"text":"Lim-inf convergence in partially ordered sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2566794$98EF3E27-1174-424B-8BA1-C9A8CF219300","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76e707069c2219f416ec236fce54d8a9032491b8","datavalue":{"value":"1087.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566794$68632A29-C40E-4DF0-BBF3-8278D934BE48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"49e4db51b187c26c670808136fab7bcd1eb6af9f","datavalue":{"value":{"entity-type":"item","numeric-id":174935,"id":"Q174935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566794$6C7BE12C-04CF-4DDD-95B0-59B408ABB8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2879e3e3ee84eeca3778658797f13f2e5056d734","datavalue":{"value":{"entity-type":"item","numeric-id":171475,"id":"Q171475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566794$A69A759D-EF06-4584-8D77-E5BA7EA498EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c5ad7b9baf8e531c6b1ad954eb5f2899cc8fe5e5","datavalue":{"value":{"entity-type":"item","numeric-id":85344,"id":"Q85344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566794$AB9C73C0-AF50-48F3-98C0-4E1AA4F7091A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"149818fcb8bed0a5b750a95fd3a49925c0920292","datavalue":{"value":{"time":"+2005-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2566794$DB8E79D0-090C-4FBC-9FEA-3DBE7F0BCE66","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f877341c6d56d4397753649521ca6fc5640b50ef","datavalue":{"value":"Using standard methods of replacing the infima of residual subsets of nets by directed sets with elements eventual lower bounds, the authors study a notion of lim-inf convergence of nets in general partially ordered sets. The main result derived is that the lim-inf convergence so defined is topological if and only if the poset in question is a continuous poset. It is not difficult to see, although the authors do not point it out, that the topology generated from their notion of lim-inf convergence is the Scott topology. Closely related results may be found in Chapter II-1 of Continuous lattices and domains by \\textit{G. Gierz}, \\textit{K. Hofmann}, \\textit{K. Keimel}, \\textit{J. Lawson}, \\textit{M. Mislove} and \\textit{D. S. Scott} [Cambridge University Press, Cambridge (2003; Zbl 1088.06001)]. The authors also introduce a weaker form of lim-inf convergence and a corresponding notion of continuity of a poset and again show that convergence is topological if and only if the poset is continuous in this alternative sense.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566794$AF2C3061-705A-405A-9593-8D10FB104594","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566794$4176EA96-0185-4354-A17D-C5D1FD1C2826","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9135dc30321c11251ed94b5729b4e84ff9408ac","datavalue":{"value":"2210350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566794$F51432B3-95F4-4D46-89E9-1E305F35236A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3f0c4a283891bf531ef9a7b42aed94d62830b56","datavalue":{"value":"lim-inf-convergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566794$3C95CD11-8536-4E38-BE42-44DCE7B8C4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48f5c25207f53ab6e39f92342c60dc11b813bd49","datavalue":{"value":"continuous posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566794$D8172D5A-4802-4143-86AC-546664F4854D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd022479c81c22759c85c41edb5d5121039a2af7","datavalue":{"value":"lim-inf\\(_2\\)-convergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566794$979F1FCB-84E6-478F-9F29-8F788487F50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33ae1877e79d1bbeabdf4991ab04cb132a61a365","datavalue":{"value":"\\(\\alpha\\)-continuous posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566794$72112986-6BF2-455A-B0CB-E3563D060C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0c5234f1c77925a7d945332d3681640f7161d","datavalue":{"value":"Scott topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566794$68865086-67F5-47E0-8B5D-3471145EF597","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"36050b54f2c6fc0c913df56241219ed2ee903672","datavalue":{"value":{"entity-type":"item","numeric-id":418817,"id":"Q418817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566794$17BCC266-D522-4522-825B-0B91F4F16330","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":"Q2566794$16D74ACD-658A-4F1F-8225-A5E050098189","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef290049698413846a6afce46109edf876bae04c","datavalue":{"value":"https://doi.org/10.1016/j.jmaa.2004.11.028","type":"string"},"datatype":"url"},"type":"statement","id":"Q2566794$CCE70312-56C8-4413-AC13-90609B0670DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c021ed535c3a6a566e1bad9ba468247ea04a7d67","datavalue":{"value":"W2018083117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566794$550E637C-E2E6-4A63-A91A-042E1BF5204D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc57cf2ba5617fc074cae34fef64910590e17f4","datavalue":{"value":{"entity-type":"item","numeric-id":5331549,"id":"Q5331549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566794$67A6B1A5-4AED-48F4-919C-26834D59D92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc1048b55948673c4aaf237882113fa2bfdbfdf","datavalue":{"value":{"entity-type":"item","numeric-id":5837862,"id":"Q5837862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566794$CAB462D8-890F-4992-87A9-90B273C1CAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d349b91d209b2be5a3d342ee1e9520cf67ea0d48","datavalue":{"value":{"entity-type":"item","numeric-id":5820693,"id":"Q5820693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566794$659B7127-6C1E-4103-BF8B-3D5902C1C9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566794$F2D6551D-558E-4529-92D7-D36F74C70C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7829b8e34102836278f3b80e37f72fbf4ea12db5","datavalue":{"value":{"entity-type":"item","numeric-id":3864573,"id":"Q3864573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566794$F104AB86-4C90-4D91-BD7A-B4FABB5E86AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93634bb645fbae6fbe1e974ccc16eb3a93534e7e","datavalue":{"value":{"entity-type":"item","numeric-id":5531630,"id":"Q5531630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566794$F3A9CEDC-525F-4118-974B-F7DC97B6181D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb170c1d184ad65f0bae5cd0b555f3ce3c6e7127","datavalue":{"value":{"entity-type":"item","numeric-id":3849017,"id":"Q3849017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566794$CC349089-87FB-4887-9683-776815061324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda48c6fe1d00676a9ea25600dee5c75b4a4898d","datavalue":{"value":{"entity-type":"item","numeric-id":3226265,"id":"Q3226265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566794$85EEF52C-FC56-449C-944A-91E27002CD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7154d6a3b7579c1d22218e93df76974c247b6338","datavalue":{"value":{"entity-type":"item","numeric-id":5816743,"id":"Q5816743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566794$433FA578-5CDD-4F06-A3CF-B953309C4D3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc6b52cf3827124c9414e2c01837d3e475d972fa","datavalue":{"value":"10.1016/J.JMAA.2004.11.028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566794$32D1561A-22D8-4ECF-91EF-4FF94F20621B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1ee3578a971e57051eb67eb6c76a90e962f9e96","datavalue":{"value":{"entity-type":"item","numeric-id":1998818,"id":"Q1998818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54e7e2fb1792a2be10a4b62c907f94f4b370aacd","datavalue":{"value":{"amount":"+0.864269495010376","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":"Q2566794$F5BA5B5D-5237-4235-8410-9427D6DA05C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f19397eb9c8866f4e8defb6cebb21e1302aa90f2","datavalue":{"value":{"entity-type":"item","numeric-id":1985617,"id":"Q1985617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb069b80aafdf23a770c605ca047f6426d6e9293","datavalue":{"value":{"amount":"+0.8614369034767151","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":"Q2566794$D8B934DA-7AAC-4BDC-8BD9-E74CFE905673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a6b7be9e6faaab3769f7b23ebf7c0cc639bc01","datavalue":{"value":{"entity-type":"item","numeric-id":4920986,"id":"Q4920986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd632d4db4179431cdbceadae262c55b2924e167","datavalue":{"value":{"amount":"+0.8597239851951599","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":"Q2566794$80F0E9FC-8A7D-4516-B3D7-CE6DD63E5105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6f7d3b69aed38aa9933e82ac7ff03249b4d7f07","datavalue":{"value":{"entity-type":"item","numeric-id":854082,"id":"Q854082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d123ee1e7cbbb10e22d6c219755b18dffee516","datavalue":{"value":{"amount":"+0.8542084693908691","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":"Q2566794$EE247475-0415-4C76-A88F-51DCA1604A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d951d8008b75548a1094c3d33ca71f9fa7f1e62","datavalue":{"value":{"entity-type":"item","numeric-id":2988500,"id":"Q2988500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79877065ea2bfcd410cbffd9cbfb4b43412aecd1","datavalue":{"value":{"amount":"+0.8483367562294006","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":"Q2566794$302706DB-EBF4-4BC1-B087-891F1A62533C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lim-inf convergence in partially ordered sets","badges":[]}}}}}