Abstract

If F ⊆ NN is an analytic family of pairwise eventually different functions then the following strong maximality condition fails: For any countable H ⊆ NN. no member of which is covered by finitely many functions from F, there is f ∈ F such that for all h ∈ H there are infinitely many integers k such that f(k) = h(k). However if V = L then there exists a coanalytic family of pairwise eventually different functions satisfying this strong maximality condition