A model of second-order arithmetic with the choice scheme in which Π 1/2

18.05.2017 16:00 - 18:00

Victoria Gitman (CUNY Graduate Center, New York, USA)

Organiser:

KGRC

 Verwandte Links