Translator Disclaimer
Winter 1992 Interpretability of Robinson arithmetic in the ramified second-order theory of dense linear order.
A. P. Hazen
Notre Dame J. Formal Logic 33(1): 101-111 (Winter 1992). DOI: 10.1305/ndjfl/1093636012
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

JOURNAL ARTICLE
11 PAGES


SHARE
Vol.33 • No. 1 • Winter 1992
Back to Top