1-like models of arithmetic

Roman Kossak. 1-like models of arithmetic. Notre Dame Journal of Formal Logic, 26(4):413-422, 1985. [doi]

Abstract

Abstract is missing.