{"entities":{"Q6565565":{"pageid":14176720,"ns":120,"title":"Item:Q6565565","lastrevid":55698805,"modified":"2026-02-17T21:15:40Z","type":"item","id":"Q6565565","labels":{"en":{"language":"en","value":"On the extendability to \\(\\mathbf{\\Pi}_3^0\\) ideals and Kat\u011btov order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7874613"}},"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":"Q6565565$4634E473-C020-45A1-B9F1-7F91FB4DC5EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68376cbaa6b5ff85d588c23d05f28a80ba8e78df","datavalue":{"value":{"text":"On the extendability to \\(\\mathbf{\\Pi}_3^0\\) ideals and Kat\u011btov order","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6565565$24DA3A6E-7CEF-417A-A14D-F9FB5A2E8675","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68494933eea6917d552e2f0bbf039cf23add68b8","datavalue":{"value":"1544.54008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6565565$00563E0A-3E4B-4368-AA3D-B50B039863C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c81b5effa28e51d7a40c0bb8e692923e1fa3565","datavalue":{"value":{"entity-type":"item","numeric-id":314331,"id":"Q314331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565565$663270B7-273F-4DE3-94F9-0C32CD2FDB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8feb97861b44f1f7865c8823431b0b7928ec3ed3","datavalue":{"value":{"entity-type":"item","numeric-id":6565564,"id":"Q6565564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565565$441E04A2-23BD-4605-B1AB-BB0B760E9D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f429a4c4e7163ae3549b2edddb835d7172e8f002","datavalue":{"value":{"entity-type":"item","numeric-id":314332,"id":"Q314332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565565$7178513A-B6FA-4DD8-A7F4-D44ABEC280A7","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":"Q6565565$A2F3B7C4-B915-4E61-A4D8-8D9E81E6EC82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd626077463fab39887c759e0e24d4037425166","datavalue":{"value":{"time":"+2024-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6565565$B939F288-DEBA-4E0F-A6E5-3D2C0AE4FA51","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7acf6e175f57cd3eda4d4fc543b8b0a9785b1e08","datavalue":{"value":"In this article, an ideal on a set \\(X\\) is a proper subset \\(\\mathcal{I}\\) of the power set \\(\\mathcal{P}(X)\\) of \\(X\\) such that, for all \\(A,B\\in\\mathcal{I}\\) and every \\(C\\in\\mathcal{P}(X)\\), if \\(C\\subseteq A\\cup B\\), then \\(C\\in\\mathcal{I}\\). For \\(A\\in\\mathcal{P}(X)\\), let \\(\\chi_A:X\\to\\{0,1\\}\\) be the indicator function of \\(A\\). Every ideal \\(\\mathcal{I}\\) on an infinite set \\(X\\) is identified with the subset \\(\\{\\chi_A: A\\in\\mathcal{I}\\}\\) of the Cantor cube \\(2^X\\). In particular, for a non-zero countable ordinal \\(\\alpha\\), an ideal \\(\\mathcal{I}\\) on the set \\(\\omega\\) of all non-negative integers is a \\(\\Sigma_{\\alpha}^0\\) (respectively, \\(\\Pi_{\\alpha}^0\\)) ideal if the set \\(\\{\\chi_A: A\\in\\mathcal{I}\\}\\) is in the class \\(\\Sigma_{\\alpha}^0\\) (respectively, \\(\\Pi_{\\alpha}^0\\)) of the Borel hierarchy in the Polish space \\(2^{\\omega}\\).\\N\\NGiven ideals \\(\\mathcal{I}\\) and \\(\\mathcal{J}\\) on sets \\(X\\) and \\(Y\\), respectively, we write \\(\\mathcal{I}\\leq_K\\mathcal{J}\\) and say that \\(\\mathcal{J}\\) is above \\(\\mathcal{I}\\) in the Kat\u011btov preorder if there is a function \\(f:\\bigcup\\mathcal{J}\\to\\bigcup\\mathcal{I}\\) such that, for each \\(A\\in\\mathcal{I}\\), \\(f^{-1}[A]\\in\\mathcal{J}\\).\\N\\NFor \\(A\\subseteq X\\times Y\\) and \\(x\\in X\\), \\(A_x=\\{y\\in Y: (x,y)\\in A\\}\\). The ideal \\(\\mathcal{I}\\times\\mathcal{J}=\\{A\\subseteq X\\times Y: \\{x\\in X: A_x\\notin\\mathcal{J}\\}\\in\\mathcal{I}\\}\\) on \\(X\\times Y\\) is called the Fubini product of \\(\\mathcal{I}\\) and \\(\\mathcal{J}\\). The family of all finite subsets of \\(X\\) is denoted by \\(\\textrm{Fin}(X)\\). The ideal \\(\\textrm{Fin}(\\omega)\\) on the set \\(\\omega\\) is denoted by \\(\\textrm{Fin}\\).\\N\\NIn [\\textit{M. Hru\u0161\u00e1k}, Contemp. Math. 533, 29--69 (2011; Zbl 1239.03030)], Hru\u0161\u00e1k posed the following problem: is it true that if \\(\\mathcal{I}\\) is a Borel ideal on \\(\\omega\\), then either \\(\\textrm{Fin}\\times\\textrm{Fin}\\leq_K\\mathcal{I}\\) or there exists a \\(\\Pi_3^0\\) ideal \\(\\mathcal{J}\\) on \\(\\omega\\) with \\(\\mathcal{I}\\subseteq\\mathcal{J}\\)? The problem was repeated, for instance, in [\\textit{M. Hru\u0161\u00e1k} et al., Ann. Pure Appl. Logic 168, No. 11, 2022--2049 (2017; Zbl 1422.03101); \\textit{C. Uzc\u00e1tegui}, Rev. Integr. 37, No. 1, 167--198 (2019; Zbl 1529.03241)]. It can also be found in Meza-Alc\u00e1ntara's Ph. D. thesis (UNAM, Mexico 2009), which was supervised by Hru\u0161\u00e1k.\\N\\NIn this article, the authors give a solution to the problem by Hru\u0161\u00e1k mentioned above by proving that there exists a \\(\\Sigma_4^0\\) ideal \\(\\mathcal{I}\\) on \\(\\omega\\) such that \\(\\mathcal{I}\\) cannot be extended to any \\(\\Pi_3^0\\) ideal on \\(\\omega\\) and \\(\\mathcal{I}\\) is not above \\(\\textrm{Fin}\\times\\textrm{Fin}\\) in the Kat\u011btov order. Namely, the authors prove that the ideal \\(\\textrm{Fin}_3=((\\textrm{Fin}\\times\\textrm{Fin})\\times\\{\\emptyset\\})\\cap(\\textrm{Fin}(\\omega^2)\\times\\textrm{Fin})\\) on \\(\\omega^3\\) is \\(\\Sigma_4^0\\), not above \\(\\textrm{Fin}\\times\\textrm{Fin}\\) in the Kat\u011btov order and cannot be extended to any \\(\\Pi_3^0\\) ideal on \\(\\omega^3\\). Finally, the authors discuss the following question posed by the anonymous referee of their article: if a Borel ideal \\(\\mathcal{I}\\) on \\(\\omega\\) cannot be extended to a \\(\\Pi_3^0\\) ideal on \\(\\omega\\), is there a subset \\(X\\) of \\(\\omega\\) such that \\(X\\notin\\mathcal{I}\\) and \\(\\textrm{Fin}\\times\\textrm{Fin}\\leq_K\\mathcal{I}\\vert X\\)?","type":"string"},"datatype":"string"},"type":"statement","id":"Q6565565$F5080C2B-6A56-440B-A2FB-CDD22A5717DA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"48ae23a7b799afe441008a69912601a7c2996360","datavalue":{"value":{"entity-type":"item","numeric-id":500936,"id":"Q500936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565565$3427F3DA-793A-4D77-991C-FA52B41C1A76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e77832795f96c90a7956e6c302d71b1ffee7fe00","datavalue":{"value":"54C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6565565$CE6FA782-1F62-45D0-8568-94790C3EA558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b98ad4650c5e0104983d42c4c01b72adfa18af1","datavalue":{"value":"26A03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6565565$C0752D44-9978-41BD-860D-1F63AFC6BAA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7616612992c84602384e57bfbbf3c7c24bdb2b3a","datavalue":{"value":"03E17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6565565$1DDF97C7-3082-4F47-9C36-B7782CF7B32B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31ba5e6b0f34100901ed2bd18ebde49550993755","datavalue":{"value":"7874613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6565565$DB50875E-94D5-4C36-8C97-EE55DA07EB48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69d023a181183a0301cad776f60490ae61ed3682","datavalue":{"value":"Borel ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q6565565$344AD25B-91DB-4ADE-BEB3-F8CB9510B6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d130baadad33c7bfd2cd00267d43867816e0ef6","datavalue":{"value":"ideal extendability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6565565$B4449FFF-0BCA-4E3A-8DD4-CEB82AAD3081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bf34f86154e4f187c1b7f436213fdcdfc7f5b6b","datavalue":{"value":"Kat\u011btov order","type":"string"},"datatype":"string"},"type":"statement","id":"Q6565565$171592D6-CF05-46EF-B00F-4B972DF721B7","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":"Q6565565$E219EC40-FC03-4902-986A-F254EF514A7A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62499976d71123223ca2765342f62d04a3fdda47","datavalue":{"value":{"entity-type":"item","numeric-id":4910523,"id":"Q4910523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565565$D7A786F1-5504-4DB8-AF9B-AF4DF28DE7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f8722a13b453baeb5dfde981da27cbb196a806f","datavalue":{"value":{"entity-type":"item","numeric-id":5232648,"id":"Q5232648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565565$FC282E72-F560-45A0-9654-6DB5758EB659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46738733fcf3af1b2240b4ab12bf733af416f01f","datavalue":{"value":{"entity-type":"item","numeric-id":304172,"id":"Q304172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565565$7BC08D0E-D3C2-450F-AFDB-5228A5186D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"968852ef40e9a47af21c295e334defaab3fb02c5","datavalue":{"value":{"entity-type":"item","numeric-id":953280,"id":"Q953280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565565$AA193F0E-EEA5-4AF4-8BDA-CC5952BBEDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96509c3b5c84e710a5bf74359ef4234092456ee2","datavalue":{"value":{"entity-type":"item","numeric-id":4067748,"id":"Q4067748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565565$4E5117AB-E276-48E3-9459-C19B40C3E494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71c4f404ae1e6ce8e2a1c07f8b51717bcb55d752","datavalue":{"value":{"entity-type":"item","numeric-id":2085570,"id":"Q2085570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565565$FA6A4857-D860-462A-8C1E-31B92C2855DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45c1a65b3602e84aaff5bd8fad89d7d11e397d5","datavalue":{"value":{"entity-type":"item","numeric-id":3614120,"id":"Q3614120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565565$CF5B8C9F-BCCC-4E9F-9A0E-E0EC89FE3DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa2cce8ac48f97f6e707ddcaafae1f73c722a76e","datavalue":{"value":{"entity-type":"item","numeric-id":4522440,"id":"Q4522440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6565565$7262CC57-71C6-42BB-846C-A2A2234CA4CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6794e66abed80cacb010f9daf75e52215327659","datavalue":{"value":"10.1007/S00153-024-00912-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6565565$24824209-90AA-4076-B908-33A67B6E4DC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b25726c90f178d8eb88731becf7b7c046d70f296","datavalue":{"value":{"entity-type":"item","numeric-id":4910523,"id":"Q4910523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffd72c42d6c0e8653c29339e4da319da379078ad","datavalue":{"value":{"amount":"+0.8627793192863464","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":"Q6565565$892C017E-3507-4EDB-B27A-BAD1E45D45B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"468b6b4e31dfdcfe5f76c4e7fc4bd24be1650a12","datavalue":{"value":{"entity-type":"item","numeric-id":2085570,"id":"Q2085570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1270cb00b5c18a22b38b28aba23ee2db9682a1fd","datavalue":{"value":{"amount":"+0.8221824765205383","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":"Q6565565$41B8D463-F889-43AF-A120-FCE72B448AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4062833b357dc1930ade1726e5d9dfafdbca7746","datavalue":{"value":{"entity-type":"item","numeric-id":2408077,"id":"Q2408077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8b55e96b3ffffda185cc913450f993e20ad23f8","datavalue":{"value":{"amount":"+0.802058756351471","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":"Q6565565$BE1A4E9D-CE24-4377-A1F0-54847E4716B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded6b0bd4c7c5d09f81b6bd12bd0ae50822fb1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1745354,"id":"Q1745354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"437e330936146ff39b58bca1f777d06759a6326b","datavalue":{"value":{"amount":"+0.78839510679245","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":"Q6565565$EF90CDE1-19C0-422D-9791-BA8C2BF92332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08a56cd7aa8e5929d714eae753c732b9f70e730e","datavalue":{"value":{"entity-type":"item","numeric-id":304172,"id":"Q304172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"463e340afe41529296a11f355763c15f4635a098","datavalue":{"value":{"amount":"+0.7832303643226624","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":"Q6565565$EE28D73F-16B8-480B-8FE2-7A5172E73885","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6565565","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6565565"}}}}}