{"entities":{"Q1934388":{"pageid":1945130,"ns":120,"title":"Item:Q1934388","lastrevid":69508110,"modified":"2026-04-13T07:28:26Z","type":"item","id":"Q1934388","labels":{"en":{"language":"en","value":"A trichotomy for a class of equivalence relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6131922"}},"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":"Q1934388$45D235C0-B52A-40BE-8E68-43DE194FA4EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8e87f31d55c99ab71bb896379a4928146c61e3b","datavalue":{"value":{"text":"A trichotomy for a class of equivalence relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1934388$D1A614BC-A369-4D0B-BD09-B13324D56DB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bef24253471448a8e75b1438ae6e7efb03a6febd","datavalue":{"value":"1291.03087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934388$9C61724E-66AD-4860-8F2C-2BD6CA239044","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d3b847c961e3eda70796335b98f1157bcb2f59c2","datavalue":{"value":{"entity-type":"item","numeric-id":283041,"id":"Q283041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934388$D5D0C872-2CA8-4078-A500-CF8B4669CABC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab088451157c933b8b5d1688c69e028b7366511b","datavalue":{"value":{"time":"+2013-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1934388$DE2898E2-033A-4A15-ACD3-E45542A1DEB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1833125c44159135e2281214fb46221f0b09c91f","datavalue":{"value":"https://arxiv.org/abs/1001.0834","type":"string"},"datatype":"url"},"type":"statement","id":"Q1934388$00A10696-963A-48CE-A5EF-0219128BC0B1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0f4a499fdb1b7cea0d38de7d62e8a92db8cc4015","datavalue":{"value":"Given a sequence \\((X_n)_{n\\in\\mathbb{N}}\\) of nonempty sets and functions \\(\\psi_n:X_n^2\\to\\mathbb{R}^+\\), the author defines the relation \\(E=E((X_n,\\psi_n)_{n\\in\\mathbb{N}})\\) on \\(\\prod_{n\\in\\mathbb{N}}X_n\\) as follows: for \\(x,y\\in\\prod_{n\\in\\mathbb{N}}X_n\\) we have \\(x\\mathrel{E}y\\) if \\(\\sum_n \\psi_n(x(n),y(n))<\\infty\\). In general, this relation need not be an equivalence relation but the class of relations of this form includes the equivalence relations \\(E_{\\ell_p}\\) defined from the cosets of \\(\\ell_p\\) in \\(\\mathbb{R}^\\mathbb{N}\\). The results of this paper are motivated by a question of Kanovei which asks if every Borel equivalence relation Borel-reducible to \\(E_{\\ell_1}\\) is either Borel bi-reducible with \\(E_{\\ell_1}\\) or Borel-reducible to \\(E_0\\). The main result of this paper (Theorem 2.10) is a trichotomy which states that if \\(E=E((X_n,\\psi_n)_{n\\in\\mathbb{N}})\\) as above is a Borel equivalence relation, then either \\(E\\leq_B E_0\\), or \\(E_{\\ell_1}\\leq_B E\\), or \\(E_1\\leq_B E\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1934388$E6F01C26-6F9C-47D0-B905-896445668CCC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"728a8cdbee3b5ddd9c6d02b126f15d03c351cefe","datavalue":{"value":{"entity-type":"item","numeric-id":295799,"id":"Q295799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934388$9C134594-9A4C-4A9F-AB05-00FAA6C53092","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934388$7B7493BF-DD91-4E32-B49A-BA5EE5FE1D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934388$5C124256-899E-4E52-BEF9-9E57229282D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"881034bb74f055d31de0653f88db9c5273000b03","datavalue":{"value":"6131922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934388$1318450C-B30E-4BD4-9765-2071367FAD5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9330abe130451586665a92b0ac2207e1fbd65df8","datavalue":{"value":"Borel reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1934388$AFE6E2E3-C58C-4481-AEF8-7FC02DA8DF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd7884f20c8f87422bbc52076fab6a08675c0a24","datavalue":{"value":"equivalence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1934388$8CA92710-0397-4D91-B6D3-4CF322B7F181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80fb3ef3c6568af94019de72e7751c4d2f8e11e6","datavalue":{"value":"metrization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1934388$49050520-E313-49DA-81A3-98801BD537DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7e78202f9b8b251bd6f181cfd8e634f60039f30","datavalue":{"value":{"entity-type":"item","numeric-id":375691,"id":"Q375691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934388$296B7A3A-71C5-46F3-8333-FFA0936D3C5E","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":"Q1934388$73AA23EB-E42E-4298-918D-7163D55E1E94","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd53e0d1b96f6f3a15f1297683eaed3069cb83a8","datavalue":{"value":"W2057672399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934388$3393F4C2-ED23-4E60-9BDD-10DB6E0835D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"215560dc8a5c8549e5ab201e2200cb4ef1916a12","datavalue":{"value":{"entity-type":"item","numeric-id":716497,"id":"Q716497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934388$F1846689-3D5E-4DE6-9319-4C72E4C677BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f93db272308483ad8a95381cd100e3afc0a153","datavalue":{"value":{"entity-type":"item","numeric-id":4235613,"id":"Q4235613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934388$FC09C7A8-7032-4693-B5B3-7D3A392BFC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40753e2963d33d5fe3495ad010e48b7935bc770b","datavalue":{"value":{"entity-type":"item","numeric-id":3525843,"id":"Q3525843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934388$4DBB9AC4-B2A8-4946-A79F-49BE3B923318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7c0f6f7575a65a2e6984bf3bd5ec3409e594b12","datavalue":{"value":{"entity-type":"item","numeric-id":3971678,"id":"Q3971678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934388$B3E75BBC-296C-4743-BED8-F06931F59CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b396b56c4f87b2818b61d47589748398102e9ee6","datavalue":{"value":{"entity-type":"item","numeric-id":4953228,"id":"Q4953228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934388$4E8D6280-1E8F-4CA7-9393-5A6ADD59C91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f4f298665a5cfe8c3e0c73232963d2acdc093c6","datavalue":{"value":{"entity-type":"item","numeric-id":4372923,"id":"Q4372923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934388$D3CFA9A2-AAF9-4E5E-918E-1940359DE686","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":"Q1934388$85A2E134-BD2F-427C-814C-3812375840FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cf0cc4a4e392a584e97ca9be4b1b90e2a523019","datavalue":{"value":{"entity-type":"item","numeric-id":5690904,"id":"Q5690904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934388$4780A8F4-1273-40F4-B1F5-CE41C1A244BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1c599a3eafb7586ad342d26643fbc3294d268d4","datavalue":{"value":{"entity-type":"item","numeric-id":3256501,"id":"Q3256501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1934388$4BC0340F-D5F8-4B27-A33A-A01F8A1CF88E","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":"Q1934388$9EFE7C24-ABC4-4A98-A6A5-9B7304A2AF64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8dfef5bd6f643cd1137b5fa8cb12369300c0f382","datavalue":{"value":"10.1007/S11425-012-4433-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1934388$7F6DE2DB-F7CF-4BAB-B692-D6F5F100F4C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d639f13768c0411b99408c300535bc24363d94a","datavalue":{"value":{"entity-type":"item","numeric-id":3752445,"id":"Q3752445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43bb83a37182f56ba204629cd21febc240474abb","datavalue":{"value":{"amount":"+0.8922957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1934388$7D6EF58E-74DA-4C7E-A9FA-B2915AC0206C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd2eb82ccb6f2a02424d79486035e4e1aebc7ddf","datavalue":{"value":{"entity-type":"item","numeric-id":2204368,"id":"Q2204368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adb5a92888cb16f8dd983a244a97559cdbb1b4fe","datavalue":{"value":{"amount":"+0.8875143","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1934388$12D0A071-6BF7-49D3-B964-0D13CDC5EC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5b6ee6c165b89e50f7af30f03f5edd26b4cd6b5","datavalue":{"value":{"entity-type":"item","numeric-id":1182704,"id":"Q1182704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aea7d0ca108228a1772ec461eb638f031816567a","datavalue":{"value":{"amount":"+0.88064164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1934388$C291633E-F459-4ABA-A623-FD24774B674E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50e1f54843281ec3b044280613d4f0cf1f7ccf80","datavalue":{"value":{"entity-type":"item","numeric-id":3777503,"id":"Q3777503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c995058eb9162dc489b915bcd3dda4748a8648f3","datavalue":{"value":{"amount":"+0.87671566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1934388$3546E9B0-FCC2-4F41-A35B-BD4DB64293A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba3d12a7b1ddefd1ec8bd38bedac1ef1a62d5602","datavalue":{"value":{"entity-type":"item","numeric-id":3373443,"id":"Q3373443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e0dbfb25c3ad34adc78ead7ab6dfb1bccc8c98","datavalue":{"value":{"amount":"+0.8766836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1934388$E7863E89-2032-479F-8213-D145F5A13C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfd28b300153bbba9303dbe0dd2a330a8b6178fb","datavalue":{"value":{"entity-type":"item","numeric-id":5081953,"id":"Q5081953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30ec310da0344fc68c84d22378a67af835c20e47","datavalue":{"value":{"amount":"+0.87559974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1934388$D4051ACB-2B5B-4D98-B75D-F6CED9916F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b083a88fee7722590b7cc6dc08aaf57b0d779d8","datavalue":{"value":{"entity-type":"item","numeric-id":3800019,"id":"Q3800019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe0eccbeb29614bbfd262cf747ec44a49b48cba3","datavalue":{"value":{"amount":"+0.8687297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1934388$9C63524A-237A-4057-9021-A171FAD88A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbff91a9b1356cc7592795ab35ea2625e909c9ed","datavalue":{"value":{"entity-type":"item","numeric-id":1970925,"id":"Q1970925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bdc6fcf2cc15d8eaccc50525836033d0fa947bc","datavalue":{"value":{"amount":"+0.8599865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1934388$8F28B3DE-5DCD-421B-8630-DED496885862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c538e59f487af7fc065a0896cc9414097260fa17","datavalue":{"value":{"entity-type":"item","numeric-id":3576052,"id":"Q3576052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a791677f77a869dc37bf812fc0dca8a17a05b7a9","datavalue":{"value":{"amount":"+0.8596722","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1934388$8DC1E765-73DF-4494-A179-341C3BD968B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"761f38c4efe3575dacae10eccff0045b68f4a89c","datavalue":{"value":{"entity-type":"item","numeric-id":4805567,"id":"Q4805567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5615a8bb81bcb52bb46fac3bbef0f86f39178deb","datavalue":{"value":{"amount":"+0.85955137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1934388$10C029BE-7498-415D-B679-3E54B2C0924D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A trichotomy for a class of equivalence relations","badges":[]}}}}}