{"entities":{"Q2384694":{"pageid":2395437,"ns":120,"title":"Item:Q2384694","lastrevid":57887946,"modified":"2026-04-02T23:16:03Z","type":"item","id":"Q2384694","labels":{"en":{"language":"en","value":"Borel hierarchies in infinite products of Polish spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5199426"}},"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":"Q2384694$C15918E3-8EBC-4832-92B3-6136A775F95D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7509ac72afbf6c4b89de0426a23aa07ff9e4f5bb","datavalue":{"value":{"text":"Borel hierarchies in infinite products of Polish spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2384694$B90778B1-DECC-49FD-82B1-1F8B7A8D96D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74f38a46d98763c33d425586799920858703705f","datavalue":{"value":"1131.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2384694$4101EA83-8F76-492F-A2A1-D0C19B0E18BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18789784225700bef57266953b8b31f4555a52ab","datavalue":{"value":{"entity-type":"item","numeric-id":1038272,"id":"Q1038272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2384694$23887C18-21E9-431D-8434-8E3616589829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7433c5435dbdba671a52a1e3b19a9c9b3b65fdcc","datavalue":{"value":{"entity-type":"item","numeric-id":367427,"id":"Q367427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2384694$1F85F8C7-CA82-4304-8DF9-FBB21AF3C67F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7b00e4ca9eb1ad6164f179f3715d6f959f38598a","datavalue":{"value":{"entity-type":"item","numeric-id":180489,"id":"Q180489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2384694$E9699F20-5475-4763-BD01-C432F804F968","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dbfaa03ae84479ab13740340f6786928fbc9c3","datavalue":{"value":{"time":"+2007-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2384694$E0F9EC82-9748-475A-8D62-07868E078694","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10d9b1a50c5516a0cd78ba457efb1965053a917e","datavalue":{"value":"https://arxiv.org/abs/0707.1967","type":"string"},"datatype":"url"},"type":"statement","id":"Q2384694$9E20D0E0-43FE-4FF1-8E31-C26208A6F1AB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c098d11b6b1de38754e497dc9f724282ca4f483a","datavalue":{"value":"Let \\((X,\\tau)\\) be an uncountable Polish space. For \\(n \\in \\mathbb N\\) define \\(\\text{Pr}_{n}:X^{\\mathbb N} \\rightarrow X^n\\) by setting, for \\(\\underline{x} = (x_{0}, x_{1}, \\dots)\\), \\(\\text{Pr}_{n}(\\underline{x}) = (x_{0}, x_{1}, \\dots, x_{n-1})\\), and for \\(A \\subseteq X^n\\) let \\(\\text{cyl}(A) = \\{\\underline{x} \\in X^{\\mathbb N}:\\text{Pr}_{n}(\\underline{x}) \\in A\\}\\). In the Polish space \\((X,\\tau)^{\\mathbb N}\\) set   \\[ \\overline{\\Sigma}_0=\\overline{\\Pi}_0=\\{\\text{cyl}(A):A \\subseteq X^n \\text{ is Borel}, n \\in \\mathbb N\\}, \\]   and for \\(0 < \\xi < \\omega_{1}\\) let \\(\\overline{\\Sigma}_\\xi=(\\bigcup_{\\eta <\\xi}\\overline{\\Pi}_\\eta)_\\sigma\\), \\(\\overline{\\Pi}_\\xi =\\neg \\overline{\\Sigma}_\\xi\\). We define \\({\\mathcal B}=\\bigcup_{\\xi <\\omega_1}\\overline{\\Sigma}_\\xi=\\bigcup_{\\xi <\\omega_1}\\overline{\\Pi}_\\xi\\). Note that the definition for the hierarchies \\(\\overline{\\Sigma}_\\xi\\), \\(\\overline{\\Pi}_\\xi\\) \\((\\xi < \\omega_{1})\\) in the paper under review differs from what we have given here. The original definition is incompatible with the results of the paper. Now endow \\(X\\) with the discrete topology \\(\\tau_{d}\\) and consider the Borel hierarchy in \\((X,\\tau_{d})^{\\mathbb N}\\) as follows. Set   \\[ \\Sigma_{0} = \\Pi_{0} = \\{\\text{cyl}(A):A \\subseteq X^n,~n \\in \\mathbb N\\} \\]   and for \\(0 < \\xi < \\omega_{1}\\), \\(\\Sigma_{\\xi} =(\\bigcup_{\\eta < \\xi} \\Pi_{\\eta} )_{\\sigma}\\), \\(\\Pi_{\\xi} = \\neg \\Sigma_{\\xi}\\). Assume \\(X\\) is recursively presented. Following the notation of [\\textit{A.\\ Louveau}, ``A separation theorem for \\(\\Sigma^ 1_ 1\\) sets'', Trans. Am. Math. Soc. 260, 363--378 (1980; Zbl 0455.03021)], we define \\(\\Sigma^{\\star}_{0} = \\Pi^{\\star}_{0} = \\{\\text{cyl}(A) :A \\subseteq X^n\\) is \\(\\Delta^{1}_{1}\\), \\(n\\in \\mathbb N\\}\\), and, for \\(1 \\leq \\xi < \\omega^{\\text{CK}}_{1}\\), \\(\\Sigma^{\\star}_{\\xi} = \\bigcup^{1}_{1}(\\bigcup_{\\eta < \\xi} \\Pi^{\\star}_{\\eta})\\), \\(\\Pi^{\\star}_{\\xi} = \\neg \\Sigma^{\\star}_{\\xi}\\). Based on ideas of A.\\ Louveau in the paper above and on [\\textit{R.\\ Barua}, ``On the Borel hierarchies of countable products of Polish spaces'', Real Anal. Exch. 16, No. 1, 60--66 (1991; Zbl 0770.54036)], the authors state that if every subset of \\(\\omega^{\\omega}\\) has the Baire property in the Gandy-Harrington topology then for every \\(1 \\leq \\xi < \\omega^{\\text{CK}}_{1}\\), if, for two \\(\\Sigma^{1}_{1}\\) subsets \\(A\\), \\(B\\) of \\((X,\\tau)^{\\mathbb N}\\), \\(A\\) can be separated from \\(B\\) by a \\(\\Sigma_{\\xi}\\) set, then \\(A\\) can be separated from \\(B\\) by a \\(\\Sigma^{\\star}_{\\xi}\\) set as well. This immediately implies \\(\\Sigma^{\\star}_{\\xi} = \\Delta^{1}_{1} \\cap \\Sigma_{\\xi}\\) for every \\(1 \\leq \\xi < \\omega^{\\text{CK}}_{1}\\). Moreover, by relativization, if for every \\(\\alpha \\in \\omega^{\\omega}\\) every subset of \\(\\omega^{\\omega}\\) has the Baire property in the topology generated by the \\(\\Sigma^{1}_{1}(\\alpha)\\) sets then, for every \\(1 \\leq \\xi < \\omega_{1}\\), \\(\\overline{\\Sigma}_{\\xi} = \\Sigma_{\\xi} \\cap {\\mathcal B}\\). The set-theoretic assumptions fail in ZFC but hold in the Levy-Solovay model of ZF+DC, or in ZF+AD. Note that it remains open whether all these results hold in ZFC or not. E.g., the authors prove the separation theorem for \\(\\xi = 1\\) in ZFC, without any additional assumptions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2384694$A730AFED-D7A3-42B9-93E0-463A46D516AF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f90841066c0eea3979703fe8132637ed0fffebc1","datavalue":{"value":{"entity-type":"item","numeric-id":375849,"id":"Q375849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2384694$1FA22668-81E5-4325-A111-504D808990CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2384694$0E550A60-D5B3-472E-8243-A4BF741E8009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2384694$63DA4EA4-50CE-40ED-A6B1-D8BEC0962829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2384694$9604C643-CD83-44C8-A070-4EA21B95F26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3933b21dbb425c0c8ed83b309b429364663b994","datavalue":{"value":"54H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2384694$E12C1EFB-5A21-4394-870F-FE046DF070D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"620e29e2e1cc592aa33656d8ac4389108dceec05","datavalue":{"value":"5199426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2384694$382677FE-7316-4E64-B5C7-7C5D1EC1C172","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c1c73230e35adc30b70c387bf682b00265e844","datavalue":{"value":"additive Borel class","type":"string"},"datatype":"string"},"type":"statement","id":"Q2384694$B45BAA1D-0DB2-41D6-9F73-0E9A172EEA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"355b0b08179e3c168930afa914369e7a478827dc","datavalue":{"value":"separation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2384694$54F137C6-F7AA-4F05-8427-65D0B03A8384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96d103f07bff50a68d56580fa83c7890af36dd0a","datavalue":{"value":"Gandy-Harrington topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2384694$C63D9A6A-3310-432D-BC1C-1F9FF91BECFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b445fbf5ce14875e40abed1d3a39e6dcdf2c88f3","datavalue":{"value":"Baire property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2384694$6E1762E1-8B26-48AA-BC9A-5861201B487A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e2569bc981bfe5cd2c1df874e2950354ac73a08","datavalue":{"value":"Levy-Solovay model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2384694$B65AA118-8201-4C21-9D63-04E395AB9FDC","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":"Q2384694$0E281034-2E35-420B-9098-8C1D1B87D49B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aec7222f61f28341b21c1df92f86450eb0d3eedd","datavalue":{"value":"W2013485906","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2384694$42A5C43F-D56F-49B8-91E2-E7AA6F271681","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e656a65a32553fa1bcbcf1f9f0f2eac7355692d2","datavalue":{"value":{"entity-type":"item","numeric-id":1174598,"id":"Q1174598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2384694$219A8055-7433-46DE-A1A2-A1AE47CC4186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f557bcf8384240f50a3ed1a9f4f4234fbadee70","datavalue":{"value":{"entity-type":"item","numeric-id":5904770,"id":"Q5904770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2384694$82F24C5B-D7EB-471A-A9FC-FA818090D44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd4319d239dcfdefb63b973a15f495b09ef3fd1d","datavalue":{"value":{"entity-type":"item","numeric-id":3357085,"id":"Q3357085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2384694$7262FCFE-26AC-4B8C-AF9E-21878474A01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a1bdebe5330a0bc43b4aecc19c865b4befee5e","datavalue":{"value":{"entity-type":"item","numeric-id":2542987,"id":"Q2542987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2384694$C182D58D-B8CC-47BE-97B9-6CACEC79462D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"043286af8bcf94919372c966b40ec8966a97e5e1","datavalue":{"value":"10.1007/S12044-007-0016-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2384694$157344F0-BDC7-420E-8CDF-6017BBDA333A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91f47aff5ab2c8a0ea17a7d64c2600ffc285b4c","datavalue":{"value":{"entity-type":"item","numeric-id":1174598,"id":"Q1174598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b72a91c9cf73497644157ffc1e8f1fd1b5703fb","datavalue":{"value":{"amount":"+0.8719371557235718","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":"Q2384694$7E4CA94F-9FAE-49E2-96C2-99737210D19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7308def6017abbd994d20e27084fcc40ee227ed","datavalue":{"value":{"entity-type":"item","numeric-id":3541676,"id":"Q3541676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0bc3ef58a34d6122cfba1e4abefe29b0c8c673f","datavalue":{"value":{"amount":"+0.871436357498169","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":"Q2384694$F93DD06B-1210-4DAE-A417-6BD0147858DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8fe3b26c597a1ec67bd7a851cceb98f6043c264","datavalue":{"value":{"entity-type":"item","numeric-id":4916557,"id":"Q4916557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7fc9602be09973b6ee0bce83c5467d3b6a42c94","datavalue":{"value":{"amount":"+0.7826071381568909","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":"Q2384694$0530BE3D-B8A1-4428-B510-73ABF682D505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b1cfdbd55fc2a54e28d90b6db039c091dc06470","datavalue":{"value":{"entity-type":"item","numeric-id":4204143,"id":"Q4204143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"802f1f4948cb71e53188089bfae153f61fc15996","datavalue":{"value":{"amount":"+0.7767196893692017","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":"Q2384694$32C310C3-A38B-4E3A-ADB6-E4DA5680FD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcb3036dc702be0db51db289bf30a80239a2bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":3506328,"id":"Q3506328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da4e2d16435737828aa1485b035b2e5fb755b227","datavalue":{"value":{"amount":"+0.7679241895675659","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":"Q2384694$4E57B60D-5814-47EE-825F-84B78E740572","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2384694","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2384694"}}}}}