May 14. 2018

Is there a difference in gaps between convergence and divergence in ZFC and PA?

<p>Peter Vojtáš, Department of Software Engineering,&nbsp;MFF UK</p>