On Horowitz and Shelah's Borel maximal eventually different family
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
We give an exposition of Horowitz and Shelah’s proof that there exists an effectively Borel maximal eventually different family (working in ZF or less) and announce two related theorems.
| Original language | English |
|---|---|
| Title of host publication | Infinite Combinatorics and Forcing Theory |
| Editors | Teruyuki Yorioka |
| Number of pages | 7 |
| Publisher | Research Institute for Mathematical Sciences, RIMS, Kyoto University |
| Publication date | 2017 |
| Pages | 99-106 |
| Publication status | Published - 2017 |
| Series | RIMS Kôkyûroku |
|---|---|
| Number | 2042 |
Links
- http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/2042-08.pdf
Final published version
ID: 189671175