Reading Meeting 22: Absoluteness of Metamathematical results

Location: Science Park 904 (D1.116) [16:00-18:00]

Zoom: https://uva-live.zoom.us/j/87918877447

Absoluteness of Metamathematical results

Pablo is presenting the paper A Step Towards Absolute Versions of Metamathematical Results by Balthasar Grabmayr, which is followed by a discussion on relative versus absolute versions of metamathematical results and their relation to Gödel-codings.

Main Readings 

Grabmayr, B. A Step Towards Absolute Versions of Metamathematical Results. J Philos Logic 53, 247–291 (2024). https://doi-org.proxy.uba.uva.nl/10.1007/s10992-023-09731-6