{"entities":{"Q444683":{"pageid":446450,"ns":120,"title":"Item:Q444683","lastrevid":61914993,"modified":"2026-04-11T02:32:01Z","type":"item","id":"Q444683","labels":{"en":{"language":"en","value":"Fixed points of continuous DCPOs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6066654"}},"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":"Q444683$EE60339A-1FE1-43AD-AB61-060A349929A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fef07a8d7b81da57be747d2775d56abdb8242ceb","datavalue":{"value":{"text":"Fixed points of continuous DCPOs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q444683$44B0B015-7B9B-4D58-821D-FE75D7030784","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e91a867c2bbd3756a224ffe6f26b9a6f4ebdf09c","datavalue":{"value":"1262.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444683$E09DF6F1-B736-4BED-9A70-96256D8CFE9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4564d693e94542a970cdcf55fbcf7546c214c004","datavalue":{"value":{"entity-type":"item","numeric-id":178078,"id":"Q178078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444683$4C65C79C-C547-4E3C-B342-42FB0F4702DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fa9e24a5f4d9cdd9dfb063b0c9981312fcf8456","datavalue":{"value":{"entity-type":"item","numeric-id":444682,"id":"Q444682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444683$D1BE830B-4C74-4E1E-B823-CEAD4A88B183","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444683$829D907E-4462-4C4F-AF29-78544DA5465C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d101fdedee8fe26942f59fda6716c1df8d9aaf9","datavalue":{"value":{"time":"+2012-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q444683$33804CA9-2BFE-4A3C-94A7-0AC326E50AF2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ddd2757248cfda2c53e2696c9c4ad71dd4060ae8","datavalue":{"value":"The authors first classify continuous (in the Scott topology) selfmaps of dcpos (directed complete partial orders) by finding equivalences when the fixed points of continuous selfmaps themselves form a dcpo. This also characterizes dcpos and continuous dcpos. In particular the authors show that if \\(X\\) is a continuous dcpo then the set of fixed points of the selfmap \\(f\\), Fix(\\(f\\)), is a dcpo but not necessarily continuous. Next, a concrete example when Fix(\\(f\\)) is not continuous is given. The authors proceed to characterize the continuous dcpos \\(X\\) for which Fix(\\(f\\)) is continuous for every continuous \\(f\\). In the next section, several results showing when Fix(\\(f\\)) is a continuous dcpo are given in terms of its structure. The paper concludes with a look at locally stable maps and the result that if \\(D\\) is a continuous poset and \\(f:D\\rightarrow D\\) is locally stable, then Fix(\\(f\\)) is a continuous poset.","type":"string"},"datatype":"string"},"type":"statement","id":"Q444683$FC6794AD-267B-4069-BA05-3E9D0E6FBD47","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2ba3c00f8f926dc81127aec61d8fe3a7b50eb6e","datavalue":{"value":{"entity-type":"item","numeric-id":233330,"id":"Q233330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444683$E7EABBC6-39BF-4DB4-B740-536ECE40DEFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444683$C8A2404E-9B5E-48FD-89F8-35CBD3709FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e05f4c807af05854d500c4e5815975863e4843a7","datavalue":{"value":"06B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444683$8872CDB8-681D-4809-B737-1139A2F5A0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c4ad1785471f430c5505937f552960d16df2055","datavalue":{"value":"06F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444683$200F12EE-3775-45AA-9541-D35AD40B7C06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35cf070ebc65cd70481afb1340366ee4bccd716f","datavalue":{"value":"6066654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444683$F33B293F-75D3-4118-822C-2267AAC09A75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2fc83be1c0db58a80a137ab61a01da0208c7fba","datavalue":{"value":"dcpo","type":"string"},"datatype":"string"},"type":"statement","id":"Q444683$69147D95-C2CE-493D-96E2-DAD0C866D76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac2fc1484f87da7e7b6da7c57613941d75e687b3","datavalue":{"value":"directed complete partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q444683$7986DBC2-0586-4957-9B3A-873B6A3A5887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q444683$58AF983C-54BE-436E-A32D-BD9DA35E7A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a145f8ce977b08f836e360f0a25a11147ee5c62b","datavalue":{"value":"\\(L\\)-domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q444683$D335416E-9A8C-4463-95D8-5C141DEECD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0c5234f1c77925a7d945332d3681640f7161d","datavalue":{"value":"Scott topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q444683$6CA3F9E1-4C07-4757-B75F-2F2B38D5D1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f09f8d1ce4e9fc7e24d399a49f9708c77905b1c","datavalue":{"value":"Scott continuous","type":"string"},"datatype":"string"},"type":"statement","id":"Q444683$DB96AE2B-F45A-46DD-9A7D-D26BE0CE778A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c1daf22f3419f7da1aa64f93a5460ac6beac66","datavalue":{"value":"locally stable map","type":"string"},"datatype":"string"},"type":"statement","id":"Q444683$5E988AA0-1C05-4C51-B583-370FE7EDCAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c469f203bd5434efc40c3d9a4d11a5d9e8d47cd","datavalue":{"value":"continuous poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q444683$C83764E7-E2D2-4934-87AD-DA9DF4A996B4","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":"Q444683$D0C733EB-D25E-4B7D-B665-BDF353619697","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eaa55e20cba6f225d399e4b37f94d6696c739dea","datavalue":{"value":"https://doi.org/10.1007/s00233-012-9376-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q444683$E47174D8-62CE-4690-9CCF-9593D6B13C7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3d29635bdab01e0474f9a68e900e795b735fef5","datavalue":{"value":"W2093203839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444683$4F3EEF37-777B-4B8C-BF43-E41ECABA7546","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"722e6764a5b1c423f659904eb24f07acea7589ef","datavalue":{"value":{"entity-type":"item","numeric-id":2653568,"id":"Q2653568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444683$017B6132-F900-42E3-98C2-A47601D06B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8fbea7b780260bde052bf86216e234f197be4aa","datavalue":{"value":{"entity-type":"item","numeric-id":4222757,"id":"Q4222757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444683$760E6AD2-5CD6-4C44-BF33-25E6097E3666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d12ae9b2f45ab78fc814c58aafcc88d15948f1be","datavalue":{"value":{"entity-type":"item","numeric-id":1609606,"id":"Q1609606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444683$A60DAEF0-54B0-4D48-B91C-30B94CCBAE73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4bf58b49877a2cb4219dc2c9279c1982042eb73","datavalue":{"value":"10.1007/S00233-012-9376-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444683$51F2E4B2-3565-4CC6-821D-98BEE7F024B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6f4b71bc41c5ef221abbd9facd1150f3e7ac8e1","datavalue":{"value":{"entity-type":"item","numeric-id":1609606,"id":"Q1609606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"795eead73a20ad2033d7fb96a3b75b80602a99d6","datavalue":{"value":{"amount":"+0.824995219707489","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":"Q444683$CBD73DF3-3755-4049-9DF6-E57DF9C57530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b836b1aed95680958b508a277a36a4d7702c8f","datavalue":{"value":{"entity-type":"item","numeric-id":3109248,"id":"Q3109248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82a6f6c4f12465b48478d283497f117cce58d075","datavalue":{"value":{"amount":"+0.8156737089157104","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":"Q444683$9D82F3AC-5BEF-48EA-9E79-B8475C0F08B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84e3f3238af8249b2461728b89ee6b0a2b8872e3","datavalue":{"value":{"entity-type":"item","numeric-id":5740348,"id":"Q5740348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f656e12eee8fea28d3484d5561c2816f5584d05","datavalue":{"value":{"amount":"+0.7890071868896484","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":"Q444683$F708C18B-9C8C-47C3-B24C-CEB0ED26F97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0075bd2f7f9c6e141a70db5638e8a7b94f4ae60b","datavalue":{"value":{"entity-type":"item","numeric-id":3409648,"id":"Q3409648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a61f77df26a1246c9499c33b3eebcb02af78d55","datavalue":{"value":{"amount":"+0.7579245567321777","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":"Q444683$4707A43F-FFDF-4050-ABD2-B908B56D39A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c174a76942e59fac9cc2eefd19c5ac3a66472af","datavalue":{"value":{"entity-type":"item","numeric-id":1916446,"id":"Q1916446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c369cc6423341c2cf44823f1fb113ccf716ed7cd","datavalue":{"value":{"amount":"+0.746853232383728","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":"Q444683$74224EB9-FAC3-401E-96D5-6670E8FFB83C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fixed points of continuous DCPOs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fixed_points_of_continuous_DCPOs"}}}}}