{"entities":{"Q1813971":{"pageid":1824713,"ns":120,"title":"Item:Q1813971","lastrevid":69028926,"modified":"2026-04-13T03:50:04Z","type":"item","id":"Q1813971","labels":{"en":{"language":"en","value":"On Scott's thesis for domains of information and well-quasi-orderings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5485"}},"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":"Q1813971$8EC5040A-4AAA-4A8B-843E-1B8E6B0C7287","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b574e19f6205c839d2c2ec3b806319ffb541ab19","datavalue":{"value":{"text":"On Scott's thesis for domains of information and well-quasi-orderings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1813971$C59B9F9F-4452-4012-845F-12AF06E52D3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe75904a82be4b33bbd62806b842cc974e1599d3","datavalue":{"value":"0743.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813971$B5FB88D3-61AE-4720-A7DC-D743DB0EE82B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8318a94ae3c5886534cae5e37941f8bcad39787","datavalue":{"value":"10.1016/0304-3975(90)90157-D","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813971$049B121C-F6D9-4ADA-8A25-7D66C045ECBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bef027794eedc3292f4b5581f7c6133106333c2","datavalue":{"value":{"entity-type":"item","numeric-id":1181418,"id":"Q1181418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813971$C624A512-B480-48FB-A687-BF25662A262E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813971$B5D2B12D-A097-438F-B609-5DE64234AAAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1813971$E8E221D1-BE75-4C42-B71A-C38A59C7D593","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ce2b2824c11dc5610e92c2643c5ea198ebcf2d4d","datavalue":{"value":"Let \\((E,\\leq)\\) be an ordered set of events \\((\\leq\\) represents causal dependencies). Let \\([e]_ E=\\{e'\\in E\\mid e'\\leq e\\}\\) (the set of necessary conditions for \\(e\\)). Given a subset \\(D\\) of \\(E\\), its underlying domain of information \\({\\mathcal L}(D)\\) is the set of all left-closed subsets of \\(D\\). If \\(E_ 0\\) and \\(E_ 1\\) are two subsets of \\(E\\) (interpreted as input and output of a computation), we can define two functions: \\(f_{E_ 0E_ 1}: {\\mathcal L}(E_ 0)\\to{\\mathcal L}(E_ 1)\\) and \\(f^*_{E_ 0E_ 1}: {\\mathcal L}(E_ 0)\\to{\\mathcal L}(E_ 1)\\) such that  \\[ f_{E_ 0E_ 1}(X)=\\{e\\in E_ 1\\mid [e]_ E\\cap E_ 0\\subseteq X\\} \\]  and  \\[ F*_{E_ 0E_ 1}(X)=\\{e\\in E_ 1\\mid [e]_{E_ 1}\\cap E_ 0\\subseteq X\\}. \\]  A poset \\((E,\\leq)\\) obeys Scott's thesis iff \\(f_{E_ 0E_ 1}\\) is continuous for all \\(E_ 0,E_ 1\\subseteq E\\) with the induced orders. The main result of the paper characterizes such posets:   Theorem. Let \\((E,\\leq)\\) be a poset. The following are equivalent:   (i) \\((E,\\leq)\\) obeys Scott's thesis.   (ii) \\(f^*_{E_ 0E_ 1}\\) is continuous for all \\(E_ 0,E_ 1\\subseteq E\\).   (iii) For all \\(e\\in E\\), \\([e]_ E\\) does not contain an infinite antichain or an infinite increasing chain.   (iv) For all \\(e\\in E\\), \\(([e]_ E,\\leq^*)\\) is a well-quasi-ordering (here \\(\\leq^*\\) is the inverse order with respect to \\(\\leq\\)).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813971$80FE0F4E-F7EF-433F-B199-CE162452B116","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813971$11AAD4FB-20AB-4568-A8A6-E8A19D510838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813971$D26D02CE-FF91-4B32-9482-A760C600E180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813971$DDF9B8AA-D9DB-4B01-8098-5E2C0AD6E8EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff26dcf1944b1218aab0acc5e2f2c421782167ed","datavalue":{"value":"5485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813971$E979A571-AD50-4D10-90A0-BB6CFF6BC31B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f544640c68096b30371a4b1f3cb60c23a607caee","datavalue":{"value":"quasiorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813971$D6D7C746-794C-477F-BE2D-F252C0994C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d2c79bb6e3d23a12dd667cbd008a5f9d34cd6e3","datavalue":{"value":"order continuous function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813971$05682C0C-BDEB-4B34-984D-004CFC327C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"673aeda341f19080a380d05aa18b53ce781fb6de","datavalue":{"value":"event structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813971$E2B06C7E-8BEE-4EB0-B04A-34C12378BE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"790059a346f8186810c9b068be36d376d47abec7","datavalue":{"value":"causal dependencies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813971$D7E78019-6945-4767-AEAA-9C9FBC664A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e90d0f5cfe5e000fbd0be787844defaa78478315","datavalue":{"value":"Scott's thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813971$A475ACC7-C4F2-49F7-B440-0ACEAE049EB3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"050c1377e42a136019a12b081a34d665c8804981","datavalue":{"value":{"entity-type":"item","numeric-id":1591333,"id":"Q1591333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813971$E9C4ABEE-3885-4ED7-999B-BC9993B218C6","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":"Q1813971$3D25FB11-96C2-4159-87AB-4770D9ADDC92","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"225116f3b98655e4cbb084142670e8088acd17fd","datavalue":{"value":{"entity-type":"item","numeric-id":1076017,"id":"Q1076017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813971$DEF8C6D4-9DFE-4EE9-9668-7BF74B65F364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd77c1416f46db1e477c06eb4d0c6518ccbfab0","datavalue":{"value":{"entity-type":"item","numeric-id":3326830,"id":"Q3326830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813971$863C4567-189D-47DF-91F9-3F5276769AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bbd552339b50e4fb637ebebf5d4cba84a9a9e0b","datavalue":{"value":{"entity-type":"item","numeric-id":3691785,"id":"Q3691785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813971$5CD52313-D52B-4C46-9150-1295FA360C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813971$D9604CFD-9AB6-4B67-9B36-5D4015368572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ef635eef3d0932f900601b313888578310dbacc","datavalue":{"value":{"entity-type":"item","numeric-id":3715155,"id":"Q3715155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813971$F99520DE-FB63-488B-8869-8E4CD09937DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4773c285e5bc508231c7e79b59e726e8ae5dbc2d","datavalue":{"value":{"entity-type":"item","numeric-id":5569435,"id":"Q5569435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813971$4DE1C286-8FBC-434D-9E23-BE89708248DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b943b497557fbadd06dadccede7f3ee2e4029b37","datavalue":{"value":{"entity-type":"item","numeric-id":4766044,"id":"Q4766044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813971$4624E827-7AB4-48B1-8563-201EC18D58B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813971$27422826-F78A-432C-9618-D3B2F43F2DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813971$7BCDA2CE-5FD9-4CFF-8A01-0A79F6156507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b379364cb252742c8efdf365072062c0dfb27c0","datavalue":{"value":{"entity-type":"item","numeric-id":5685626,"id":"Q5685626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813971$996DA874-0DF1-4715-B2F4-A1D35AC2FD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813971$B3B27C86-0580-45DA-AE45-E8923F4837C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b9a9dea218297e050daccb0e20119a5cddf246","datavalue":{"value":{"entity-type":"item","numeric-id":3667958,"id":"Q3667958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813971$3B30E5C9-841E-4BD1-9FEB-AF2E00BD3F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813971$7BC5986F-7D0C-4B13-A3AA-E2084CF56DD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fefd3d0c576325a926f8a0f6576b3c0e4dc35fad","datavalue":{"value":{"entity-type":"item","numeric-id":5107232,"id":"Q5107232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dd658e8577a06b665477f78b5db7e4a4acaa52c","datavalue":{"value":{"amount":"+0.7499038577079773","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":"Q1813971$6B6758F0-0FA2-47AB-BAEB-3AD528A94E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"549bec63845984f3acd8346ac004c6a717b47bdf","datavalue":{"value":{"entity-type":"item","numeric-id":949623,"id":"Q949623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eec2281bd37fc9ca99cc555295fffbfd98f972e","datavalue":{"value":{"amount":"+0.7153555750846863","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":"Q1813971$7ED4157B-48A8-4A1D-A81E-8E2D3B56360F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dcc3845055c0e4806d95dfcc3a3b64c1479a589","datavalue":{"value":{"entity-type":"item","numeric-id":2794091,"id":"Q2794091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7e5e0eefa2ab253b1cc876e32f4a50005b8504c","datavalue":{"value":{"amount":"+0.7134273052215576","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":"Q1813971$663FA031-1EEB-4ABA-8F7E-765CAEBE2999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d5f4f628aa178173b1d25610811c99ccf039c1","datavalue":{"value":{"entity-type":"item","numeric-id":1803588,"id":"Q1803588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eb8511cdeffa2e5a135a0a7a8b396531f1d27e7","datavalue":{"value":{"amount":"+0.7071358561515808","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":"Q1813971$D2850F4C-2778-458F-BAB0-B345FA2499D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c145f16f9dcb5790f1612ecb5db3b9277577be94","datavalue":{"value":{"entity-type":"item","numeric-id":938481,"id":"Q938481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0055da426a36930770263d98d0ed2f2919b7a463","datavalue":{"value":{"amount":"+0.7061525583267212","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":"Q1813971$5E28D1C3-16A4-4B0A-A91E-FC7CE9F17D50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Scott's thesis for domains of information and well-quasi-orderings","badges":[]}}}}}