IMPERFECTINFORMATION.NET

A simple Java applet demonstrating co-evolution and mimicry in a point-and-click game... Characterizing downwards closed, strongly first order, relativizable dependencies. Journal of Symbolic Logic, 2019... Listen to me talk about indecibility and the continuum hypothesis for OggiScienza (Italian language)