Analytic and coanalytic families of almost disjoint functions

If F N N is an analytic family of pairwise eventually different functions then the following strong maximality condition fails: For any countable H N N, 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.

• Type: Journal
• Year: 2008
• Where: JSYML
• Authors: Bart Kastermans, Juris Steprans, Yi Zhang 0008
• Keywords: Analytic Family, Finitely Many, JSYML 2008, Strong Maximality Condition