{"entities":{"Q436231":{"pageid":437998,"ns":120,"title":"Item:Q436231","lastrevid":56893089,"modified":"2026-03-24T12:23:16Z","type":"item","id":"Q436231","labels":{"en":{"language":"en","value":"Complexity of Ramsey null sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059025"}},"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":"Q436231$22F62872-4F8F-4525-A17B-28C4A1F215B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"494b9632e53011f1c122836c6efdf58023685b01","datavalue":{"value":{"text":"Complexity of Ramsey null sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q436231$14067945-B45A-4F91-8B5E-89A43ED83EC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47b6d1c662e36a4330288b05d7c153f55735497d","datavalue":{"value":"1259.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436231$40F067C0-50BE-4041-9143-6E201CD78384","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6eb5cb5db948ccc4895c9ca01de1c301c37d3f1","datavalue":{"value":{"entity-type":"item","numeric-id":295799,"id":"Q295799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436231$87B77664-62A8-42D1-B4C9-281C56773134","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436231$B4EFD581-F49E-4215-BD81-482C915014B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68cb3c87baf768a64bd6e3aa1148be541c492c4","datavalue":{"value":{"time":"+2012-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q436231$0FA586BC-06E2-42E3-8288-AF8C99BB469D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cc1755c5b14b02b2bc3abc3c019f7e42bdd28d7e","datavalue":{"value":"https://arxiv.org/abs/1003.5983","type":"string"},"datatype":"url"},"type":"statement","id":"Q436231$A316E1F1-D32C-4A2D-9506-ED934ED45839","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":"Q436231$C26F23F0-B654-457A-BF37-76240F96CC05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436231$D21539ED-7A85-4FA8-9EB6-9097B7FE3857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f10a8c2218f37e16920ada947854b8ed3009189","datavalue":{"value":"28A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436231$3C27550F-170B-4E6C-A823-2F111FA204C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3933b21dbb425c0c8ed83b309b429364663b994","datavalue":{"value":"54H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436231$FDA2B15F-3A70-4B6E-BBDD-4939F83EA0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436231$8BE6A7F4-3877-49DC-8200-CF01EC3D860C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20898cddde2e82194f0bc17aa64621e85cd6e27a","datavalue":{"value":"6059025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436231$679E072E-6D9D-4F15-866B-889E54E2ABEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09dbc5233014acf50d3f0226feb81d5d00475c9a","datavalue":{"value":"Ramsey null sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q436231$2228E4CF-FD32-4383-901F-DA60AE728E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84db2c810b6d09df5e2ec97560e83bc5e10e385e","datavalue":{"value":"\\(\\Sigma^1_2\\)-complete sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q436231$1E8F38CD-8DA8-4EB0-B1C6-A55884DFFA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eacebec2d8d849545a07145d492ff964a684c9e","datavalue":{"value":"Ramsey measurable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q436231$43CBE49F-96CE-497D-966C-07B48DE96AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66519391ea9a1978cb8c59756587a65be2897a22","datavalue":{"value":"Polish space","type":"string"},"datatype":"string"},"type":"statement","id":"Q436231$D50E6509-35DA-4578-87C8-08BA773837F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dd15bda065c5695ecebd1e24a1b8e9c09d91954","datavalue":{"value":"Mathias forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q436231$9568C155-0420-4D0E-A4B6-3C0B6E762873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a846da67cd55479e0d3001e46562cb96dc837c51","datavalue":{"value":"\\(\\sigma\\)-ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q436231$C23DD22D-B62F-4B54-9A69-BA0CBC5F2928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ba5d82dc5fa397df87d6a0b4acc51734c284920","datavalue":{"value":"ZFC-correct","type":"string"},"datatype":"string"},"type":"statement","id":"Q436231$ECAE1A05-D145-441A-9E2B-1432402F7358","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":"Q436231$AB949133-DBA3-4794-A6A5-96E9104645CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63699de5a1eaea0f3a2ccdf31a01e03ec2e29c8e","datavalue":{"value":"W1986518393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436231$A31BF138-2B4C-4865-AB4F-4DBED35A15F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b0fe48221bf479ae6ab82ea0207e5ab62e75be4","datavalue":{"value":{"entity-type":"item","numeric-id":4501059,"id":"Q4501059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436231$10E4C8F4-056B-43CB-87D2-515385CB3CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6da342ef15cfe949a6837a92abe56a7ab0e85be4","datavalue":{"value":{"entity-type":"item","numeric-id":3141854,"id":"Q3141854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436231$BB345B9D-4C38-440F-A58E-AD0E557CF991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58debccf17384fe237138076e30ed866353a1e42","datavalue":{"value":{"entity-type":"item","numeric-id":435206,"id":"Q435206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436231$789133C5-C56F-4E34-B8B4-29B172B2A332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"909c8764e44a88fe42b47cfdea73fd2676bc26b8","datavalue":{"value":{"entity-type":"item","numeric-id":4043087,"id":"Q4043087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436231$56E3B583-79F5-4197-90EB-0011CCAA9BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c970e8ce2457c29e8457681a06ca02889857b294","datavalue":{"value":{"entity-type":"item","numeric-id":4401454,"id":"Q4401454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436231$434550E0-DF2B-48AA-A84A-E2DFBA35F59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d7a4c999a220971c140d7083e6f8b643839ab4","datavalue":{"value":{"entity-type":"item","numeric-id":3950554,"id":"Q3950554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436231$183B0749-D823-48BB-93DB-863F6EDEA087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb9e2e4273480bf24f60f80f2112ad6a3e52d58b","datavalue":{"value":{"entity-type":"item","numeric-id":1117922,"id":"Q1117922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436231$6F346759-7111-4F67-BD28-4C9828DD51EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30206e23d8f6df4a3decfd92e498ec4f5ff1ff39","datavalue":{"value":{"entity-type":"item","numeric-id":636331,"id":"Q636331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436231$FE5EEAE0-F300-482F-9ABD-852A922D52D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436231$BCB39273-4D0B-467A-8158-CA4B628C0BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c56e5f3d04099429d7abf8e0094315eba6ba178","datavalue":{"value":{"entity-type":"item","numeric-id":1332843,"id":"Q1332843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436231$B7C0B69C-795C-4A1B-9644-FDABBAD57731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb30ea316cba16e953699ac06e13b8482a2abf03","datavalue":{"value":{"entity-type":"item","numeric-id":4336658,"id":"Q4336658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436231$1853FD0E-0338-4CBB-922A-15728F32BBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c493b95715c2e4dbb5a8c0041dd93593f1ae736a","datavalue":{"value":{"entity-type":"item","numeric-id":3801541,"id":"Q3801541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436231$00EFA0FA-E4F6-4538-BF39-CA72C7FF9997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f0c3549d5b8155ce7e1ff13ae07abb3b6da851","datavalue":{"value":{"entity-type":"item","numeric-id":5322161,"id":"Q5322161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436231$9F89E7B4-D623-4476-8A98-914FB5BBA116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f70876828e2165c856642112c43bab925886742e","datavalue":{"value":{"entity-type":"item","numeric-id":5619095,"id":"Q5619095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436231$7DFEB93B-27F2-41F2-9F8A-7EDADF1394CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc287ec8a6e146c3e57a73c560da2d9b4de9d84","datavalue":{"value":{"entity-type":"item","numeric-id":3579526,"id":"Q3579526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436231$7E423635-C491-486C-82D4-9E2210B908CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6f7ea80da3cafe3d50693afd0742d952c57031c","datavalue":{"value":{"entity-type":"item","numeric-id":5444715,"id":"Q5444715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436231$6CF64168-F605-485B-A422-AF3EEE185E8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71f3354509db210c0f3368c84da18a8af7c9d704","datavalue":{"value":"10.1016/J.AIM.2012.03.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436231$9C65BF80-0F86-4DAF-99E5-920090DFDA63","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3e171f7c3a528ced14dc6a900ebc711c45a506ae","datavalue":{"value":"Ramsey measurability was introduced by Galvin and Prikry on Borel sets and later generalized by Silver to analytic sets. Ramsey measurable sets are precisely the Baire measurable sets with respect to the Ellentuck topology on \\([\\omega]^\\omega\\). In this paper, the author proves two results regarding Ramsey measurable sets.NEWLINENEWLINEThe \\(\\sigma\\)-ideal of countable sets is known to be \\({\\Pi}^1_1\\) on \\({\\Sigma}^1_1\\), i.e., for any Polish space \\(Y\\) and any \\({\\Sigma}^1_1\\)-set \\(A\\subseteq Y\\times X\\) (or a good universal \\({\\Sigma}^1_1\\)-set), \\(\\{y\\in Y: A_y \\in {\\mathcal A}\\}\\), the set of codes for \\({\\Sigma}^1_1\\)-sets in \\({\\mathcal A}\\), is in \\({\\Pi}^1_1\\). Moreover, the set of codes for analytic countable sets is \\({\\Pi}^1_1\\)-complete. By a theorem of Hurewicz, for any uncountable Polish space \\(X\\) the set of countable compact subsets of \\(X\\) is \\({\\Pi}^1_1\\)-complete in \\(K(X)\\). As an analogue of Hurewicz's theorem, the author proves that ({Theorem 1}) the set of codes for Ramsey positive \\({\\Sigma}^1_1\\) (or \\({G}_\\delta\\)) sets is \\({\\Sigma}^1_2\\)-complete. Very few natural examples are known for \\({\\Pi}^1_2\\)-completeness, but there are plenty for \\({\\Pi}^1_1\\)-completeness.NEWLINENEWLINEThe proof of Theorem 1 consists of two steps: one is to show that the set of codes for Ramsey positive sets is \\(({\\Sigma^1_2}, {\\Sigma^1_1}\\cup{\\Pi^1_1})\\)-complete, i.e., any \\({\\Sigma^1_2}\\)-set can be reduced to it via a \\(({\\Sigma^1_1}\\cup{\\Pi^1_1})\\)-submeasurable reduction; and the second step follows from an abstract result ({Theorem 2}): Any \\(({\\Sigma^1_2}, {\\Sigma^1_1}\\cup{\\Pi^1_1})\\)-complete subset of a Polish zero-dimensional space is \\({\\Sigma^1_2}\\)-complete.NEWLINENEWLINEThis paper includes an application of Theorem 1 in the theory of forcing. Zapletal recently developed a general theory of iteration for idealized forcing, and Ikegami developed a general framework for generic absoluteness and transcendence principles for strongly arboreal forcing notions. A key condition in this theory is that the \\(\\sigma\\)-ideal under consideration is ZFC-correct. With respect to the question of Ikegami (and, independently) Pawlikowski and Zapletal, whether these theories can be applied to Mathias forcing (the forcing associated with the \\(\\sigma\\)-ideal of Ramsey null sets), the author gives a negative answer by showing that, as a corollary of Theorem 1 ({Corollary 3}), the \\(\\sigma\\)-ideal of Ramsey null sets is not ZFC-correct.","type":"string"},"datatype":"string"},"type":"statement","id":"Q436231$9E38A787-7E11-4AEF-B307-CCAB369B43CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7e3184b061787391cf40131f056a5ba19da389a","datavalue":{"value":{"entity-type":"item","numeric-id":4032670,"id":"Q4032670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d05c490da01b68029a40307b85b689c350725151","datavalue":{"value":{"amount":"+0.7917985320091248","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":"Q436231$00D59EA7-94CA-46AA-A476-B87C00D83368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01ac10414a0d5050e6d45341caec824c30b090eb","datavalue":{"value":{"entity-type":"item","numeric-id":4548922,"id":"Q4548922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c9bcb6205a69289ffeb120edada5d531da179df","datavalue":{"value":{"amount":"+0.7892313599586487","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":"Q436231$B59FF180-5B9B-4715-B25C-993799842478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b91ec646ff4dc6b7413ab9868a9195baa8db47b","datavalue":{"value":{"entity-type":"item","numeric-id":3768904,"id":"Q3768904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1778b7a1570788361032d35e53959f16f8f16c1","datavalue":{"value":{"amount":"+0.7733598351478577","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":"Q436231$C0E5830B-A07C-498E-801C-7DF0A5F9C2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c98a48b6fb156392130183a74dc89d05313c9a3","datavalue":{"value":{"entity-type":"item","numeric-id":4322357,"id":"Q4322357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a188939a2269693a66afc2b8bfc11f840cd24e1b","datavalue":{"value":{"amount":"+0.7690986394882202","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":"Q436231$27F060D8-7B6A-4472-AAE9-6A68315F7C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2d4f78ec742a9cc85ef0488f1c054cb1f1c2b7c","datavalue":{"value":{"entity-type":"item","numeric-id":4429725,"id":"Q4429725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a188939a2269693a66afc2b8bfc11f840cd24e1b","datavalue":{"value":{"amount":"+0.7690986394882202","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":"Q436231$193A3952-15F2-45EF-88EC-2999CCA14D45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:436231","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:436231"}}}}}