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.

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2010-12-16, 04:37.