Disjoint Borel functions

Abstract: For each

a i n m a t h b b R

, we define a Borel function

f_{a} : m a t h b b R o m a t h b b R

which encodes

a

in a certain sense. We show that for each Borel

g : m a t h b b R o m a t h b b R

,

f_{a} c a p g = e m p t y s e t

implies

a i n D e l t a_{1}^{1} (c)

where

c

is any code for

g

. We generalize this theorem for

g

in larger pointclasses

G a m m a

. Specifically, if

G a m m a = m a t h b f {D e l t a}_{2}^{1}

, then

a i n L [c]

. Also for all

n i n o m e g a

, if

G a m m a = m a t h b f {D e l t a}_{3 + n}^{1}

, then

a i n m a t h c a l M_{1 + n} (c)

.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Disjoint Borel functions