{"entities":{"Q2805042":{"pageid":2815780,"ns":120,"title":"Item:Q2805042","lastrevid":52525175,"modified":"2026-01-22T21:14:42Z","type":"item","id":"Q2805042","labels":{"en":{"language":"en","value":"On Ramsey's theorem and the existence of infinite chains or infinite anti-chains in infinite posets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578139"}},"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":"Q2805042$F67F9A74-598F-4A24-A42D-64521941B261","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15d77b1021da8951779c3e80c5aaf215039b8722","datavalue":{"value":"1342.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805042$F4FCB9C5-5C9C-473B-83B8-497A4F79EFAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50f303799cab122deffb07d136620bb6246c179e","datavalue":{"value":{"entity-type":"item","numeric-id":283107,"id":"Q283107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805042$CAF2A861-1075-4E34-8C7B-985706575D3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5bed0c4e58e149f0de6217b7e76f74031a1108d","datavalue":{"value":{"time":"+2016-05-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2805042$A05CF1F5-D463-4342-8B38-76238323E309","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805042$AA49B450-DFDC-44EF-84E8-A4203B73274F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805042$99B6B702-89DE-413D-A2E6-06F1D0274D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805042$5C1A9651-5C00-4C9D-B848-CF6E7CD75853","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17ae1d99de191483656face04c8e97d62e8cc5dc","datavalue":{"value":"6578139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805042$7AB3181D-6DCB-4A79-A851-B0DE378DE53C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805042$1CBDEC55-4912-49B4-A480-FACCAC380313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83ac52fe5e2477112fc40b07201b89a6e8578e1c","datavalue":{"value":"weak forms of the axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805042$2404AFB2-071C-42E9-9538-93CE76103DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805042$DFF10DB1-C0FD-4A19-8077-DAAE078EDD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedf903784eeba0fa13d8545c010927ac8abaf15","datavalue":{"value":"partially ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805042$E4E1984A-AA03-405C-AAD9-EB39D1AD1360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30240ae127392ab2caad5634600511b1cc8d735f","datavalue":{"value":"chains in partially ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805042$F7DD1C5E-CCFE-4FB8-AD62-D705C0AC196E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cdee025a14b4a8da0637b58ee4ad617912cd70d","datavalue":{"value":"anti-chains in partially ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805042$E1D16878-E821-4FEE-BE08-8485ECD674D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac39752c8cf776d468dc18da01de1fe5d04f378","datavalue":{"value":"Fraenkel-Mostowski (FM) permutation models for ZFA","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805042$85C15428-A8CA-4FAD-8622-E7063BF8089E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd30b7f8c6d2a986b2c47e1cd3bcfbdfdd87533a","datavalue":{"value":"Pincus' transfer theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805042$F0199FC7-023A-492A-BBD7-F58B2C31035C","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":"Q2805042$254A7F73-8DDE-4009-BF14-4AFBCE5A8934","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd053655d39d63d2d049f0510de6757c010d6712","datavalue":{"value":"https://doi.org/10.1017/jsl.2015.47","type":"string"},"datatype":"url"},"type":"statement","id":"Q2805042$526819F4-6BA1-4CE2-8718-0F1A432D4221","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a67420e182c6130c2446f190a467bf4bd546111","datavalue":{"value":"W2467421883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805042$4AEF6ED1-936F-4156-8DEF-CD20D639F77A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe447f578e2cb8ec9c17248c32e8835a2af4218","datavalue":{"value":{"entity-type":"item","numeric-id":1212459,"id":"Q1212459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805042$E001FB0C-D862-4DE2-A752-0FB5530F0E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9e9cd00bd888e0c2ec3144ef21f154ae7d49a0","datavalue":{"value":{"entity-type":"item","numeric-id":5573370,"id":"Q5573370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805042$789C1C07-61A3-4E00-9A82-4C978E065978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b667260fb93682232d6f56ea45cf4637921e61a7","datavalue":{"value":{"entity-type":"item","numeric-id":866890,"id":"Q866890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805042$F393C382-66BA-4D9E-BC20-E8CA65995D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3ce01e16ddfd7f9123ae2f81e7221231f9442e1","datavalue":{"value":{"entity-type":"item","numeric-id":1235160,"id":"Q1235160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805042$71F89793-AA4D-4AEC-AC4E-FBE80EB77C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f67f5d05b527ef7c21c4bb868262d713d73d08b6","datavalue":{"value":{"entity-type":"item","numeric-id":4909597,"id":"Q4909597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805042$18C9A788-1ED8-4A31-930A-BFB6980B97B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd2dd8baa447e8c8f0b98927d906c7a0cc526af","datavalue":{"value":{"entity-type":"item","numeric-id":5921596,"id":"Q5921596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805042$6590B8C6-80C8-46AA-8C5F-49C1DBFE7012","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25febc3499421165b422c82f91511fb2f198546b","datavalue":{"value":"10.1017/JSL.2015.47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805042$227597EC-6E59-421E-8DFF-E7CCE144F896","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7c8ded7660d1d01cc412d6507e8c10a852970cb","datavalue":{"value":{"text":"On Ramsey's theorem and the existence of infinite chains or infinite anti-chains in infinite posets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2805042$4C627182-2994-4106-B98C-EC65F33396A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805042$82024B28-F989-4AEE-85F7-DD4E5C8FC97F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0ef4f0c76b64851c57fc9ec9c4018e6a5116424d","datavalue":{"value":"\\noindent It is a well known consequence of Ramsey's theorem (for pairs) that every infinite partially ordered set has either an infinite chain or an infinite antichain, which is addressed as the Chain-AntiChain (CAC) principle in [\\textit{D. R. Hirschfeldt} and \\textit{R. A. Shore}, J. Symb. Log. 72, No. 1, 171--206 (2007; Zbl 1118.03055)]. The reverse direction is an open problem listed in [\\textit{P. Howard} and \\textit{J. E. Rubin}, Consequences of the axiom of choice. Providence, RI: American Mathematical Society (1998; Zbl 0947.03001)].NEWLINENEWLINEThis article shows that the reverse implication is not a theorem of ZF. More precisely, via a suitable Mostowski permutation model of ZFA, the author produced a ZF-model in which CAC is true but Ramsey's theorem is false (Theorem 2.3). In addition, the author also showed (Theorem 2.4) that both statements are true in Mostowski's linearly ordered model (the model \\(\\mathcal N3\\) in Howard-Rubin's book). In the closing remarks, the author suggested the direction of studying CAC from computability theory and reverse mathematics' points of view.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805042$4C7CC05A-35EE-44B7-8B7D-C016F85A86CE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"004a10a5c768333f1f56f1c2cf5fda45c1f014f7","datavalue":{"value":{"entity-type":"item","numeric-id":512140,"id":"Q512140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805042$E94150EE-1A56-4AAB-A354-188D803A7998","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12221c0282bc1da494f1aedd9c291c663dfb9028","datavalue":{"value":{"entity-type":"item","numeric-id":781507,"id":"Q781507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9010dc1d385e4b311c8b25e64b55d6e556e625b","datavalue":{"value":{"amount":"+0.7814690470695496","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":"Q2805042$9C2915FF-3E9F-4F48-B935-F3FF315D1924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e6ab377d3e91b87883c6ca7e88389f53cada8f4","datavalue":{"value":{"entity-type":"item","numeric-id":5963196,"id":"Q5963196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dff3f16d1c63e5877b5883b8f25c6fd0a588ddd1","datavalue":{"value":{"amount":"+0.7608577013015747","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":"Q2805042$6D24979B-AD24-43D0-87A7-CC732592D7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80dcfdc109dcb0eaadf1315f91c6f8034b91bc62","datavalue":{"value":{"entity-type":"item","numeric-id":1953437,"id":"Q1953437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc4e3d6c4ffcb5700ccbc2ea5591e9c29814eada","datavalue":{"value":{"amount":"+0.7427289485931396","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":"Q2805042$E20F42B5-083A-4C4D-8212-45E2968FA0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"485a2dbaa0b129b3eec4c43c1d84833dbcb124fc","datavalue":{"value":{"entity-type":"item","numeric-id":866890,"id":"Q866890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12ccd2516ef2ea6f94bd497718fec2beeff01470","datavalue":{"value":{"amount":"+0.7289648056030273","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":"Q2805042$3A61295D-BE80-486E-8A51-7E870E712708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c435f299120b4aae2d8396ee6775b48f088b76a","datavalue":{"value":{"entity-type":"item","numeric-id":4496324,"id":"Q4496324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f3bcc37afaebbe2785497cd9c808b9448fb98e1","datavalue":{"value":{"amount":"+0.7262235283851624","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":"Q2805042$4F610B61-E7E1-49E9-91CA-69638A223A10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2805042","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2805042"}}}}}