4月10日下午3-6点，高珂同学做了题为《On End Extension of Models of Subsystems of Peano Arithmetic》的报告。报告主要介绍了一阶算术子系统模型尾节扩张构造的历史背景，并从模型论和证明论的角度给出了构造尾节扩张的两种思路。讨论环节，老师同学们围绕报告中的证明细节，以及如何更好地做好技术性报告进行了热烈讨论。