{"entities":{"Q5963196":{"pageid":8139998,"ns":120,"title":"Item:Q5963196","lastrevid":42015297,"modified":"2025-05-22T12:27:19Z","type":"item","id":"Q5963196","labels":{"en":{"language":"en","value":"Reverse mathematics and Ramsey properties of partial orderings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6550117"}},"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":"Q5963196$F8245227-E2E8-417B-84F8-6A96294F8F75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0d1e95fb1637cb7fe0a829f0d74d61c24f8a7ee","datavalue":{"value":{"text":"Reverse mathematics and Ramsey properties of partial orderings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5963196$94971734-4537-41B3-A0BB-A86129169D28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4d89cf58380fafd6d7b66395f32f98895f2d726","datavalue":{"value":"1353.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5963196$9A5ABEBB-84E1-4DBD-8109-B0DE2D387A23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7943b0e80647b3dde0c8de2125a08624a423004d","datavalue":{"value":"10.1215/00294527-3314771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5963196$77E42B00-A6E2-4D22-9481-8624C76316DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20615676ee7f5ae4da4fe60ac212716f61b746d","datavalue":{"value":{"entity-type":"item","numeric-id":1762359,"id":"Q1762359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5963196$E230FC8F-FF3D-407C-B083-5AF66CA21DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88aa7b86a95384d4f329c672cb843064fd9eb475","datavalue":{"value":{"entity-type":"item","numeric-id":861817,"id":"Q861817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5963196$38B9B545-5BEE-488B-A392-3D28DFAA3A6F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5963196$7E49D12F-B34F-4AC1-B78C-9E3292D9E874","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9baa329984daf997c3bf5a084a91839bc1428d33","datavalue":{"value":{"time":"+2016-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5963196$76C9278E-7E78-44FA-94F0-C9DC11BB6E9D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5963196$A30EAECF-5F4B-4C3B-AEFE-1B3970593A4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5963196$7A93C3FF-A8A9-40AE-BF6C-E6C5ED6401CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5963196$1FFB91C8-3DA1-4600-8830-047745B55108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8afe3c5a9fa0449dca60371c176beebeb6e1d999","datavalue":{"value":"05C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5963196$61742DAF-AA52-415D-8B07-E5EDA2FC228F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5963196$0442CD06-2D5B-4CF4-A5FA-0787D6F27640","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee4bdadf04e9294233b1e5d2919356775dfecbb4","datavalue":{"value":"6550117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5963196$F2FB7270-7588-4905-A741-A7E3D7CE3541","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5963196$8041027A-9176-4C42-A215-767B23EFD432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bd0fe358f6b97223e789e7cb3f056e407b60eeb","datavalue":{"value":"Ramsey properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5963196$DB135BC9-CE88-485F-AECB-C114970840CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51df554145b60d94c69864664e49b02e152530ef","datavalue":{"value":"partitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5963196$7B29BCA0-55C8-44A5-B7EF-06599C583351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf5c712ef9f17f36c434941b1f7b9cfd657a158f","datavalue":{"value":"partial ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5963196$66539599-8DE9-4A0D-AF28-9411EB694F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f640c271f1e7e5d33cce963cb0e9d762a8e5bf42","datavalue":{"value":"homogeneous subordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5963196$FA376B67-10CD-41EC-B5E7-5C0DC81AE1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08118388136fb1c8d573d1236bb5a54b93bbcd04","datavalue":{"value":"monochromatic subordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5963196$D4684D33-5141-4212-977B-5CB808C45DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"461d39200e573b893247f72bc707a68f4eb77ea1","datavalue":{"value":"ACA","type":"string"},"datatype":"string"},"type":"statement","id":"Q5963196$EDEC9036-3CB4-4BCD-9928-90E0F8121FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e239838943bb6b68a15f2eb86c9992c335933f9d","datavalue":{"value":"ATR","type":"string"},"datatype":"string"},"type":"statement","id":"Q5963196$D3FEFD14-DA1E-42E3-9470-B70AAEA42274","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":"Q5963196$4BA6B35E-44BE-424E-AF2F-18F62275835C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50a6c5956a8b2d36f12a2ad2fbacf33562da6554","datavalue":{"value":"https://doi.org/10.1215/00294527-3314771","type":"string"},"datatype":"url"},"type":"statement","id":"Q5963196$32632CF0-11BD-4053-B521-1D05A663AB45","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8bdf325e781f856eb71ba252c0fa17fa3397c3a2","datavalue":{"value":"W1882897717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5963196$09FF58D7-7138-4845-9132-80414B761104","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f93323efb147ed4ce5137e4c882728378ea631","datavalue":{"value":{"entity-type":"item","numeric-id":4931100,"id":"Q4931100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5fe5fab9749ed4091461ed007b1abaa7eefc117","datavalue":{"value":{"amount":"+0.87793326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5963196$2728907A-55E7-40A4-92EA-5B3560A06CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961dae499da38fc34fd516d4b864a76868bd391a","datavalue":{"value":{"entity-type":"item","numeric-id":2976343,"id":"Q2976343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31b2d42807d04e775ff2bd3115c212d8b3a9ae12","datavalue":{"value":{"amount":"+0.79563236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5963196$EF34D9F9-DD04-4982-85DE-DFF1FD978FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b2474240a71c40ab650336912cdb77f238fc49f","datavalue":{"value":{"entity-type":"item","numeric-id":3188275,"id":"Q3188275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2c5313049b624561180514a9d576a84aaee3e06","datavalue":{"value":{"amount":"+0.79288524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5963196$E65A5852-EBED-4DF4-A588-5887C05651A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08b35417e27c8f3d94e42496b93785f3a8968159","datavalue":{"value":{"entity-type":"item","numeric-id":4628351,"id":"Q4628351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2c5313049b624561180514a9d576a84aaee3e06","datavalue":{"value":{"amount":"+0.79288524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5963196$91E2CBA1-C17F-4EF2-BD40-B82FCBE98946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b76466805392a83a9eed17a0116aaf97761a72","datavalue":{"value":{"entity-type":"item","numeric-id":964459,"id":"Q964459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0568688c42324e54677bf2f369ef64807a3ba226","datavalue":{"value":{"amount":"+0.76981497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5963196$2A457581-1CAE-403A-8056-FAD1F8F3A77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9e4df56d75e71496ae2fc7a585d83a906c206ca","datavalue":{"value":{"entity-type":"item","numeric-id":4899173,"id":"Q4899173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d84cfd2e82ed1823d5e2057e266eb3131289d60","datavalue":{"value":{"amount":"+0.76870185","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5963196$4A25CF39-0C4B-4A64-BB39-483F7224DFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28468bc65ee7ad3c62c861af26915cd2ef7b90b7","datavalue":{"value":{"entity-type":"item","numeric-id":2401697,"id":"Q2401697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d6fd7499b0ab363bfa8d1ecb3fb6439f509878d","datavalue":{"value":{"amount":"+0.7556162","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5963196$7D14F054-4E6E-4B70-A0C5-323F8F38649F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40cfefc9bd2735b5ea927ed677baf63c105be178","datavalue":{"value":{"entity-type":"item","numeric-id":2117792,"id":"Q2117792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b403f1e72f5adad85c6f09efc675e6bdeca7582","datavalue":{"value":{"amount":"+0.7521263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5963196$C7E0A624-9B07-4EA4-B915-469D72831530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"427452204c92cd0968945b6765354539eee3a230","datavalue":{"value":{"entity-type":"item","numeric-id":3616350,"id":"Q3616350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a102a9d8e4cae12fa335d98541c3f75d4441202","datavalue":{"value":{"amount":"+0.75160605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5963196$1EB95FF7-4EB2-4615-8E0E-8289500FA7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0746ab003dd15d8fa557f36c9e19fbcfc9064d59","datavalue":{"value":{"entity-type":"item","numeric-id":5004961,"id":"Q5004961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17aed0db4f524fba1084c881644c5f51577ce796","datavalue":{"value":{"amount":"+0.7461224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5963196$B97B5F8A-5366-4188-835C-FA912ADC0107","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"37d7c04c571f1feca3bac48d41de9034401ed5d7","datavalue":{"value":"This paper extends the study of reverse mathematics of Ramsey's theorem on partial orders. For a partial order \\(\\mathbb P\\), write \\(R^n (\\mathbb P )\\) if for every finite coloring of the length \\(n\\) chains of \\(\\mathbb P\\), there is a homogeneous subset of \\(\\mathbb P\\) order isomorphic to \\(\\mathbb P\\). In [Electron. J. Comb. 20, No. 1, Research Paper P50, 27 p. (2013; Zbl 1266.05090)], the second author proved that for \\(n\\geq 3\\) a bounded-level partial ordering \\(\\mathbb P\\) with least element satisfies \\(R^n (\\mathbb P )\\) if and only if it satisfies \\(C(\\mathbb P )\\), where \\(C(\\mathbb P )\\) is the conjunction of (1) \\(\\mathbb P\\) is weakly proto-Ramsey, (2) \\(\\mathcal G (\\mathbb P )\\) is edge-Ramsey and has the joint embedding property, and (3) \\(\\mathbb P\\) is biembeddable with a densely self-embeddable weakly proto-Ramsey partial ordering. These terms are defined in Section 2 of the paper.NEWLINENEWLINEIn this paper, the authors prove that for \\(\\mathbb P\\) bounded-level with least element, ATR\\(_0\\) implies \\(R^2 (\\mathbb P ) \\to C( \\mathbb P )\\), and \\(C(P) \\to R^3( \\mathbb P )\\) implies ACA\\(_0\\). They also construct a primitive recursive partial ordering such that RCA\\(_0\\) proves that \\(R^2 ( \\mathbb P )\\) restricted to two colors is equivalent to ACA\\(_0\\). This equivalence between a Ramsey's theorem for pairs and ACA\\(_0\\) answers a question of \\textit{J. Chubb} et al. [J. Symb. Log. 74, No. 1, 201--215 (2009; Zbl 1162.03009)]. For additional results on Ramsey's theorem for pairs in trees, see the forthcoming paper by \\textit{D. Dzhafarov} and \\textit{L. Patey} [``Coloring trees in reverse mathematics'', Preprint, \\url{arXiv:1609.02627}].","type":"string"},"datatype":"string"},"type":"statement","id":"Q5963196$B322AD87-0A99-44B4-A4D1-9F8373D93A5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5963196","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5963196"}}}}}