Pointwise definable substructures of models of Peano arithmetic

Roman Murawski. Pointwise definable substructures of models of Peano arithmetic. Notre Dame Journal of Formal Logic, 29(3):295-308, 1988. [doi]

Abstract

Abstract is missing.