UF Special Year in Logic Renyi Institute of the Hungarian Academy of Sciences (HAS)Section for Mathematics Hungarian Academy of Sciences (HAS)