{"entities":{"Q444726":{"pageid":446493,"ns":120,"title":"Item:Q444726","lastrevid":61915335,"modified":"2026-04-11T02:32:08Z","type":"item","id":"Q444726","labels":{"en":{"language":"en","value":"Canonizing certain Borel equivalences for Silver forcing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6066680"}},"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":"Q444726$EE39CFE0-A986-4391-8DAD-89A3F1E2C4D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2a83c05a58a14135add4aa4e078602f2b17424a","datavalue":{"value":{"text":"Canonizing certain Borel equivalences for Silver forcing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q444726$1BA9E685-E6F7-48E5-87DF-4A966609F846","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eaa6f18fdd187289aa220152d08231693a91f12b","datavalue":{"value":"1263.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444726$A98371A0-0000-4789-BD26-9C3DBAE6C223","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5a4abf22741191c4ab0ad188a1588597f559fd5","datavalue":{"value":{"entity-type":"item","numeric-id":305843,"id":"Q305843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444726$5727ECAF-88EB-409B-A0C9-62FD81E1AC96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444726$92AC0912-BC41-41AE-A87C-778B16631D90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d101fdedee8fe26942f59fda6716c1df8d9aaf9","datavalue":{"value":{"time":"+2012-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q444726$196DAB54-3E35-4A0A-8C48-027910A7CCF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444726$592F2CEB-12AC-4833-914D-635E75621308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444726$7F9C6D35-1274-43C7-94CF-F678F06A0DD9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a03df9ae163731514f77e051c2b6230568cb9022","datavalue":{"value":"6066680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444726$8E964F8D-6497-4A68-B65E-7BFF8763E212","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1afb0f0bcaf0e9dd05ae2cff2f0a02cd29931d0","datavalue":{"value":"Borel equivalence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q444726$EE889602-964E-439B-91A0-7A38327CF9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"634500955ad6d1cc85c9fbd17d78cf8c66f23e5a","datavalue":{"value":"Silver ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q444726$2865E7FC-F014-4176-89C1-8C271DF83BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e74ef930cf1b33deb4c79b23ba2c81d5202e9517","datavalue":{"value":"canonical Ramsey theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q444726$4D17AAE4-4739-447D-9CC4-428C9A4A8CB3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6d0094b469a5abe644fb1b3010d79c511e466b4d","datavalue":{"value":{"entity-type":"item","numeric-id":535155,"id":"Q535155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444726$1335EE01-6AEA-4657-9DFA-52066C11692A","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":"Q444726$E2207BC7-004D-429D-A338-3E5F1CD4DB85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15e005b5db4474a1c309cd7249bf47706d9969db","datavalue":{"value":"https://doi.org/10.1016/j.topol.2012.05.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q444726$B38DF112-C629-4237-B67A-FF07EDBB3B42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce20bf225ef31ec3364e7aa3e59e95f78afc2a83","datavalue":{"value":"W2078372635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444726$FA5C9F76-30E0-4E70-88E2-462BDC03B280","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"579d5bc828d41a5507adb489507cb589633a8aa1","datavalue":{"value":{"entity-type":"item","numeric-id":4093444,"id":"Q4093444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444726$EBAD71BB-3ED7-4276-80F5-8094723496EE","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":"Q444726$29876561-7C11-4210-AFB9-F8482330FAC8","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":"Q444726$27DF4B80-EDA3-419D-89CA-5D841EABCFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6525ce7196c420946e34e96a24e6c274b1023a4d","datavalue":{"value":{"entity-type":"item","numeric-id":1304540,"id":"Q1304540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444726$9C4CB591-9641-4B99-A7A8-8B61FAFEA45F","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":"Q444726$E2662D03-A9AD-4D25-AB55-EA069735E83A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd3807033fd46498eda21fa20d701c4d7c8fa19b","datavalue":{"value":"10.1016/J.TOPOL.2012.05.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444726$587B7133-446F-416F-814A-B48DB4A19E0A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"049855402c453d7c515defe054219dce73b793fe","datavalue":{"value":"The author studies Borel equivalence relations with connection to Silver forcing.NEWLINENEWLINEHe proves the following result. Assume that if \\(E\\subseteq B^2\\) is a Borel equivalence relation, where \\(B\\) is a condition in the Silver forcing, and \\(E\\leq_B E_2\\), i.e., there is a Borel function \\(f:B\\rightarrow 2^\\omega\\) such that \\((\\forall x,y\\in B)(xEy\\leftrightarrow \\sum\\left\\{\\frac{1}{n+1}:\\;f(x)(n)\\neq f(y)(n)\\right\\}<\\infty)\\). Then there is a Silver condition \\(C\\subseteq B\\) such that one of the following holds:NEWLINENEWLINE1. \\(E\\upharpoonright C=C^2\\),NEWLINENEWLINE2. \\(E\\upharpoonright C\\) is a subset of \\(E_0\\) (\\(xE_0 y\\leftrightarrow \\{n:\\;x(n)\\neq y(n)\\}\\) is finite).NEWLINENEWLINEMoreover, the same conclusion is true for \\(E=E_{\\mathcal I}\\) for \\(F_\\sigma\\) P-ideal \\(\\mathcal I\\) and for \\(E=l^p\\) for \\(p\\in [1,\\infty)\\), where \\(x l^p y\\leftrightarrow x-y\\in l^p\\).NEWLINENEWLINEOn the other hand, the conclusion does not hold for \\(E=l^{\\infty}\\).NEWLINENEWLINEIn the second part of the paper, the author shows that there are perfectly many essentially different non-homogenous subequivalences of \\(E_0.\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q444726$5C3DA914-1ED6-4F22-9382-265A1AE83CD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ccc2d80be5930b12aec1b05a95f36c4d5abccdd","datavalue":{"value":{"entity-type":"item","numeric-id":2921014,"id":"Q2921014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c40d4e8216e74099e2c7b8eadb66f158e8c5aa0","datavalue":{"value":{"amount":"+0.8054311275482178","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":"Q444726$D6637C9D-F447-4055-A7BF-D43E2FD480BE","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":"0b3758dbda0f3574ecac60b72a509c565aab8c5a","datavalue":{"value":{"amount":"+0.798439085483551","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":"Q444726$93321868-ACDD-4D9E-B106-50BE59875E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eea4b3aeee57c493d5ec46fb8345ae910e3d777","datavalue":{"value":{"entity-type":"item","numeric-id":5501775,"id":"Q5501775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a9a96026d0c8df83aac9ef9bc9abd4a91162342","datavalue":{"value":{"amount":"+0.7778894901275635","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":"Q444726$7883CF71-379E-4E27-B1B3-537B59BF634B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"008344ffaf4ed373ce37915c730a0b1e8299c9e1","datavalue":{"value":{"entity-type":"item","numeric-id":636325,"id":"Q636325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87adb9a5bbc8609c460e7628b1d84f23b3c40b40","datavalue":{"value":{"amount":"+0.768433690071106","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":"Q444726$C0AE429B-3667-43AA-B039-90FAD773601A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ca1b81f7e057d6bc1bded2852e3826647974733","datavalue":{"value":{"entity-type":"item","numeric-id":4694281,"id":"Q4694281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9491a4a9f8effb5c62020be2d860b9a6c767c52a","datavalue":{"value":{"amount":"+0.7659480571746826","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":"Q444726$F67E7B99-4C3B-412B-A123-525A7A6EC4B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Canonizing certain Borel equivalences for Silver forcing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Canonizing_certain_Borel_equivalences_for_Silver_forcing"}}}}}