{"entities":{"Q781507":{"pageid":783356,"ns":120,"title":"Item:Q781507","lastrevid":64289604,"modified":"2026-04-11T18:51:49Z","type":"item","id":"Q781507","labels":{"en":{"language":"en","value":"On Ramsey choice and partial choice for infinite families of \\(n\\)-element sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7222135"}},"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":"Q781507$95E42C8B-D7B3-4C37-B8CA-C9116D9721BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23d31a6754a78cd0da00cd836fb2605589af6977","datavalue":{"value":{"text":"On Ramsey choice and partial choice for infinite families of \\(n\\)-element sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q781507$536CDE5F-B681-42D5-B7CE-4A54138B3021","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f623cc76b95c033bb33ede50c42f55699b98f73","datavalue":{"value":"1472.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781507$FFCE7156-7E52-4229-B409-B1C5850DF919","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fff03d82c55b167a961db265da48818e02be2d05","datavalue":{"value":{"entity-type":"item","numeric-id":209696,"id":"Q209696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781507$9FEBD536-9CA4-42F5-925D-F300AB5F1423","rank":"normal"},{"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":"Q781507$27FCCD8B-2195-4DBC-B6E5-2550B7EDB09D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781507$FC799998-A830-4732-A190-5BE8F3859DE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca46e0912f6aaf36f3f8b24f45482bfccf0cefe","datavalue":{"value":{"time":"+2020-07-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":"Q781507$9FFF6858-F3A3-42CC-9A42-66B7C735E40C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2751891725f3927cb1cae8e2ff2deefcc37dd95d","datavalue":{"value":"For \\(n \\geq 2\\), the Ramsey choice \\(\\mathrm{RC}_n\\) is the following weak choice principle ``every infinite set \\(x\\) has an infinite subset \\(y\\) such that \\([y]^n\\) has a choice function'' and \\(\\mathrm{C}_n^{-}\\) is the weak principle ``every infinite family of \\(n\\)-element sets has an infinite subfamily with a choice function''.  Montenegro showed that for \\(n = 2,3,4\\), \\(\\mathrm{RC}_n \\rightarrow \\mathrm{C}_n^{-}\\) and asked for which \\(n\\) is the implication  \\(\\mathrm{RC}_n \\rightarrow \\mathrm{C}_n^{-}\\) true. Here, the authors obtain various results concerning  the connection between \\(\\mathrm{RC}_n\\) and \\(\\mathrm{C}_n^{-}\\). So they show that for \\(n=2,3\\), \\(\\mathrm{RC}_5 + \\mathrm{C}_n^{-}\\) implies \\(\\mathrm{C}_5^{-}\\) and that \\(\\mathrm{RC}_5\\) implies neither \\(\\mathrm{C}_2^{-}\\) nor \\(\\mathrm{C}_3^{-}\\) in ZF set theory. In order to show their results, they make use of Fraenkel-Mostowski models for ZFA and apply the Pincus transfer theorem to obtain ZF results.  The chain-antichain principle CAC is the following statement: Every infinite partially ordered set has either an infinite chain or an infinite antichain. The authors show that CAC implies neither \\(RC_n\\) nor \\(\\mathrm{C}_n^{-}\\) in ZF for every \\(n\\geq 2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q781507$D07E8B3C-250D-4B6C-82E2-F693693687BD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"72d629dee104d470ea1a2d2922a2117edf0da3ae","datavalue":{"value":{"entity-type":"item","numeric-id":587432,"id":"Q587432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781507$C1E40093-23C8-448D-8768-BF9CAC8D0859","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781507$3A23491F-5295-438E-A1CA-7FB8BBDFE510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781507$B1F551ED-5729-416C-96E3-A3DFBB9AE7F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dee7064116b1ede873dde23f4088315168a2ad7","datavalue":{"value":"7222135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781507$F4D89666-286E-45D3-97E2-6734BCD3538E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q781507$769BA6AF-541E-4E2E-AAAA-C8181DD858B0","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":"Q781507$6C42B726-4F65-4277-8E8A-6FDE77735BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"894b67b45ab41378fee585b4e7924470dc41aed3","datavalue":{"value":"Ramsey choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q781507$97851C23-2846-4A43-BCD2-E2092D4D0C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a9ad030866bf0e069f322bb119c8384f401fda8","datavalue":{"value":"partial choice for infinite families of \\(n\\)-element sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q781507$F667450F-8BB4-4875-AC38-EBBAE267CD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q781507$B8FD3318-9926-4CE8-98F7-B15F0A9B88E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b24eaf35c9587e5075016d635abc54921b2a3ee","datavalue":{"value":"chain-antichain principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q781507$72E9B90A-7097-4B32-AC0C-703CA3D2A39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"589af7b725fc630e764e45e527ff38d9835355f1","datavalue":{"value":"Fraenkel-Mostowski permutation models of \\(\\mathsf{ZFA}+\\lnot \\mathsf{AC} \\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q781507$65095F1E-5CA7-4BBC-90D5-EA253023DE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd30b7f8c6d2a986b2c47e1cd3bcfbdfdd87533a","datavalue":{"value":"Pincus' transfer theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q781507$8564382F-36E5-48AD-8D5D-AA1C1970538F","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":"Q781507$50B4E595-84DC-41D9-A9B0-2F02FFEB5C6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07add1fcc41caab6031f1a2d1c7e9e8bc9ba0f1d","datavalue":{"value":"https://doi.org/10.1007/s00153-019-00705-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q781507$A82C549B-6F38-4F60-9D53-F38A1C711116","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb4c4f29437afea780525767ce7d70649f80c1b1","datavalue":{"value":"W2991696797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781507$28412355-90C6-4C33-BEA0-5CE46FFB3DC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b45325716248e1fc47d1b99b33128440c57f82","datavalue":{"value":{"entity-type":"item","numeric-id":4152540,"id":"Q4152540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781507$C3897447-92F8-4B72-B9FF-9CE506971939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71ae270ec126614b51bfe8bb0b3dbdff0188c967","datavalue":{"value":{"entity-type":"item","numeric-id":4976861,"id":"Q4976861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781507$C6175BB5-7363-4DD8-B596-2ED10C68F2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ddd05325f2e9af1013eacb536a56841108a9434","datavalue":{"value":{"entity-type":"item","numeric-id":3344196,"id":"Q3344196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781507$73FF8B8E-F554-4251-AC19-D5DEC23C7C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6084574919df1fabb6811a7478d7ce895596b0c7","datavalue":{"value":{"entity-type":"item","numeric-id":4210469,"id":"Q4210469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781507$0F353E3F-4BFD-4847-88AB-A9C8A5F719EF","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":"Q781507$F955D036-59D4-4B54-BC19-8098A1DF9164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3312e90aeddeaee6c59c638159b0ba106c727abc","datavalue":{"value":{"entity-type":"item","numeric-id":5577068,"id":"Q5577068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781507$CEC54D81-13ED-4251-8F4F-5A45C027E238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c22ed479948354cbb31ea51cdba160244baa1b4","datavalue":{"value":{"entity-type":"item","numeric-id":4247806,"id":"Q4247806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781507$D3006676-4322-4277-B0DE-5D17F1755FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c083cd2ec081a5b4d238527538b4190de97732","datavalue":{"value":{"entity-type":"item","numeric-id":5684668,"id":"Q5684668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781507$FFCEDCE2-4C34-4E74-BF24-81CD166BF686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4291fe4983a666aaaf922f94147017947a9ee73f","datavalue":{"value":{"entity-type":"item","numeric-id":2805042,"id":"Q2805042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781507$4A9940B3-7E56-4882-A653-A5503FDB73B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07e286719521d2011a58cacec7e88038832cacaa","datavalue":{"value":{"entity-type":"item","numeric-id":511057,"id":"Q511057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781507$4E93B8A3-82EF-4D42-99A4-C79BEAC844C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94059ba103b9bbbd5e1955892fbfa65d87fb1cb0","datavalue":{"value":{"entity-type":"item","numeric-id":5181694,"id":"Q5181694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781507$6DD3C867-B593-457D-9FF9-6ACA87D2D9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b323a7e9b86190ccc2f09aa966e4759e331b555","datavalue":{"value":{"entity-type":"item","numeric-id":4043083,"id":"Q4043083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q781507$5AE1EB0C-3CC8-4E1E-8901-034A296E3B9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74196b86d7f20eace3829f5dd757c22c2685c69f","datavalue":{"value":"10.1007/S00153-019-00705-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q781507$2F2B9B6C-814B-4B43-85D1-3F04B68597EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cafe10db08e7103cee707a202501eaadc509f394","datavalue":{"value":{"entity-type":"item","numeric-id":2805042,"id":"Q2805042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab3e56a2d12d3d1d169028eaa07be45d6e0fc849","datavalue":{"value":{"amount":"+0.8327783346176147","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":"Q781507$0F76944C-1C91-476A-97FD-9DE1F686BF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808228dd16f4ba062af417a9bdd1d2eeced1b5e8","datavalue":{"value":{"entity-type":"item","numeric-id":5000275,"id":"Q5000275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb315f1c4b4fd24499762b3e492d0e3bdd795922","datavalue":{"value":{"amount":"+0.812812864780426","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":"Q781507$00AAE86D-7005-483F-8591-AD320F02870E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b269630f1463679c825e6f0d64aa3c30f995c3b","datavalue":{"value":{"entity-type":"item","numeric-id":4379927,"id":"Q4379927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bcf211c184232326f27278b2447ce9dd29d4501","datavalue":{"value":{"amount":"+0.8106384873390198","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":"Q781507$29DEBF9B-AB78-4355-979A-68DA715CEFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9083f8652fa45f0013b8a56c98baa826b8c4c012","datavalue":{"value":{"entity-type":"item","numeric-id":4909597,"id":"Q4909597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7846050f6d885642861c1f2027a540499fae5562","datavalue":{"value":{"amount":"+0.8105351328849792","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":"Q781507$808ADA3D-5433-4FCB-89AC-FDF5A05CFA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3496866e5089d66a4abb51bf14c670d60df42c1","datavalue":{"value":{"entity-type":"item","numeric-id":4247806,"id":"Q4247806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31a39eed947c05ff837e1f1b0cfbd783971d4255","datavalue":{"value":{"amount":"+0.7849904298782349","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":"Q781507$4ECBED00-304C-4F17-A7AB-E5B9917606FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Ramsey choice and partial choice for infinite families of \\(n\\)-element sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Ramsey_choice_and_partial_choice_for_infinite_families_of_%5C(n%5C)-element_sets"}}}}}