On end extensions of models of subsystems of peano arithmetic

Costas Dimitracopoulos. On end extensions of models of subsystems of peano arithmetic. Theoretical Computer Science, 257(1-2):79-84, 2001. [doi]

Abstract

Abstract is missing.