{"entities":{"Q977461":{"pageid":979309,"ns":120,"title":"Item:Q977461","lastrevid":51018815,"modified":"2026-01-16T05:51:37Z","type":"item","id":"Q977461","labels":{"en":{"language":"en","value":"Notes on the products of the lower topology and Lawson topology on posets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5724592"}},"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":"Q977461$C5EE9F2C-3FF9-4454-90D9-3059F2C04796","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47712f0d8071def06cc8495a96ed25c0fda2f57c","datavalue":{"value":{"text":"Notes on the products of the lower topology and Lawson topology on posets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q977461$B2A4D903-7154-429C-A111-BF90B51300E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20e732c11549130ae96f3baa0cfa5932f5969bd8","datavalue":{"value":"1207.54042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q977461$6462754C-1BA7-4870-B030-B50EC734554D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b5af3f50d5c498dd4b50598be362db3c8a99211","datavalue":{"value":{"entity-type":"item","numeric-id":977460,"id":"Q977460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977461$E3F9F153-2A14-4079-9D16-7FDEEFDCA2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bff66c06024b6ac7d2f094ee77258b420d5ca296","datavalue":{"value":{"entity-type":"item","numeric-id":276415,"id":"Q276415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977461$718CBA2F-0E3C-47EA-A287-84DB4A696C3F","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":"Q977461$7B87F4B5-8408-40F0-85BB-A6AFFBCE27CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac94dd57b5c65400291c38d5f09a7ad8c1a5f3db","datavalue":{"value":{"time":"+2010-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q977461$E70D6088-4BA2-4007-A4EA-5A4175E12598","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f5c58de7737997b1d0cd5ae4f55e68d6628364de","datavalue":{"value":"Recall the Scott topology and the Lawson topology. Let \\(P\\) be a poset. An upper set \\(U=\\uparrow U=\\{ b\\in P\\mid a\\leq b \\text{ for some } a\\in U\\}\\subseteq P\\) is said to be Scott open iff for each directed set \\(D\\) in \\(P\\) the relation \\(\\sup D \\in U\\) implies \\(D\\cap U\\not =\\emptyset\\). The collection of all Scott open subsets of \\(P\\) is called the Scott topology of \\(P\\) and it is denoted by \\(\\sigma(P)\\). The space \\((P,\\sigma(P))\\) is written as \\(\\Sigma (P)\\). We call the topology generated by the complements \\(P\\setminus \\uparrow x\\) of principal filters (as subbasic open sets) the lower topology \\(\\omega(P)\\). The space \\((P,\\omega(P))\\) is written as \\(\\Omega (P)\\). The common refinement \\(\\sigma(P)\\vee\\omega(P)\\) of the Scott topology and the lower topology is called the Lawson topology and is denoted by \\(\\lambda (P)\\). The space \\((P,\\lambda(P))\\) is written as \\(\\Lambda (P)\\). In this paper the authors consider the relation between the lower topology respectively the Lawson topology on a product of posets and their corresponding topological product. It is shown that if \\(S\\) and \\(T\\) are nonsingleton posets, then \\(\\Omega(S\\times T)=\\Omega(S)\\times\\Omega(T)\\) iff both \\(S\\) and \\(T\\) are finitely generated upper sets.  A poset \\(P\\) is said to be a directed complete partially ordered set, or dcpo for short, if every directed set \\(D\\subset P\\) has a supremum. A poset in which every subset has a \\(\\sup\\) and \\(\\inf\\) is called complete lattice. If for all directed subsets \\(D\\subseteq P\\) for which \\(\\sup D\\) exists, the relation \\(y\\leq \\sup D\\) implies the existence of \\(d\\in D\\) with \\(x\\leq d\\) then we denote it as \\(x\\ll y\\). A poset \\(P\\) is called continuous iff for all \\(x\\in P\\) the set \\(\\{p\\in P:p\\ll x\\}\\) is directed and \\(x=\\sup \\{p\\in P:p\\ll x\\}\\). A continuous dcpo which is a complete lattice is called a continuous lattice. The authors introduce a property \\(\\mathbf{K}\\). A poset \\(P\\) is said to satisfy property \\(\\mathbf{K}\\) if for any \\(x\\in P\\) there exist a Scott open set \\(U\\in\\sigma(P)\\) and a finite \\(F\\subseteq P\\) such that \\(x\\in U\\subseteq \\uparrow F\\). They prove that if \\(S\\) and \\(T\\) are nontrivial posets with \\(\\sigma(S)\\) or \\(\\sigma(T)\\) being continuous, then \\(\\Lambda(S\\times T)= \\Lambda(S)\\times\\Lambda(T)\\) iff \\(S\\) and \\(T\\) satisfy property \\(\\mathbf{K}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q977461$E140A613-911F-4B58-81E2-5281283C20E4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"25d165586ef306be75cacdf24a48b4c265d99b46","datavalue":{"value":{"entity-type":"item","numeric-id":428800,"id":"Q428800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977461$EE759F2E-A606-450A-B157-13DEDFC49A99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae96d749ed729f5c3d9ba235c923f35a27a788f5","datavalue":{"value":"54F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q977461$45267F72-5C44-455C-92F2-821DE799DCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e886f6e0421be5a8f743ae1b051b4f18a64974b4","datavalue":{"value":"54A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q977461$715AAC47-9033-492E-9F86-8E315A022842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f70b59279cc975ff13b3fcc96c409898d99acf5","datavalue":{"value":"54B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q977461$5EA6E3C3-9AD5-4D8B-9EDE-17C8CC6B9AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q977461$0B97F7EE-F5CC-4CFC-9021-B760756591C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a32d8b6950028b501e83bd55e6a55719f9f2ba9","datavalue":{"value":"5724592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q977461$5A824E1D-F1D2-4798-8351-BD73502EE23A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"430d173f2e4777505d78d512523de6cd66020c20","datavalue":{"value":"lower topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q977461$541C66DA-54FD-4162-9204-54EBF8C0E05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"139c362d8aff0d65525f55d23b745f22d126d755","datavalue":{"value":"Lawson topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q977461$4907EB93-7D8A-4C2A-A3A1-B7593E51DFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q977461$C77B2C18-5C10-4307-B234-90498AA86015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0c5234f1c77925a7d945332d3681640f7161d","datavalue":{"value":"Scott topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q977461$AB6AE66B-A22A-44FE-B7C9-1D26F616D41B","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":"Q977461$00B8ADC6-7E7E-43E6-91F4-8166A05C075B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"008381203d3f63d467ed5ffe2a058d5f3a80baad","datavalue":{"value":"https://doi.org/10.1016/j.topol.2010.04.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q977461$562720DB-D4A2-4EFE-8747-982348D70982","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e84c6cb1c2718c5eda84c3ce8235d674cc7c986","datavalue":{"value":"W1988405611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q977461$EEDE07CB-6552-494E-BAAC-74E77011CA46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977461$4861B9DD-4BB3-4B8B-90FC-D247DC2D4966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13e2c7bf7641da29d842a6ebdecaddddf4b9405","datavalue":{"value":{"entity-type":"item","numeric-id":4222034,"id":"Q4222034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977461$D8E3B587-B3DF-4A9C-A33C-5818DA74E66B","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":"Q977461$426B8E04-B4B1-4127-B39D-A1105F80520B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"030ccb5389c02e17df8168d7953b58a7f32f249f","datavalue":{"value":{"entity-type":"item","numeric-id":1158182,"id":"Q1158182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977461$D9E1AC27-9054-400D-AA47-F32BF48BE961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977461$3D080CFD-CCDC-465A-AA80-A10D61CF084C","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":"Q977461$32EBC576-3292-4899-B5D0-6DCCE9BAEE1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac5d5c34c1550fa69d8e38f6410edf05c9b8467","datavalue":{"value":{"entity-type":"item","numeric-id":1295216,"id":"Q1295216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977461$230D4035-7830-4071-A341-0FE8D358C669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a66abd4a0c114778ddbaa5df73c5a7204cf39c30","datavalue":{"value":{"entity-type":"item","numeric-id":1916446,"id":"Q1916446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q977461$32D41D63-B91F-48C2-BDD8-DD4A7026D7DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64a6cf2788439c89ba132087286d2c8ba058971d","datavalue":{"value":"10.1016/J.TOPOL.2010.04.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q977461$929A6C32-AAA4-49F1-AC62-2FDEC249CE87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e197ec635b9eac1b3b220ac5979b47525046fc7a","datavalue":{"value":{"entity-type":"item","numeric-id":3110835,"id":"Q3110835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc7b7a35544712c020dca22691a9b0caa92218c","datavalue":{"value":{"amount":"+0.8749507665634155","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":"Q977461$8DE43D98-C064-4783-B39C-B64EF54F3700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10cda454f3f7a58e9e902687490b8ea5f83f2174","datavalue":{"value":{"entity-type":"item","numeric-id":4900849,"id":"Q4900849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ee968d57590217ccec5f7836559c15841986745","datavalue":{"value":{"amount":"+0.8239519000053406","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":"Q977461$4AD2D507-11A5-45B1-A0EA-E6809864CD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"695d934df65b325125eaf46c1e823a9fdf548f27","datavalue":{"value":{"entity-type":"item","numeric-id":1975538,"id":"Q1975538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b706fce23938bdb27b89c5aeaebd61a7f8c467d6","datavalue":{"value":{"amount":"+0.7814615964889526","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":"Q977461$BB91BE01-BF8E-4253-8C13-765753A05090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"673bec6028e158c6ca6def86a7665165c97788e9","datavalue":{"value":{"entity-type":"item","numeric-id":3719483,"id":"Q3719483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f3f5680bd2704e59cc9821d96f2d1ca6ffac2cc","datavalue":{"value":{"amount":"+0.7674867510795593","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":"Q977461$7D392589-6B68-40F7-B35C-C125A5FB44FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d440eb962d7a7f56127649d321238a71dc00b8b7","datavalue":{"value":{"entity-type":"item","numeric-id":2065103,"id":"Q2065103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a33ca7bac7bf8d1f55378875c2a2de31a23268a","datavalue":{"value":{"amount":"+0.7618330717086792","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":"Q977461$5E391E3F-B54D-482A-A092-C041FF144F3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:977461","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:977461"}}}}}