End Extensions of Normal Models of Open Induction

David Marker. End Extensions of Normal Models of Open Induction. Notre Dame Journal of Formal Logic, 32(3):426-431, 1991.

Abstract

Abstract is missing.