Israel Journal of Mathematics

, Volume 89, Issue 1–3, pp 343–356

Approximation of analytic by Borel sets and definable countable chain conditions

Article
  • 78 Downloads

Abstract

LetI be a σ-ideal on a Polish space such that each set fromI is contained in a Borel set fromI. We say thatI fails to fulfil theΣ11 countable chain condition if there is aΣ11 equivalence relation with uncountably many equivalence classes none of which is inI. Assuming definable determinacy, we show that if the family of Borel sets fromI is definable in the codes of Borel sets, then eachΣ11 set is equal to a Borel set modulo a set fromI iffI fulfils theΣ11 countable chain condition. Further we characterize the σ-idealsI generated by closed sets that satisfy the countable chain condition or, equivalently in this case, the approximation property forΣ11 sets mentioned above. It turns out that they are exactly of the formMGR(F)={A : ∀FFAF is meager inF} for a countable family F of closed sets. In particular, we verify partially a conjecture of Kunen by showing that the σ-ideal of meager sets is the unique σ-ideal onR, or any Polish group, generated by closed sets which is invariant under translations and satisfies the countable chain condition.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [B]
    H. Becker,The topological Vaught’s conjecture and minimal counterexamples, Journal of Symbolic Logic59 (1994).Google Scholar
  2. [BBH]
    M. Balcerzak, J.E. Baumgartner and J. Hejduk,On certain σ-ideals of sets, Real Analysis Exchange14 (1988–89), 447–453.MathSciNetGoogle Scholar
  3. [BU]
    J. Burgess,Effective enumeration of classes of a Σ11 equivalence relation, Indiana University Mathematics Journal28 (1979), 353–364.MATHCrossRefMathSciNetGoogle Scholar
  4. [K]
    A.S. Kechris,AD and projective ordinals, inCabal Seminar 76–77, Springer-Verlag, Berlin-Heidelberg-New York, 1978, pp. 91–132.CrossRefGoogle Scholar
  5. [K1]
    A.S. Kechris,Classical Descriptive Set Theory, Springer-Verlag, Berlin, 1995.MATHGoogle Scholar
  6. [KLW]
    A.S. Kechris, A. Louveau and W.H. Woodin,The structure of σ-ideals of compact sets, Transactions of the American Mathematical Society301 (1987), 263–288.MATHCrossRefMathSciNetGoogle Scholar
  7. [KW]
    A.S. Kechris and W.H. Woodin,Equivalence of partition properties and determinacy, Proceedings of the National Academy of Sciences of the United States of America80 (1983), 1783–1786.MATHCrossRefMathSciNetGoogle Scholar
  8. [KU]
    K. Kunen,Random and Cohen reals, inHandbook of Set-Theoretic Topology, Elsevier Science Publishers, 1984, pp. 887–911.Google Scholar
  9. [M]
    R.D. Mauldin,The Baire order of the functions continuous almost everywhere, Proceedings of the American Mathematical Society41 (1973), 535–540.MATHCrossRefMathSciNetGoogle Scholar
  10. [M1]
    R.D. Mauldin, personal communication.Google Scholar
  11. [S]
    J.H. Silver,Counting the number of equivalence classes of Borel and coanalytic equivalence relations, Annals of Mathematical Logic18 (1980), 1–28.MATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Hebrew University 1995

Authors and Affiliations

  1. 1.Department of Mathematics 253-37California Institute of TechnologyPasadenaUSA

Personalised recommendations