A standard model of Peano arithmetic with no conservative elementary extension

Ali Enayat. A standard model of Peano arithmetic with no conservative elementary extension. Annals of Pure and Applied Logic, 156(2-3):308-318, 2008. [doi]

Abstract

Abstract is missing.