{"entities":{"Q1820179":{"pageid":1830921,"ns":120,"title":"Item:Q1820179","lastrevid":49040434,"modified":"2026-01-06T12:32:04Z","type":"item","id":"Q1820179","labels":{"en":{"language":"en","value":"Cores, cutsets and the fixed point property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3993646"}},"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":"Q1820179$0B7A5446-787B-4CD5-8364-93856F3CCC66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebe602e0b9bebd9a65ee175118407b24ad002cc1","datavalue":{"value":{"text":"Cores, cutsets and the fixed point property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1820179$90D54891-7612-4382-819B-A60479C521DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbffbffbfdfbbecb2a5d4698abd49ab0069b3533","datavalue":{"value":"0614.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820179$F6A81D61-77D0-4D14-9B4F-0FF9A3BB7802","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4995718a20acd865ce4fb9618993f82c6cce9db9","datavalue":{"value":"10.1007/BF00400289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820179$723799AC-9C6C-4DA5-8DBF-AF3F2810855A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18a60110bd5a48427edd990609d08065e5a0a906","datavalue":{"value":{"entity-type":"item","numeric-id":1016090,"id":"Q1016090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820179$90C45D85-8D61-42C1-B729-C273648E3171","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820179$F6AE85C9-4504-494A-9047-070CDA706F80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1820179$EBFDD3B8-071D-47E7-A201-F464CD19848F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"995a13df90201233795a44e75a8e9769eb8b3d47","datavalue":{"value":"This paper introduces the concept of a core in a partially ordered set P. Cores are then used to study the fixed point property for partial orders P and for products of partial orders \\(P\\times Q\\). Several extensions of fixed point theorems in the recent literature are obtained by efficient use of these cores. Definition: An ordered pair (A,B) of chains in P is a core in P, if \\(x\\leq y\\) for all \\(x\\in A\\) and for all \\(y\\in B.\\)    Some results: 1. If P is chain-complete and contains a cutset S such that every nonempty subset of S has a join or a meet in P, then P has the fixed point property (FPP). (Theorem 3). 2. If P or Q is chain-complete, Q has a cutset S as in 1., and both P and Q have the FPP, then \\(P\\times Q\\) has the FPP. (Theorem 5). 3. If T is an ordered set with the FPP and \\(\\{P_ t:\\) \\(t\\in T\\}\\) is a disjoint family of ordered sets with the FPP, then its ordered sum \\(\\cup \\{P_ t:\\) \\(t\\in T\\}\\) has the FPP. (Theorem 7).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820179$E52C5AE6-E34B-429F-8B92-70D73B77FEFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820179$7D26510C-250F-4D72-BD3A-2085DAA8FBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be4cd99f0aaa2688661b2002577944d759906919","datavalue":{"value":"54H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820179$A2776A8F-C365-444C-B1B0-D7B25389210E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2deb437cda0ddcefe2757bcdedcd1a529fac7885","datavalue":{"value":"3993646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820179$11FB3401-12BE-4E24-8648-32B80739E75D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0da0f5147540e5ff9abe1a7fedfdb0d575bb38f3","datavalue":{"value":"partially ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820179$18B0070B-9C6A-4F0A-9A61-14D0B9A6A639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac4af3e573c37512545d4dd2737c896674104b5c","datavalue":{"value":"fixed point property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820179$505E8D67-EC31-449F-A9CA-BA45A9CBCD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a1faefe68ff1029b7f0b95c86a680f3f2d31456","datavalue":{"value":"products of partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820179$6EEF48AF-E63B-4D31-A53B-919E865447AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bee1b81adb15329c3211813600cff06906b6fbcf","datavalue":{"value":"cores","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820179$41FA4AB3-43D3-419C-8758-AFEF6CA25D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbcc41afdaf78e296d916660c302ca864f1fdd98","datavalue":{"value":"chain-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820179$742D01EE-A858-4DD4-BE56-EB9308D31945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c76755b40378012473301226340484cbbecd869","datavalue":{"value":"cutset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820179$1C6974C2-C569-417C-8856-644654936580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f4415157e3fb2013826fc3bd5d791dadc8dcb5c","datavalue":{"value":"ordered sum","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820179$7FC2C4F2-2580-4CBA-A9AD-032B146F5E27","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":"Q1820179$380403FA-DC4E-4966-91AE-667B5FA4E9A9","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":"Q1820179$7FFD6BA3-430C-4121-B699-CC2FACADB56F","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":"Q1820179$055FE2FC-35AA-4ED7-9E25-B0370879FCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a598710017dda436a2d26bff705da391d3fae94","datavalue":{"value":{"entity-type":"item","numeric-id":1256499,"id":"Q1256499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820179$40622DED-A497-4464-BE72-CCEE5A8428D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"055aba26430693c89f17f43ac2dfd8957f6355df","datavalue":{"value":{"entity-type":"item","numeric-id":3893968,"id":"Q3893968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820179$BDF228C7-1744-40E3-BFB0-AF0E28094480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"884f969a66d05e47c536248116e1ea0c2ff62084","datavalue":{"value":{"entity-type":"item","numeric-id":1074606,"id":"Q1074606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820179$40F9C05E-9C91-46CE-B471-B5A3B0C788AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79fdb8b0d0445e510d81cbcd07ba41ea7543866f","datavalue":{"value":{"entity-type":"item","numeric-id":802580,"id":"Q802580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820179$11038211-5038-4772-8C77-C32B5BD9A333","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95ec22686cb1f74da32f0e30ee94d9868a173fa4","datavalue":{"value":{"entity-type":"item","numeric-id":687171,"id":"Q687171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40b59ff34602d702992aeb2b9577385908ef7e1e","datavalue":{"value":{"amount":"+0.8378223180770874","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":"Q1820179$2F99DBA4-428D-45A4-B803-D2A15E4483FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07622f22853bd862921a11d5a575ee4baed02434","datavalue":{"value":{"entity-type":"item","numeric-id":1815840,"id":"Q1815840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f94155fcc180ba6f4f5c3b5f0f5ce5e2a70cbc4","datavalue":{"value":{"amount":"+0.8342561721801758","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":"Q1820179$05AB4530-A4C0-43A7-A573-638DC29834EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ac104c8504d2d728ea421d446b3c3f35526d5b","datavalue":{"value":{"entity-type":"item","numeric-id":5465053,"id":"Q5465053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21b0e8cc09d308366b2e0ff4bd5e8e9892508ac6","datavalue":{"value":{"amount":"+0.826547384262085","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":"Q1820179$696DCA5D-EBFA-4750-9FAE-FB7311B9C2DC","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":"798c3f984e033e86d601014b11049808088d0972","datavalue":{"value":{"amount":"+0.7990698218345642","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":"Q1820179$320CF3D3-D1CB-46F0-808A-9C456B4913D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66bfd93d39edc41b5e4530c1eb37abad8e41c977","datavalue":{"value":{"entity-type":"item","numeric-id":3728950,"id":"Q3728950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36f86aad95861743d64b642a6ecf748979868bd9","datavalue":{"value":{"amount":"+0.7947651147842407","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":"Q1820179$F1B5C68E-09E9-41A0-9F0B-77123687DF50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1820179","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1820179"}}}}}