{"entities":{"Q2573335":{"pageid":2584078,"ns":120,"title":"Item:Q2573335","lastrevid":72808737,"modified":"2026-04-14T07:59:44Z","type":"item","id":"Q2573335","labels":{"en":{"language":"en","value":"On an open problem of Amadio and Curien: The finite antichain condition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2225714"}},"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":"Q2573335$89C51D9E-7352-49F2-BD1E-54C1B46DBA74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07b344f758f9f31e973f00acf791dce2e033ac1f","datavalue":{"value":{"text":"On an open problem of Amadio and Curien: The finite antichain condition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2573335$910C62CD-2D03-4E5E-BA08-7B269FC55615","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a64a74fec1b7b877ab51a96b4f6b9d9ee8348e6","datavalue":{"value":"1088.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573335$99126CDC-56F6-4B89-8A33-905818F900BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$C26AEA3B-6711-4E72-ACA7-3229D63EA803","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$9186CE84-A8BD-49D0-BA3A-28EF86F2A23C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6caaa16ec57e4bb5caaf730cdf7928d5600fc3c","datavalue":{"value":{"time":"+2005-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2573335$C84C6CD5-CAAF-4E8C-ACC6-941F59E31496","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4714b13b12f0c3149b964a72015501e6aa261d2c","datavalue":{"value":"The authors show that for any \\(\\omega\\)-algebraic meet-cpo \\(D\\), if all higher-order stable function spaces built from \\(D\\) are \\(\\omega\\)-algebraic, then \\(D\\) is finitary. This result is half job of solving the open question whether the category of stable bifinite domains of Amadio-Droste is the largest cartesian closed full sub-category of the category of \\(\\omega\\)-algebraic meet-cpos with stable functions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2573335$D4CE4040-123D-4E45-AC11-8F32C43F68F9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ccb45899d5f7bb3c880aa37d11928692be2daaa6","datavalue":{"value":{"entity-type":"item","numeric-id":344795,"id":"Q344795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$94D5A214-BA31-49C0-854F-4016F925A2FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573335$DC186B7E-C131-49C0-B968-CF95E760D1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573335$F040A429-4367-4367-AA50-29AE4B22869C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573335$55B202D7-5EFD-4F8A-9622-674C0F7C51A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2248beda86be2efd3395d94a1290cbcd723f13b5","datavalue":{"value":"2225714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573335$4E3B8F82-FB5C-4EFD-9C44-6179778B1AED","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":"Q2573335$25522127-97B7-4A19-85C9-CE19E18E0FDD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3e4ce2b5c20ec9ee4619a96e6efc2d91239e512","datavalue":{"value":"https://doi.org/10.1016/j.ic.2005.06.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2573335$031E9E33-A1F9-4162-988B-2279E668C9A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ff4507e1aaac99b9b4737854b0abd01f21fb12b","datavalue":{"value":"W2119972514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573335$A2D82D6E-F2F7-49CD-B9A0-AD15D9561C8D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2a1ad2fff6cb64b49b2e53af0a5a59313138c187","datavalue":{"value":"Q62041664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573335$4A17C138-0B58-419A-9E88-39618D9ECD4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04f13e9ab5c819934bb5e3ee883e8a369b49134","datavalue":{"value":{"entity-type":"item","numeric-id":1323358,"id":"Q1323358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$1C9B2BFC-C5A5-4421-BD99-02AF1720E196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b63e0e1ac57986b7d80b94330b7f752779733ac6","datavalue":{"value":{"entity-type":"item","numeric-id":1276243,"id":"Q1276243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$9689671D-48A0-4249-BCA7-7BBB0A4BF4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c6782c2c09e8bbfad643386b1f8d52e802c5e35","datavalue":{"value":{"entity-type":"item","numeric-id":5714432,"id":"Q5714432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$CDE699FC-505D-4A1A-9E1B-D1ABF9EDE502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4095d43128c0b4254388e3a82faf019f6be93f","datavalue":{"value":{"entity-type":"item","numeric-id":4415245,"id":"Q4415245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$C655BF9F-E15B-4D94-BD51-97FD393A51E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$C325D779-D984-4C4F-91DC-864784977F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc12cdf250d6ce6c82e9504d13ccc5b58f7168e","datavalue":{"value":{"entity-type":"item","numeric-id":4814186,"id":"Q4814186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$F9EE27A8-6B71-4723-A67E-105E303A1747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd58059443e2f37e2ad65e4886ad3cd9229d03ec","datavalue":{"value":{"entity-type":"item","numeric-id":4415246,"id":"Q4415246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$0AE22C05-B1C4-4876-8B92-D38C44796CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0d36bbf83616714d044d5fbaf7637bcd122a92f","datavalue":{"value":{"entity-type":"item","numeric-id":2566220,"id":"Q2566220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$677AD5CF-DADF-40F0-8F69-274C1EB2F0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ec3545eb40524eb658036a343c8b48062b85c5","datavalue":{"value":{"entity-type":"item","numeric-id":2841270,"id":"Q2841270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$0396471F-EB89-4A93-A7AC-B7E893FBA1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050df2d24e28bacef25f04d7a8d40db1a2d35f0f","datavalue":{"value":{"entity-type":"item","numeric-id":4536436,"id":"Q4536436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$06F9B2F7-D795-4E4A-8849-7D06D849408B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c68b05a47ff9daa78afd5f800d3bae6617e3ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1350347,"id":"Q1350347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$71944E30-602B-4814-A8F3-88FCA28DC996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838e72b8de73bbdd23fef30f98a3a67a4606b53d","datavalue":{"value":{"entity-type":"item","numeric-id":5178864,"id":"Q5178864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$084B6704-B1E8-4C65-937E-93FD58933218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e174adf7908bb099b01fcd55e089f7c3edfd150c","datavalue":{"value":{"entity-type":"item","numeric-id":4484495,"id":"Q4484495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$3505BD91-0DBF-44E7-A1F0-EFA914444EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca9fad324e49104895b084cb5cc6db209b6e6bc5","datavalue":{"value":{"entity-type":"item","numeric-id":4449205,"id":"Q4449205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$63FF45D2-234B-4F1F-8FBB-965C8316930C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$B3E7120F-627F-4CBF-9A6E-293A92FBA7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$E9C49A0B-E1DE-4D64-A28D-7A247C20F633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$1AE2B98F-A81C-481A-8F12-D6526B4B142E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62d6e255e88469c5037fa025bdbe62107d9bfa5b","datavalue":{"value":{"entity-type":"item","numeric-id":1854329,"id":"Q1854329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$C4D3756B-A86C-47E9-9F90-6EA9FF1F68CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90299c14a68e76265cb2f1fd715311ad1cdacf85","datavalue":{"value":{"entity-type":"item","numeric-id":5308696,"id":"Q5308696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$2E367499-D20E-40FD-A53B-FFE51B72EFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7826866a05510a038a5ca0e484e348b53bbacd09","datavalue":{"value":{"entity-type":"item","numeric-id":1854385,"id":"Q1854385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$97F23E66-CA6C-4C83-B3BB-93E9FF3E11B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f992dd70dfa2428e0541bf5d0f892f3342ea38","datavalue":{"value":{"entity-type":"item","numeric-id":5178868,"id":"Q5178868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$C00F6254-839D-4C42-85A4-A0C08BBF8903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52e602ecb1c82a68e529850be129828ac79f1d37","datavalue":{"value":{"entity-type":"item","numeric-id":4535034,"id":"Q4535034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$A721FF9B-6265-40EB-AB85-FC84CBE329C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$530FADD8-EC94-4ABB-9BD0-A1FA0D547C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5382313fb3f5d333e9729621f69130c9633fcb2","datavalue":{"value":{"entity-type":"item","numeric-id":675066,"id":"Q675066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2573335$546C50AE-3D6D-48EE-B7BA-EFF98791C67D","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"cf930fd6e1c216293484bd350b0576b3d55fd6e3","datavalue":{"value":"journals/iandc/BugliesiCMS05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573335$36E0478E-841B-493F-BBCD-F92AEFD2E2E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91aaefed69e923af5e5ad343d75732c8e18a6958","datavalue":{"value":"10.1016/J.IC.2005.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2573335$B3AC8D10-0009-4CBB-B3E4-2A7F75EF70C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e50e34dd1357d3c78b830b8d051a6d0f168d8ee","datavalue":{"value":{"entity-type":"item","numeric-id":1753999,"id":"Q1753999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1742d8e8cf12a637667aded90f2bd0893442a38","datavalue":{"value":{"amount":"+0.8985573053359985","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":"Q2573335$1EFBD907-E3F2-4152-B9B4-9D31D82E19AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d7a7319ae84ff0569b9ffe95d93c6172411f2e7","datavalue":{"value":{"entity-type":"item","numeric-id":517047,"id":"Q517047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e0034df26fabb7989ccc766dad8fa221163ac5a","datavalue":{"value":{"amount":"+0.8221771717071533","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":"Q2573335$AE014F8B-DCF7-4B73-B3A2-77A20E3F4AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e893ceab81217287e34646b7dd4f4cd56e46e7b","datavalue":{"value":{"entity-type":"item","numeric-id":3612631,"id":"Q3612631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c87c453fe1ab26ad39f5a0d67d3ecdcd8efa584","datavalue":{"value":{"amount":"+0.8136571645736694","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":"Q2573335$F715D574-2D59-4989-97CA-040A115DC5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f13b4dee1cac9ed7ed4f972b4620f706e953df","datavalue":{"value":{"entity-type":"item","numeric-id":4282566,"id":"Q4282566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8c41b09183c0a456b47ea41ac8c48e8e583f91a","datavalue":{"value":{"amount":"+0.7819556593894958","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":"Q2573335$0D1CE299-A326-43FC-BAD5-A30BC58A8346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae6848f268bb214de516b074165c55cba8f0e24a","datavalue":{"value":{"entity-type":"item","numeric-id":584381,"id":"Q584381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b48d6fd6cc42b51da0d48272716eb572b8ce47db","datavalue":{"value":{"amount":"+0.7811019420623779","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":"Q2573335$F6474AA0-B1A9-4419-B3D3-A9E69293053E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On an open problem of Amadio and Curien: The finite antichain condition","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_an_open_problem_of_Amadio_and_Curien:_The_finite_antichain_condition"}}}}}