Building on the momentum of the "Scriptorium" retreat, The Forum expands the conversation from the specific breakthroughs of the Cholak-Carlucci collaboration to the broader frontiers of mathematical logic. While the initial two weeks will seed the discussion with fresh conjectures and proof-theoretic obstacles, the primary focus of this symposium is the general advancement of Reverse Mathematics.
The Forum is designed to tackle the field's most pressing open questions—ranging from the strength of Ramsey-type theorems to the fine structure of the "Reverse Mathematics Zoo." True mathematical progress requires more than just presenting papers; it requires the dynamic scrutiny of the community. In the spirit of the "blackboard-first" philosophy, this event prioritizes face-to-face collaboration alongside formal lectures. It serves as a vital public square where general results are debated, new collaborations are forged, and the institutional bridge between Notre Dame, Sapienza University of Rome, and the wider Italian mathematical logic community is solidified through shared discovery.
Originally published at rome.nd.edu.