On nice equivalence relations on ^ 2

DOI10.1007/S00153-003-0183-1zbMATH Open1081.03053arXivmath/0009064OpenAlexW2063887231MaRDI QIDQ1879002FDOQ1879002

Authors: S. Shelah 

Publication date: 22 September 2004

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Abstract: The main question here is the possible generalization of the following theorem on ``simple equivalence relation on 2^omega to higher cardinals. Theorem: (1) Assume that: (a) E is a Borel 2-place relation on 2^omega, (b) E is an equivalence relation, (c) if eta, nu in 2^omega and (exists ! n)(eta(n) not= nu(n)), then eta, nu are not E --equivalent. Then there is a perfect subset of 2^omega of pairwise non E-equivalent members. (2) Instead of ``E is Borel, ``E is analytic (or even a Borel combination of analytic relations) is enough. (3) If E is a Pi^1_2 relation which is an equivalence relation satisfying clauses (b)+(c) in V^Cohen, then the conclusion of (1) holds.

Full work available at URL: https://arxiv.org/abs/math/0009064

Recommendations

• On \(\ell^P\)-like equivalence relations
• ON THE DEFINITION OF L²-BETTI NUMBERS OF EQUIVALENCE RELATIONS
• On \(\Delta_2^0\)-categoricity of equivalence relations
• A note on equivalence relations \(\ell_p(\ell_q)\)
• On Σ¹ ₁ equivalence relations over the natural numbers
• Two Aspects of the Relative λ-Invariant
• On \(c\)-equivalence
• \(\ell^2\) invariants of equivalence relations and groups
• On \(2\)-\(\lambda\)-nuclearity maps

zbMATH Keywords

ExtAbelian groupgeneralized descriptive set theoryuncountable cardinalsdefinable equivalence relationcountable cofinalityuncountable cofinalityperfect sets of pairwise non-equivalence

Mathematics Subject Classification ID

Consistency and independence results (03E35) Torsion-free groups, infinite rank (20K20) Other notions of set-theoretic definability (03E47) Extensions of abelian groups (20K35)

Cited In (6)

• A parallel to the null ideal for inaccessible \(\lambda\). I
• Logical dreams
• Title not available (Why is that?)
• Souslin quasi-orders and bi-embeddability of uncountable structures
• Labelling classes by sets
• On equivalence relations second order definable over H(κ)

This page was built for publication: On nice equivalence relations on \(^\lambda 2\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1879002)