|
Organizers |
Hyperimmune-free sets beyond w
by
CT Chong
National University of Singapore
Coauthors: Wei Wang
We report on recent work with Wei Wang. A set is hyperimmune-free if every function that it computes is majorized by a recursive function. We study the class of non-trivial hyperimmune-free sets in the general domain of admissible ordinals, and discuss existence/non-existence results as well as their connection with set-theoretic combinatorial principles.
Date received: April 14, 2008
Copyright © 2008 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cawo-25.