2015 seminar talk: Around the definability of maximal eventually different families
Talk held by Asger Törnquist (University of Copenhagen, Denmark) at the KGRC seminar on 2015-11-26.
Abstract
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.