F_ equivalence relations and Laver forcing

DOI10.1017/JSL.2013.32MaRDI QIDQ2921014zbMATH OpenOpenAlexFDO

Authors Michal Doucha

Publication date 30 September 2014

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

Borel equivalence relationscanonical Ramsey theoremLaver ideal

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Descriptive set theory (03E15)

Abstract: Following the topic of the book Canonical Ramsey Theory on Polish Spaces by V. Kanovei, M. Sabok and J. Zapletal we study Borel equivalences on Laver trees. Here we prove that equivalence relations Borel reducible to an equivalence relation on $2^{o}mega$ given by some $F_{s}igma$ $P$-ideal on $omega$ can be canonized to the full equivalence relation or to the identity relation. This has several corollaries, e.g. Silver type dichotomy for the Laver ideal and equivalences Borel reducible to equivalence relations given by $F_{s}igma$ $P$-ideals.

Recommendations

• Canonizing certain Borel equivalences for Silver forcing
• scientific article; zbMATH DE number 2152686
• EQUIVALENCE RELATIONS WHICH ARE BOREL SOMEWHERE
• Borel equivalence relations. Structure and classification
• Canonical Ramsey theory on Polish spaces

Cites work

• Analytic ideals and their applications
• Canonical Ramsey theory on Polish spaces
• Forcing idealized

Cited in

(6)

• scientific article; zbMATH DE number 1004347 (Why is no real title available?)
• scientific article; zbMATH DE number 5354041 (Why is no real title available?)
• Canonizing certain Borel equivalences for Silver forcing
• The relative consistency of g < cf(Sym(ω))
• A modification of Louveau and Velickovic’s construction for 𝐹_{𝜎}-ideals
• \(\Sigma^ n_ 0\)-equivalence relations

This page was built for publication: \(F_{\sigma}\) equivalence relations and Laver forcing

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