Abstract:
This is a presentation of the results of the Mathematical Foundations discussion group: Pieter Adriaans, Patrick Allo, Corrado Boscarino, Giuseppe Primiero, Branislav Rovan, Janos Sarbo, Jeremy Seligman, Sebastian Sequoiah-Grayson and Johan van Benthem
