Speaker
Mengzhou Sun
National University of Singapore
Talks at this conference:
Thursday, 18:10, J330 
The KaufmannClote question on end extensions of models of arithmetic 
Authors: Mengzhou Sun, Tin Lok Wong and Yue Yang A general question in the model theory of arithmetic is:
Efforts over the past four decades have revealed answers to this question for all the wellknown theories in arithmetic, i.e., the \(\Sigma_m\) induction schemes \(\mathrm I\Sigma_m\) and the \(\Sigma_m\) collection schemes \(\mathrm B\Sigma_m\), except the following instance.
We present a positive answer to the Kaufmann–Clote question. The proof consists of a secondorder ultrapower construction based on a low basis theorem. We will also include a survey on the answers related to the general question above. Bibliography
