Periodic Reporting for period 1 - Philosophy Forcing (Forcing in Contemporary Philosophy of Set Theory)

This project is situated in the interdisciplinary field of research of the foundations of mathematics. Here we study the possibility of finding a comprehensive basis for mathematics working with mathematical and philosophical methods. In particular this project studies the...