A while ago, I claimed that I could prove that no analytic eventually different family of functions from \(\omega\) to \(\omega\) can be maximal. Unfortunately, the proof contained a serious gap. In this talk, I will discuss a possible strategy for repairing the proof.
Around the definability of maximal eventually different families
26.11.2015 15:00 - 16:30
Organiser:
KGRC
Location:
SR 101, 2. St., Währinger Str. 25