On needed reals |
| |
Authors: | Email author" target="_blank">Heike?MildenbergerEmail author Saharon?Shelah |
| |
Institution: | 1.Institut für formale Logik,Universit?t Wien,Wien,Austria;2.Institute of Mathematics,The Hebrew University of Jerusalem,Jerusalem,Israel |
| |
Abstract: | Given a binary relationR, we call a subsetA of the range ofR R-adequate if for everyx in the domain there is someyεA such that (x, y)εR. Following Blass 4], we call a realη ”needed” forR if in everyR-adequate set we find an element from whichη is Turing computable. We show that every real needed for inclusion on the Lebesgue null sets,Cof(\(\mathcal{N}\)), is hyperarithmetic. Replacing “R-adequate” by “R-adequate with minimal cardinality” we get the related notion of being “weakly needed”. We show that it is consistent that the two notions do not coincide for the reaping relation. (They coincide in many models.) We show that not all hyperarithmetic reals are needed for the reaping relation. This answers some questions asked by Blass at the Oberwolfach conference in December 1999 and in 4]. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|