The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle

Mengzhou Sun

We investigate the end extendibility of models of arithmetic with restricted elementarity. By utilizing the restricted ultrapower construction in the second-order context, for each…