{"entities":{"Q2176409":{"pageid":2187152,"ns":120,"title":"Item:Q2176409","lastrevid":57759009,"modified":"2026-04-02T09:57:59Z","type":"item","id":"Q2176409","labels":{"en":{"language":"en","value":"Canonization of smooth equivalence relations on infinite-dimensional \\(\\mathsf{E}_0\\)-large products"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7196094"}},"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":"Q2176409$92D0B656-A3F8-4355-B640-2E7CD959F654","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c0809c1f13fea88bb04572b1797ad11f8f00acc","datavalue":{"value":{"text":"Canonization of smooth equivalence relations on infinite-dimensional \\(\\mathsf{E}_0\\)-large products","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2176409$44A3205D-4CA2-4E30-A337-DFC48D147820","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecac449f1b2dfbd0ba343676accf12d86f98e8bb","datavalue":{"value":"1471.03072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176409$60D8D72D-1154-4566-AD2C-30C3FAB98E7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93b4d1ec1540be8add48e3112a5f0a800cee2316","datavalue":{"value":"10.1215/00294527-2019-0034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176409$AD61C9B6-B835-4027-94EF-17242E2619C8","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":"Q2176409$C24F5B93-D0B6-4F5B-917D-DD709D0429E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"266349113821a9568dc8e478c029e41016cf97fa","datavalue":{"value":{"time":"+2020-05-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":"Q2176409$43671DAB-F8CC-40EB-AC29-C90D8368D85D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56fc103537b7f269878a0ec36d52f39ef0de2035","datavalue":{"value":"https://arxiv.org/abs/1804.05174","type":"string"},"datatype":"url"},"type":"statement","id":"Q2176409$5DD60D3F-D07C-49F9-9B02-955458B35C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c2340a531ad088e73bf4ae9994cb6a3057844e8","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1576120172","type":"string"},"datatype":"url"},"type":"statement","id":"Q2176409$CDA550D3-656A-4984-992F-E07597507862","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"836e601bea0a6d54f3256b49953040e827a8469f","datavalue":{"value":"Recall that the equivalence relation \\(E_0\\) on \\(2^\\omega\\) is defined as \\[xE_0y\\iff\\exists m\\forall n>m(x(n)=y(n))\\] for all \\(x,y\\in 2^\\omega\\). An equivalence relation \\(E\\) on a standard Borel space \\(X\\) is \\textit{smooth} if there exsits aBorel map \\(f:X\\to 2^\\omega\\) satisfying \\[xEy\\iff f(x)=f(y).\\] A Borel set \\(X\\subseteq 2^\\omega\\) is \\textit{\\(E_0\\)-large} if \\(E_0\\upharpoonright X\\) is not smooth.  An infinite \\textit{perfect product} is a set \\(P\\subseteq(2^\\omega)^\\omega\\) such that \\(P=\\prod_{l<\\omega}P(l)\\), where \\(P(l)\\) is a perfect subset of \\(2^\\omega\\). Furthermore, if each \\(P(l)\\) is an \\(E_0\\)-large set, we say that \\(P\\) is an \\(E_0\\)-large perfect product.  The main result of this article is:  Theorem. If \\(E,F\\) are smooth equivalence relations on \\((2^\\omega)^\\omega\\), then there is an \\(E_0\\)-large perfect product \\(P\\subseteq(2^\\omega)^\\omega\\) such that either \\(F\\subseteq E\\) on \\(P\\), or, for some \\(l<\\omega\\) and for all \\(x,y\\in P\\), \\(xEy\\) implies \\(x(l)=y(l)\\), and \\(x\\upharpoonright(\\omega\\setminus\\{l\\})=y\\upharpoonright(\\omega\\setminus\\{l\\})\\) implies \\(xFy\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176409$5A2A68AE-365F-429F-8D8A-B4D84127FCCD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176409$60505CA8-5E0F-4FD3-B8AB-2259437F7D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176409$067CD4B0-3F37-43D1-A2BD-D2CAD8CEA9BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49a7f1a94be2459b4db569eeaa1faa4363cd1df3","datavalue":{"value":"7196094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176409$D4B76993-6E31-4E81-BDB4-D2256A92A87F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ded8f383e1b4261445754c52645ce19b9ba93bfe","datavalue":{"value":"\\(\\mathsf{E}_0\\)-large product","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176409$30161B4A-14E4-4BB9-B79A-674B0EF117FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16a381f1079f32262d29a198a4c2fbfb9a20d902","datavalue":{"value":"smooth equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176409$381102E6-E02F-4B5B-A9C6-6D12F723B419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44161f47db6d7e8916e75fa6c856662d89ed6bec","datavalue":{"value":"perfect products","type":"string"},"datatype":"string"},"type":"statement","id":"Q2176409$F2E4B63F-7F5B-4FE5-912D-A0EE7AF8E37F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74b09d794e8860c4a5215cac175587d216774250","datavalue":{"value":{"entity-type":"item","numeric-id":161810,"id":"Q161810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176409$1E546031-4984-4048-B206-0B39EEA3EB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e942b7c523827b4672341da17b11181636aba381","datavalue":{"value":{"entity-type":"item","numeric-id":440691,"id":"Q440691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176409$58C855C1-FC09-4557-9404-0812BC64793C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"30f109a9845ef1a3f1bc7232ac3005675e134efd","datavalue":{"value":{"entity-type":"item","numeric-id":375691,"id":"Q375691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176409$04D71CFE-BF0C-4583-8E27-364EFF5AECD5","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":"Q2176409$64C7B71B-C176-4963-BE32-4AAD566EA8AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1dfd2c4b7b2d7d2ddeab85ba22de33f9f9a47a9c","datavalue":{"value":"W2995747974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2176409$EC3B514B-AADC-4C6B-AECF-A6BBBBE598D9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed10eb13004d5969a9439ef59afc0fadb6d46d99","datavalue":{"value":{"entity-type":"item","numeric-id":3863878,"id":"Q3863878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176409$7F674DDE-651E-468F-B8D6-5A3553DA85BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac0d23e0950e3a63ed53ba0f3ea5c2a5ad67fcb6","datavalue":{"value":{"entity-type":"item","numeric-id":4916546,"id":"Q4916546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176409$89AFA965-567F-4DDF-B6A7-F5EDCBE81FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce5618f56d7bc3873d73a339d372027c81db336","datavalue":{"value":{"entity-type":"item","numeric-id":5108086,"id":"Q5108086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176409$CBAB967B-CA8E-4456-8BBF-C66F0452D595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f66cd7608baee353526d838d374443dfb9469e77","datavalue":{"value":{"entity-type":"item","numeric-id":4365512,"id":"Q4365512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176409$E9A53FA4-05D5-4B33-A636-2DBEC1AA73C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f120f9c29c96401cbd75c35272a34dad5fd5a076","datavalue":{"value":{"entity-type":"item","numeric-id":4262569,"id":"Q4262569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176409$0F602915-6CFA-43BE-96A6-37378933286E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d17474e09faded5b1cbb7f18ae934b9180e0164","datavalue":{"value":{"entity-type":"item","numeric-id":3529420,"id":"Q3529420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176409$4FEDD20E-B58A-4662-9C74-C5ED9A7A62CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d08c92fd4b24bb5a5b22ff16867871bf08be0732","datavalue":{"value":{"entity-type":"item","numeric-id":2849822,"id":"Q2849822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176409$E794F8AE-2FB7-4536-9336-464E12FAE4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eea3a51fc5e7c1aa68fbf8a7a473b7fd911d41d","datavalue":{"value":{"entity-type":"item","numeric-id":4458917,"id":"Q4458917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2176409$C4D07C2A-7468-4C1C-A2A2-44FC1E2F7F20","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":"Q2176409$8FB13248-96CE-4D13-9812-17F2A97DE355","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"529b3b9c3f78224e2a89b81ac9998f06dd36d11f","datavalue":{"value":{"entity-type":"item","numeric-id":2795902,"id":"Q2795902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6194070c0a6be7308b2d541a581e783a8ddf38b","datavalue":{"value":{"amount":"+0.7605757713317871","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":"Q2176409$26CB9B96-9A15-4866-BFDE-30F3C29DA5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57dbe275b9dc78ab5e250464ea8d2965844f094a","datavalue":{"value":{"entity-type":"item","numeric-id":4916546,"id":"Q4916546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"235f61f4b41054883a7e031031068646a2569888","datavalue":{"value":{"amount":"+0.7463306784629822","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":"Q2176409$96EEE3EF-271E-4605-84E0-2E8CBDFB6FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be68a780d4a6e3f9c087ba9610c0f87fd56b2a9","datavalue":{"value":{"entity-type":"item","numeric-id":4286439,"id":"Q4286439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf1363fc7d16ac64b82052778e7641d2ca42c7b2","datavalue":{"value":{"amount":"+0.7345115542411804","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":"Q2176409$37E8E124-7AA3-47DC-8CCF-FC71C46FA3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"750c39726c5c06470e640098cdad6a0a3755ea3a","datavalue":{"value":{"entity-type":"item","numeric-id":2849822,"id":"Q2849822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e0d511843107d39ba69b0b5ad8e0efab386409c","datavalue":{"value":{"amount":"+0.7334664463996887","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":"Q2176409$8411E579-04DE-4BDD-87EF-D1DD9F577BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e54a0a4bb67309ad8c0992ddbcc462b34f650c40","datavalue":{"value":{"entity-type":"item","numeric-id":5690904,"id":"Q5690904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e10fb776dd87e3fbabcd94907e8ac36e8c5c8ed7","datavalue":{"value":{"amount":"+0.7320461869239807","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":"Q2176409$DB7B2504-396D-4E9D-A0B2-B5184B1A6E6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2176409","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2176409"}}}}}