{"entities":{"Q798340":{"pageid":800188,"ns":120,"title":"Item:Q798340","lastrevid":48735355,"modified":"2026-01-05T18:06:13Z","type":"item","id":"Q798340","labels":{"en":{"language":"en","value":"Isotone relations and the fixed point property for posets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3869392"}},"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":"Q798340$3C9E05A6-9D47-4C03-8098-7AF0F6A6CC75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39e7d6341a4cd075cf17aa7b810d1aba34b01d29","datavalue":{"value":{"text":"Isotone relations and the fixed point property for posets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q798340$5424B951-4904-49AF-B193-DB8957C01277","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca1d353957570812cd21a8852d48ce56416568da","datavalue":{"value":"0546.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798340$ECE8EA10-8105-4B33-8D96-AB41BC150C2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44309cbcfc29016bad5e8cf86881186eae832716","datavalue":{"value":"10.1016/0012-365X(84)90188-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798340$40978411-1EAD-4DB3-A7CA-DB5C0F97DC79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4af719f46267ff99e1e44c762e5f7d43117edf0d","datavalue":{"value":{"entity-type":"item","numeric-id":798339,"id":"Q798339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798340$CFE579F2-B45D-4877-8779-D1E71C74581F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798340$BDD44D93-9978-430F-9FDB-E9F5C90D5DA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q798340$497DE3C7-37BF-4ACC-BA52-C0CE39034C53","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"036333ef5892bf934a7e04e9c488881363467cd3","datavalue":{"value":"For posets S,U let \\(H:=Hom(S,U)\\) denote the set of all isotone mappings f,g,.. of S into U ordered componentwise; f,g are said to be order- homotopic if f,g belong to the same component of the ordered set H. A relation from S to U is defined as any function f from S into the power set PU of U. Let Rel(S,U) denote the set of all relations from S to U. Let \\(\\bar U\\) be the set PU preordered by the procedure \\(A\\leq B\\) to mean \\(A\\subset ideal B\\) and \\(B\\subset filter A\\); a relation f from S to U is called isotone if the induced function f:\\(S\\to\\bar U\\) is isotone. S is said to have the relational fixed point property (relational FPP) if every nonempty isotone relation from S to U has a fixed point, i.e. \\(x\\in fx\\) for some \\(x\\in S\\). Theorem 5.7 (Main result): A finite ordered set has relational FPP if and only if it is dismantlable (S is dismantlable if it is both well-ordered complete and order homotopy equivalent to a point). Theorem 7.4: If S has relational FPP, U has FPP, and S,U are well-ordered complete, then \\(S\\times U\\) has FPP. The question whether the FPP of S,U implies the FPP of \\(S\\times U\\) remains open.","type":"string"},"datatype":"string"},"type":"statement","id":"Q798340$008D65EF-6B98-49B4-BE30-7927F8CFF43F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798340$C9E28265-B78C-4819-9C39-52378AC3DA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be4cd99f0aaa2688661b2002577944d759906919","datavalue":{"value":"54H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798340$C5D04965-8242-4902-A04E-BEE4359932C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb96c6a44bd86b93f2aac032acc8849741662d4f","datavalue":{"value":"3869392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798340$8E8E6FFF-87E8-4214-832C-8C5FF494CE41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49716630da27d6c36280009fcfc53975e456235f","datavalue":{"value":"isotone mappings","type":"string"},"datatype":"string"},"type":"statement","id":"Q798340$A8BC76E4-F605-43BD-84F3-A725FE101B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94972d89ba4503b868daad8e0a5b1c846954d436","datavalue":{"value":"relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q798340$A46D87F7-1165-46C0-B881-CDC7944EE0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0dc1d2e98ce00346844e723cf3ace07373f481c","datavalue":{"value":"relational fixed point property","type":"string"},"datatype":"string"},"type":"statement","id":"Q798340$5F685779-810E-4545-B9CD-CB55972C9FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fb1316b2aa4e75aae899f4fa529f26a0bb94079","datavalue":{"value":"isotone relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q798340$426A8ED3-1BB9-444E-AE9E-A1C420065320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04b2d11a35fe2111673e534bdcf8b64e60d9d2fd","datavalue":{"value":"finite ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q798340$C9BECC06-1224-4F0D-8ED6-16D4B598E6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b3abb9170f2877272a6295d3439e98ef1d83715","datavalue":{"value":"dismantlable","type":"string"},"datatype":"string"},"type":"statement","id":"Q798340$D7796041-406C-4A6D-ABB4-46933BF22A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc8fc2d15e5bb44f38cee814b9eba810ff8e615b","datavalue":{"value":"order homotopy equivalent","type":"string"},"datatype":"string"},"type":"statement","id":"Q798340$438D11A8-C0E3-4BF1-B985-2042BA214BEA","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":"Q798340$79D01CB7-8544-4909-B7F6-E7562375611A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2adef61f68c26ac5bba6a41b3cc1d7c0a3f9a3ab","datavalue":{"value":{"entity-type":"item","numeric-id":3278374,"id":"Q3278374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798340$4F72E6E6-1AF8-4F5A-ABBC-892F1B59FE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beba7f10fb1cf6bae326aafb6f988e692dbbf565","datavalue":{"value":{"entity-type":"item","numeric-id":1239749,"id":"Q1239749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798340$2959AB1B-F937-469E-8267-317F5AD50AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63dafe6927a1e73f2031126cff56637af55735ac","datavalue":{"value":{"entity-type":"item","numeric-id":5895362,"id":"Q5895362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798340$625023B6-0950-4572-BB48-FC33310469BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f133bdcea9d2ef6bbbd2099f09477b9d0e8124c8","datavalue":{"value":{"entity-type":"item","numeric-id":3882497,"id":"Q3882497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798340$986919D9-AB77-4210-8406-8F506253389B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b86f9624bda6649a776e8c718717b17a24871842","datavalue":{"value":{"entity-type":"item","numeric-id":3853684,"id":"Q3853684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798340$1E85D4FB-7779-4E0F-8848-2336D298C152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"403c35fb4e37ffe8223dbe833023937c046a3ef3","datavalue":{"value":{"entity-type":"item","numeric-id":1151913,"id":"Q1151913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798340$D1C55EDC-841C-478E-8FD5-770A05F33E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4b3eac329ee6ac41ab3199c35f3cfbba051791","datavalue":{"value":{"entity-type":"item","numeric-id":1237994,"id":"Q1237994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798340$B6ABEE0C-F529-4E8B-A72B-AC790A663DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"812b80b1b19f47b290aec7925d416bfac45facab","datavalue":{"value":{"entity-type":"item","numeric-id":5648393,"id":"Q5648393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798340$AA6BC35D-E1F2-4FA6-AFFB-88A38473BAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd6b0fbc466f97d68787cd32fab899f2f3a65081","datavalue":{"value":{"entity-type":"item","numeric-id":5530356,"id":"Q5530356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q798340$42F9E952-9D0C-4FD9-88EA-9184EC082717","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1a87bec7b470fb7d2f6dcf0f5b171e14d7fcfe4","datavalue":{"value":"https://doi.org/10.1016/0012-365x(84)90188-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q798340$AFB59A71-2163-4802-A747-5DA72B35E250","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2504fbd421b81c18e5f37d9e5efd9e7afad478d","datavalue":{"value":"W2020382964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q798340$22F43400-9EE6-447A-9681-6D11E09B56EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f96817a5b7356aea4830852488574ae69b59f899","datavalue":{"value":{"entity-type":"item","numeric-id":1772419,"id":"Q1772419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"128e19bb3a572c8b536378281d6421fbae389992","datavalue":{"value":{"amount":"+0.8256523609161377","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":"Q798340$8879B094-CABB-431B-AAC2-52FF3C0EF977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c782403ad54bd55ee2121a794477ddfbffe9735","datavalue":{"value":{"entity-type":"item","numeric-id":3216707,"id":"Q3216707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eff3c147b9b0e93d6a4a1bea5b949c23f9843934","datavalue":{"value":{"amount":"+0.8063648343086243","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":"Q798340$8DAE6B70-3ECD-44C0-9BBB-1818C20DE44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8518c6f61adc0f4b851ac50211c0e901d4c5733c","datavalue":{"value":{"entity-type":"item","numeric-id":3768942,"id":"Q3768942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63e3b842ea67fc73ac7b1d6e7b46b0d4e97fb9b","datavalue":{"value":{"amount":"+0.8050116300582886","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":"Q798340$AA826D4E-A8C6-4CF0-8460-CA11AEE00F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e74f29562812e400f2a7fca522f8016ffcef3637","datavalue":{"value":{"entity-type":"item","numeric-id":3356339,"id":"Q3356339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1f62d586de09214e0dfa63cefed01d526746488","datavalue":{"value":{"amount":"+0.7978101372718811","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":"Q798340$2A3E4093-4EAF-430F-B458-4A6037016F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7dab45deaa6ad911151b8b92c12803b31969df3","datavalue":{"value":{"entity-type":"item","numeric-id":3722547,"id":"Q3722547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce3d816bf57ea6b895c7917eae6d051776f90cf3","datavalue":{"value":{"amount":"+0.7937517166137695","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":"Q798340$2B8943FB-F077-431E-BB51-52F22B37585E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:798340","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:798340"}}}}}