Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
5778112 | Annals of Pure and Applied Logic | 2017 | 12 Pages |
Abstract
For each aâÏÏ, we define a Baire class one function fa:ÏÏâÏÏ which encodes a in a certain sense. We show that for each Borel g:ÏÏâÏÏ, faâ©g=â
implies aâÎ11(c) where c is any code for g. We generalize this theorem for g in a larger pointclass Î. Specifically, when Î=Î21, aâL[c]. Also for all nâÏ, when Î=Î3+n1, aâM1+n(c).
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Dan Hathaway,