Dynamics Lunch: Uri Gabor (HUJI) "Finitary isomorphism and the Keane-Smorodinsky theorem"