End Extensions of Models of Weak Arithmetic Theories. - Costas Dimitracopoulos; Vasileios S. Paschalis (Notre Dame J. Formal Log., 2016)

End extensions of models of fragments of PA. - Costas Dimitracopoulos; Vasileios S. Paschalis (Arch. Math. Log., 2020)