{"entities":{"Q2795902":{"pageid":2806640,"ns":120,"title":"Item:Q2795902","lastrevid":52489163,"modified":"2026-01-22T19:14:01Z","type":"item","id":"Q2795902","labels":{"en":{"language":"en","value":"The smooth ideal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6559632"}},"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":"Q2795902$EC99C219-80D3-4F06-B059-973CA13B5B0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bbcafa213b8346385736d7e05817e6a002c5496","datavalue":{"value":{"text":"The smooth ideal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2795902$5B486F39-FE79-4098-8E15-37BA0305A89C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3b22f817546191034c208e2959a56e4f0a69a97","datavalue":{"value":"1360.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795902$40EDB6BF-D099-4BA6-A48F-6B5A096A8841","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f57e57c17143a07e7932f8a389a3da4d5b2e659c","datavalue":{"value":{"entity-type":"item","numeric-id":329486,"id":"Q329486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795902$5AE9F4A1-2B16-477E-AE10-B6AA5D81E4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e977b2eab4d71f7301fffa552c237aff0d951ac2","datavalue":{"value":{"entity-type":"item","numeric-id":375514,"id":"Q375514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795902$463E607C-94DC-45C2-BBD3-CB92782393A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f44e7932de279a6113688c2325c7c8d92ad95e51","datavalue":{"value":{"entity-type":"item","numeric-id":329488,"id":"Q329488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795902$D6F2B7D6-41AD-4023-BC1D-D9E06D37E8EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"545d359c3736dad746c8015ce9f1a04448d43829","datavalue":{"value":{"time":"+2016-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2795902$F7768715-3098-4B1B-B1DB-A4D7AD5D040B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795902$3F1D0C70-7B65-49C2-A61C-049299E7D7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f10a8c2218f37e16920ada947854b8ed3009189","datavalue":{"value":"28A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795902$B631B1CF-A61F-4D06-A51A-A181CB87BF3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f6be85c15b58c35292d21ea2c78443ffeaeeca5","datavalue":{"value":"6559632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795902$2873A9DA-37BD-4C8E-91BA-DF027875B6CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebdf40a357de9809b6620310b6356472d0384722","datavalue":{"value":"Polish spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2795902$718C8768-FE79-488F-8CBF-A892958C8B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"280c8f9b5cab95a2a15b895bdb10674b8006f46a","datavalue":{"value":"equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2795902$2D7B9A06-5DCF-4494-AD21-6FF67DEA677C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f807cd7cf0ca7f911bf5ad53a894c234a2e9929","datavalue":{"value":"smooth relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2795902$216A1BC1-26FA-483C-BAA3-E9F04A20C360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6404a6a6a9c39c26ec32cb220b97f64394ac56c3","datavalue":{"value":"\\(E\\)-smooth sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2795902$7D247BC5-6524-4AFC-B3BD-3AB77AF10B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d3fbdef65ff42241b09281e92a44122e407c46f","datavalue":{"value":"smooth ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2795902$A66CD16C-2FBA-4B30-B4F1-11128F445CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee575c256c421c8e5cff6dbf6e75c3cc52ec79f2","datavalue":{"value":"morphisms between ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2795902$78846231-A3CF-4568-A76D-365A48CAF1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5544d3da35304f367f4a563f79ce3dd232a11d","datavalue":{"value":"homogeneity of ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2795902$293C0487-BC72-4D5D-B524-611EF1E83920","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":"Q2795902$4BC61DD6-086E-4A2E-B3C6-7D306C365553","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7851643a3e1c8f24ca3a1cc4836e4c0c2eb6a82","datavalue":{"value":"https://doi.org/10.1112/plms/pdv069","type":"string"},"datatype":"url"},"type":"statement","id":"Q2795902$47419FDF-4097-4B14-BDB7-A77067F307F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"230d1cfcbee4c89dc6f24fad1dbcd2f80966f883","datavalue":{"value":"W1792583305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795902$253E4A8E-97E6-4E76-BAA0-810BE4E2D315","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":"Q2795902$96D0FD7C-1D45-4453-8F20-D20834A6B1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d21942205e246a9c6ea49890e08683d496a33ef3","datavalue":{"value":{"entity-type":"item","numeric-id":3094891,"id":"Q3094891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795902$E2312ADA-637F-4DB2-8220-04F80B920CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e3c0fc3bf03f46714bceccb60062a2a4d13a94","datavalue":{"value":{"entity-type":"item","numeric-id":2525882,"id":"Q2525882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795902$2D03F210-6E24-4465-94E0-38EE84ECEB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fbb539459da42b2bcd227c80ce052fb200b461","datavalue":{"value":{"entity-type":"item","numeric-id":2759039,"id":"Q2759039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795902$557B2D03-F6E1-402E-B679-38E3B4DD4917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e80065d8a8aaa41505f6f15c02a6c6b0942b3fa","datavalue":{"value":{"entity-type":"item","numeric-id":2525877,"id":"Q2525877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795902$CA875BD7-5B20-4324-B9BC-97CA6DBA73EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09bc276d145277116140498cf57e1dd099ade7c4","datavalue":{"value":{"entity-type":"item","numeric-id":5692207,"id":"Q5692207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795902$94CBB24C-EBC7-47EC-A472-B82A2C77CEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4372fd42d55a6c484b385a2f8a72730dc0c7d8d8","datavalue":{"value":{"entity-type":"item","numeric-id":4551991,"id":"Q4551991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795902$A5146C54-216A-4649-9D8F-7F89A115EA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f773300cd053ea51f6b2e01c0bd0b060f02131","datavalue":{"value":{"entity-type":"item","numeric-id":4323294,"id":"Q4323294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795902$815D7712-699D-41C5-82D6-AFC9760A84D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65262d113ec2a95f40cfaf0e6ffc0cf0e9713da3","datavalue":{"value":{"entity-type":"item","numeric-id":5313312,"id":"Q5313312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795902$68242F21-B78B-4F61-B197-DCEF09853A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d88a9490184c910d0fc572eda170460d8109671f","datavalue":{"value":{"entity-type":"item","numeric-id":759854,"id":"Q759854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795902$019AA5AF-D8D9-4B83-ACFF-1D9766CD5716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45182d3b23d9f6c400d048cf2928aef8344d6e4f","datavalue":{"value":{"entity-type":"item","numeric-id":3665092,"id":"Q3665092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795902$DB3BC1D2-F65E-416E-B543-D242ACC2099D","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":"Q2795902$0F24F1C4-9C4C-4ED7-B201-EB27A9F3A022","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9ccd75be29a27232303ae3ce8f09e94ea7a063a","datavalue":{"value":"10.1112/PLMS/PDV069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2795902$F2EE79ED-E031-4B9F-BF03-96EF1053AC00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"05c75dfbfeb57f29a657af8520ed8349037c0a8a","datavalue":{"value":{"entity-type":"item","numeric-id":6486853,"id":"Q6486853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795902$6BEA22C4-F145-463C-B35A-958BBD1768B1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"64321611f531003bc331fc119c071cfedd7545b2","datavalue":{"value":"This remarkable article is an important step towards the classification and the understanding of equivalence relations with Borel graphs on Polish spaces. Let \\(E\\) be a Borel equivalence relation on a Polish space \\(X\\). We say that \\(E\\) is \\textit{smooth} if it is Borel-reducible to the equality on \\(2^\\mathbb{N}\\). \\textit{L. A. Harrington} et al. [J. Am. Math. Soc. 3, No. 4, 903--928 (1990; Zbl 0778.28011)] proved that the equivalence relation \\(\\mathbb{E}_0\\) on \\(2^\\mathbb{N}\\), given by \\((c,d)\\in \\mathbb{E}_0 \\Leftrightarrow \\exists n \\in \\mathbb{N}\\, \\forall m \\geq n\\, c(m)=d(m)\\), is continuously embeddable into every Borel equivalence relation on a Polish space which is not smooth. In the paper under review, the authors prove the following generalization of the result above:NEWLINENEWLINE Suppose that \\(X\\) is a Polish space and \\(E\\) and \\(F\\) are Borel equivalence relations on \\(X\\). Then exactly one of the following holds. {\\parindent=0.7cm\\begin{itemize}\\item[(1)] There is an \\(E\\)-smooth Borel set \\(B\\subset X\\) off of which \\(E\\) has \\(\\sigma\\)-bounded finite index over \\(E\\cap F\\). \\item[(2)] There is a continuous embedding of \\(E_0\\) into the restriction of \\(E\\) to a partial transversal of \\(F\\).' NEWLINENEWLINE\\end{itemize}} Here, a set \\(Y\\subset X\\) is a \\textit{partial transversal} of \\(E\\) if it intersects every \\(E\\)-class in at most one point, and a set \\(Y\\subset X\\) is \\(E\\)-smooth if the restriction of \\(E\\) to \\(Y\\) is smooth. \\(E\\) has bounded \\textit{finite index} over \\(F\\) if, for some \\(n\\in\\mathbb{N}\\), every class of \\(E\\) is the union of at most \\(n\\) classes of \\(F\\), and \\(E\\) has \\textit{\\(\\sigma\\)-bounded finite index} over \\(F\\) if \\(X\\) is the union of countably many Borel sets on which \\(E\\) has bounded finite index over \\(F\\).NEWLINENEWLINEIn the next parts of the article, the authors establish some rigidity results connecting each Borel equivalence relation with the corresponding \\(\\sigma\\)-ideal \\(\\mathcal{I}_E\\) generated by the family of \\(E\\)-smooth Borel sets. In particular, they show that appropriate morphisms between Borel equivalence relations are also morphisms between the corresponding smooth ideals. At the end of the paper, the authors characterize homogeneity of smooth \\(\\sigma\\)-ideals and prove that the following conditions are equivalent:{\\parindent=0.7cm\\begin{itemize}\\item[(1)] The equivalence relation \\(E\\) is essentially hyperfinite. \\item[(2)] The ideal \\(\\mathcal{I}_E\\) is reduction homogeneous. \\item[(3)] The ideal \\(\\mathcal{I}_E\\) is cohomomorphism homogeneous. NEWLINENEWLINE\\end{itemize}}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2795902$1BABB138-837D-4E93-A7F3-9AC2F6230232","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"45e94f3d9dc5e9989293ab48c0676c296f03a685","datavalue":{"value":{"entity-type":"item","numeric-id":178038,"id":"Q178038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2795902$6E121B0E-D0CF-4372-AB66-2A3E8363788D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25d107a75af8d53678cb35e3a5cd860f70632ffb","datavalue":{"value":{"entity-type":"item","numeric-id":4846059,"id":"Q4846059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe85d9a33e3bd8100446884cc5bf49928fe821a5","datavalue":{"value":{"amount":"+0.802619457244873","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":"Q2795902$0D9C8221-700B-41E9-AEB2-B33C282DE792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f11d4764c78be117222de3aa735dc3b95a0d81","datavalue":{"value":{"entity-type":"item","numeric-id":926424,"id":"Q926424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f60a701cf010d9d671c7b3312dfa77ca81433fd9","datavalue":{"value":{"amount":"+0.8019111752510071","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":"Q2795902$7CA93A46-451E-463A-AAA9-D805E8CF68DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30f95ddd15fa0f821feaaf4073f0608e045a89fc","datavalue":{"value":{"entity-type":"item","numeric-id":4895447,"id":"Q4895447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32cbb8b4a247f09b6a71bc5d616fda46d74f4f41","datavalue":{"value":{"amount":"+0.7903156280517578","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":"Q2795902$8448B08E-EDC9-4E9E-9EB6-E18BB29A9EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1de6550fc377736d3e5f876286ac3ba31375d66","datavalue":{"value":{"entity-type":"item","numeric-id":5689265,"id":"Q5689265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32cbb8b4a247f09b6a71bc5d616fda46d74f4f41","datavalue":{"value":{"amount":"+0.7903156280517578","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":"Q2795902$5A280FA9-C7DA-4E3B-8C7E-FB5F35A17AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887f2bf5ec800405e33e52502ec3edf9fa353be6","datavalue":{"value":{"entity-type":"item","numeric-id":5359569,"id":"Q5359569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a8b45e51fb4ba9096e6127a51acb8018c768631","datavalue":{"value":{"amount":"+0.7646803855895996","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":"Q2795902$1D0AA1C2-C152-4E8F-A687-BCC46572DE3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2795902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2795902"}}}}}