摘要
For each alpha is an element of (omega)omega, we define a Baire class one function f(alpha) : (omega)omega -> (omega)omega which encodes alpha in a certain sense. We show that for each Borel g : (omega)omega -> (omega)omega, f(alpha) boolean AND g = empty set
- 出版日期2017-8