Cofinal extensions of nonstandard models of arithmetic.
C. Smoryński
Source: Notre Dame J. Formal Logic Volume 22, Number 2
(1981), 133-144.
First Page:
Show
Hide
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093883398
Zentralblatt MATH identifier: 0481.03045
Mathematical Reviews number (MathSciNet): MR611481
Digital Object Identifier: doi:10.1305/ndjfl/1093883398
Notre Dame Journal of Formal Logic
