{"entities":{"Q509532":{"pageid":511299,"ns":120,"title":"Item:Q509532","lastrevid":62372400,"modified":"2026-04-11T05:38:46Z","type":"item","id":"Q509532","labels":{"en":{"language":"en","value":"Natural congruences and isomorphism theorems for directed complete partially ordered sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6686345"}},"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":"Q509532$D95A4253-6B34-4C3C-BAD7-FD2A9CC36D01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b741a5321df4b711f34db43e3277d0a5b9e85cb7","datavalue":{"value":{"text":"Natural congruences and isomorphism theorems for directed complete partially ordered sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q509532$BB421AAC-00BD-47CB-A016-39E0368833EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4e97fca970eded206c6d316402c6c75e0720565","datavalue":{"value":"1362.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509532$CED9400E-D2BC-4EE9-A765-C96742650392","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ae88561f4474fdcb0da2b007af2999d3e69f8fc","datavalue":{"value":{"entity-type":"item","numeric-id":262977,"id":"Q262977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q509532$A7A20992-1D64-4872-BDED-CE8974E0BBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"185f1ecbffe4cd71c16fd0b26c5530c8b83af5f0","datavalue":{"value":{"entity-type":"item","numeric-id":262978,"id":"Q262978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q509532$E6B7DD18-480D-4751-8039-5F2A2C17797B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f07d1fd7136a96e06de05497d645dc743031ece6","datavalue":{"value":{"entity-type":"item","numeric-id":509531,"id":"Q509531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q509532$8C5CC51B-D201-4897-BB6E-ECBA472CA0C5","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":"Q509532$44340E20-DB01-47B6-989D-5D40D6BC48BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a051f678ce9f4f7380cf2de9c6018ea50fabc5c","datavalue":{"value":{"time":"+2017-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q509532$9141D1E7-4574-4B59-841B-9BACDB69784B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"58d116ffb1ea28d74a4c4e86db9326d6aa627bbd","datavalue":{"value":"It was shown by \\textit{T. S. Blyth} and \\textit{M. F. Janowitz} in [Residuation theory. Oxford etc.: Pergamon Press. (1972; Zbl 0301.06001)] that an equivalence \\(R\\) on an ordered set is a congruence, i.e. the quotient structure is an ordered set again, if and only if \\(R\\) is convex. Directed complete partially ordered sets play an important role in domain theory but a description of congruences for them was not yet developed. The aim of the paper is to characterize natural congruences on completely partially ordered sets and to show that kernels of their join-preserving maps are not necessarily natural congruences. Join-preserving maps whose kernels are natural congruences are characterized. Decomposition and isomorphism theorems for these maps are proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q509532$C2F3B670-8F79-43BC-AE57-7302F13D022E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q509532$B2BCB7D1-DEC5-42DF-93EE-368683824A60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"55784bde12c4e3e975ad2c89a161a4a5dacf49d1","datavalue":{"value":"06A11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509532$CB6923C4-4678-4E77-8825-C70FD52B8B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509532$A05DD9A4-8C90-41DC-8038-05B911CDC09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509532$B9B23987-5421-4EDE-9A91-6F344ABB769A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ac53b3d8ea831a008f6edc0617972e2b6304397","datavalue":{"value":"18A32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509532$4314F315-7792-42C2-AD9D-A9A41703EC96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1dee4ada7aae624d1c541fdc2e63a83ad0b1c133","datavalue":{"value":"6686345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509532$AFFA606C-EB52-4DF3-9AD0-4385753B1441","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q509532$EDA05A27-9E19-48EF-B8F4-AB6FC3DFA058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47776af557d1188d243103499c9f19575ee62b19","datavalue":{"value":"natural congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q509532$B5D87E94-3622-436E-B1CE-79785A8A0A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad4485f1cfcc8ddb02fe5b0d150b91e72dedfb65","datavalue":{"value":"directed complete partially ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q509532$C6BADF8F-CF78-4C02-AC77-BE85FBE483A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5665d2c10f1bc7be88f003d330aced1cea6c4d3","datavalue":{"value":"continuous map","type":"string"},"datatype":"string"},"type":"statement","id":"Q509532$2F0F7D43-E570-4CDD-8AA4-9C9D9C9E0DBE","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":"Q509532$3B622A38-2FA9-4197-A3D0-747A99A31BBC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"267ef2c375a8fc15a5d815ed84fcf6c1934cecec","datavalue":{"value":"https://doi.org/10.1007/s00012-017-0424-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q509532$07675965-9703-4DA2-B0E2-B30434662842","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ff247d69244a695bd59e131d8d7ddf4b329c75b","datavalue":{"value":"W2571653074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509532$B6F84372-C348-471A-80BF-15EDF80B76C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd45e777b215572733ffffcf3fb4360b4657ce05","datavalue":{"value":{"entity-type":"item","numeric-id":584381,"id":"Q584381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q509532$A0FA4550-A9B9-48BE-B3A8-3AD944AC5624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q509532$92F4747D-788B-4EC3-8BA3-08C354A90A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0000af6e96a9619ff38094013d865750057e54c","datavalue":{"value":{"entity-type":"item","numeric-id":1775133,"id":"Q1775133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q509532$DC41DB8E-6BB2-488F-BFC5-685767F9EEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbf47437dde536cfcefddb5901c3ce0ea9e4ff5","datavalue":{"value":{"entity-type":"item","numeric-id":4056047,"id":"Q4056047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q509532$54CBA1BA-0AD6-453F-9E91-B8E72911C9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07345368341e17504be5f3a8e133f587a691adbb","datavalue":{"value":{"entity-type":"item","numeric-id":2491204,"id":"Q2491204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q509532$ABDEE75F-C1B0-4F92-8AA5-09E345BE7565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"945dbe7b45d15257d4501308d45e43711ecad14c","datavalue":{"value":{"entity-type":"item","numeric-id":3837263,"id":"Q3837263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q509532$1340FF07-B412-4699-AF23-FB8EB47865AA","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":"Q509532$FB4F0C3A-8C99-4F48-9641-703DE168EFB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca640323bcd35f3a7754619fc47a2ac20fd8e391","datavalue":{"value":"10.1007/S00012-017-0424-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509532$85678983-0898-4DDE-B0A7-5921675B3504","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326d442d847ff2b6b8ddc864fbcb9977b558cef5","datavalue":{"value":{"entity-type":"item","numeric-id":2001384,"id":"Q2001384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ead081bf13e2aec584b74ccd9250e822dddb1f","datavalue":{"value":{"amount":"+0.851405918598175","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":"Q509532$7471CBEB-D070-4A81-9670-6E6D46C2120A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b24ec5aa3b891b8464d022cd6b24343f48703cd","datavalue":{"value":{"entity-type":"item","numeric-id":3788062,"id":"Q3788062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa06a0496be711e63ced14e313393821b067f98a","datavalue":{"value":{"amount":"+0.7929497957229614","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":"Q509532$49BA0DBC-3502-4024-92C3-A19B7F82D9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920ee2b055702230859bdaff2a71543f00241918","datavalue":{"value":{"entity-type":"item","numeric-id":5313940,"id":"Q5313940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e23f63f1251c357a31c48f995da30a6e5308a657","datavalue":{"value":{"amount":"+0.7877209186553955","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":"Q509532$1B3D336C-0C9C-40B1-BF3D-6F19A8623D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b459243079c6f8163219a7ba0a5642f11f33370","datavalue":{"value":{"entity-type":"item","numeric-id":4657009,"id":"Q4657009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66ee219fd0c34217429d18a89eb7a9bc0d9a18c7","datavalue":{"value":{"amount":"+0.7689576148986816","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":"Q509532$872CDEFF-2965-41BA-BC30-082594C66A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9f530033160803feb4be7990653d8a053f1686f","datavalue":{"value":{"entity-type":"item","numeric-id":4510917,"id":"Q4510917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44966318a269db7e45b8d9c41773d79cffb829ff","datavalue":{"value":{"amount":"+0.7646588683128357","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":"Q509532$BEC8B6CF-D6E8-421C-A712-B5849F919551","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Natural congruences and isomorphism theorems for directed complete partially ordered sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Natural_congruences_and_isomorphism_theorems_for_directed_complete_partially_ordered_sets"}}}}}