On the existence of an analytic set meeting each compact set in a Borel set
Published online by Cambridge University Press: 24 October 2008
Extract
C. A. Rogers and J. E. Jayne have asked whether, given a Polish space and an analytic subset A of
which is not a Borel set, there is always a compact subset K of
such that, A ∩ K is not Borel. In this paper we give both a proof, using Martin's axiom and the negation of the continuum hypothesis, of and a counter-example, using the axiom of constructibility, to the conjecture of Rogers and Jayne, which set theory with the axiom of choice is thus powerless to decide.
- Type
- Research Article
- Information
- Mathematical Proceedings of the Cambridge Philosophical Society , Volume 84 , Issue 1 , July 1978 , pp. 5 - 10
- Copyright
- Copyright © Cambridge Philosophical Society 1978
References
REFERENCES
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20151029095306106-0481:S0305004100054815_inline1.gif?pub-status=live)
- 3
- Cited by