Disjoint Borel functions

作者:Hathaway Dan*
来源:Annals of Pure and Applied Logic, 2017, 168(8): 1552-1563.
DOI:10.1016/j.apal.2017.02.004

摘要

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

全文