{"entities":{"Q2428814":{"pageid":2439557,"ns":120,"title":"Item:Q2428814","lastrevid":51450851,"modified":"2026-01-18T07:23:26Z","type":"item","id":"Q2428814","labels":{"en":{"language":"en","value":"Pinned equivalence relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6026577"}},"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":"Q2428814$AC545A8B-FCA0-4BF4-993E-CF4995D080C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c8c42a8013256d4acdf5f8aada3f4166e243760","datavalue":{"value":{"text":"Pinned equivalence relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2428814$8DDACA1F-A987-4D65-B960-9699F67D7879","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd4889db5b46726a2f5c08c700f63a2fa5467b69","datavalue":{"value":"1248.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2428814$6BDC2668-3F7B-4A7B-B7EB-8C9DFA288939","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1b8637df5752d6ad3ef5d976c2fe29858b6e06b","datavalue":{"value":{"entity-type":"item","numeric-id":171180,"id":"Q171180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428814$258F29B4-07A3-4497-B755-B613B1EF527D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82759f7bd5d339c54aa2233fde0d7f5ffae8b2c0","datavalue":{"value":{"entity-type":"item","numeric-id":170810,"id":"Q170810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2428814$0B467800-06AE-4FEC-B9D7-BA37E82DEA32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dcdb163e1ba2deecca83db18c4c80a0964e7fb0d","datavalue":{"value":{"time":"+2012-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2428814$7273403D-2DDD-4C18-A5FA-5E79AEDD6FF0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a578ba083ff9fcae059f44123e5e3fd30a01a07d","datavalue":{"value":"In this very elegant paper the author answers a question of Kechris about pinned equivalence relations by showing that \\(F_2\\) is not the smallest unpinned equivalence relation. Recall that a Borel equivalence relation \\(E\\) on a Polish space \\(X\\) is \\textit{unpinned} if there is a forcing notion \\(P\\) and a \\(P\\)-name \\(\\dot x\\) for an element of \\(X\\) such that \\(P\\times P\\) forces the left and the right evaluations of \\(\\dot x\\) to be \\(E\\)-equivalent and \\(P\\) forces that \\(\\dot x\\) is not \\(E\\)-equivalent to any ground model element of \\(X\\). An equivalence relation is \\textit{pinned} if it is not unpinned. Recall also that \\(F_2\\) is the equivalence on \\((2^\\omega)^\\omega\\) with \\((x_n:n<\\omega)F_2(y_n:n<\\omega)\\) if \\(\\{x_n:n<\\omega\\}=\\{y_n:n<\\omega\\}\\). It is well known that \\(F_2\\) is unpinned and the class of unpinned equivalence relations is closed upwards in the Borel reducibility order. Kechris asked whether unpinned equivalence relations are exactly those which are above \\(F_2\\) in the Borel reducibility order.  The author answers this question in the negative by showing that there is a Borel set \\(Y\\subseteq(2^\\omega)^\\omega\\) such that \\(F_2\\restriction Y\\) is unpinned and strictly below \\(F_2\\) in the Borel reducibility order. The set \\(Y\\) is defined as the set of those sequences in \\((2^\\omega)^\\omega\\) which form a clique in a certain Borel (\\(F_\\sigma\\)) graph \\(G\\subseteq 2^\\omega\\). The graph \\(G\\) has the property that there is an uncountable clique in \\(G\\) but there is no clique of cardinality \\(\\aleph_2\\) (no matter what the continuum is). Such a graph was constructed in ZFC by \\textit{W. Kubi\u015b} and \\textit{S. Shelah} [``Analytic colorings'', Ann. Pure Appl. Logic 121, No. 2--3, 145--161 (2003; Zbl 1022.03026)] and a particularly simple construction was given by \\textit{W. Kubi\u015b} and \\textit{B. Vejnar} [``Covering an uncountable square by countably many continuous functions'', Proc. Am. Math. Soc. 140, No. 12, 4359--4368 (2012)]. The point is that such a graph cannot have a perfect clique. The author proves that if \\(G\\) is a Borel graph on \\(2^\\omega\\), \\(Y\\) is the set of those sequences in \\((2^\\omega)^\\omega\\) which form a clique in \\(G\\) and \\(E_G=F_2\\restriction Y\\), then (i) the equivalence relation \\(E_G\\) is unpinned if and only if \\(G\\) has an uncountable clique (Claim 3.1), (ii) \\(F_2\\) is Borel-reducible to \\(E_G\\) if and only if \\(G\\) has a perfect clique (Claim 3.2).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2428814$9EF6EC26-582F-45D9-AC22-530F4440D4B0","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":"Q2428814$0B6E3D36-90AF-4C07-A952-A4DF97CBE503","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2428814$C3C7CD25-BB32-495C-9741-ECE45C4A7E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2428814$D863CD4E-AEDA-4070-9084-4EB98F45E316","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0984a607fe751f843a161b11d7d8af94988d2f0c","datavalue":{"value":"6026577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2428814$5DD30768-C52E-46EB-8484-C09B0CD13CC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"291798b2cd324842ead820925edeff3cb454b9cf","datavalue":{"value":"Borel equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2428814$C00DD7F2-55E2-49F7-A01A-A0DEB856729F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21667c05c0355e23ada1d70598d587285943a6c1","datavalue":{"value":"pinned equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2428814$5DE61557-F776-4D07-AE2B-931F2E384B00","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":"Q2428814$7100EC2C-A80C-46B9-8227-84BF3D4B77F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5fea48bb810822676e11187215b31b8bc2087ca3","datavalue":{"value":"10.4310/MRL.2011.V18.N3.A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2428814$24F398EF-E8DD-42C1-A4FE-967BD2B079DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc38e2256213a24a4d9901ee7148b4a23874b0fa","datavalue":{"value":{"entity-type":"item","numeric-id":3529420,"id":"Q3529420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728089b9ea1a5113432766f39795107ca04717d1","datavalue":{"value":{"amount":"+0.7750149369239807","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":"Q2428814$12C1DCBC-33E5-40A1-9211-126B1BB3701C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eefb8a6ee95545e077e52b44537520527d067b3c","datavalue":{"value":{"entity-type":"item","numeric-id":412067,"id":"Q412067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36d560106d8adf561dbd345ca4974c5c07ea5b92","datavalue":{"value":{"amount":"+0.7434494495391846","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":"Q2428814$817740C5-0D45-4D59-ABAB-8CD4760FDA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b2eb8452c7b846c6b52cbeb0da421a77f0f57b4","datavalue":{"value":{"entity-type":"item","numeric-id":5718699,"id":"Q5718699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5179036ee2472e1c41b73c23ce37ffe200ca2b6","datavalue":{"value":{"amount":"+0.7406447529792786","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":"Q2428814$1176C69B-94EF-457B-BE72-359791F5E245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f797149575d264b5bb6137ba3860a7a9a14f3dc","datavalue":{"value":{"entity-type":"item","numeric-id":1001452,"id":"Q1001452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f89a006ceab04579a43d41bd66d90e778d0be54b","datavalue":{"value":{"amount":"+0.7324711680412292","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":"Q2428814$E8AC2B9D-A6D9-4F3B-B94F-DEEEF4848F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db73ff0e0f0faa9ad7c79f3faeede2003d032222","datavalue":{"value":{"entity-type":"item","numeric-id":4522448,"id":"Q4522448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f88b257259c8b412936c313aa32588d497b5ebe1","datavalue":{"value":{"amount":"+0.7310773730278015","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":"Q2428814$4D5EF8B1-3553-4BAC-8884-4C0E47E09C3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2428814","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2428814"}}}}}