Periodic Reporting for period 1 - SAIFIA (Strong Axioms of Infinity: Frameworks, Interactions and Applications)

 The revolutionary work of Cohen and Gödel on Hilbert’s First Problem led to the development of set-theoretic techniques that made it possible to show that various natural mathematical questions are not answered by the standard axiomatization of mathematics provided by the...