Finite Kripke models of ${\rm HA}$ are locally ${\rm PA}$.
Open Access
October 1986 Finite Kripke models of ${\rm HA}$ are locally ${\rm PA}$.
E. C. W. Krabbe, H. Mulder, A. Visser, D. van Dalen
Notre Dame J. Formal Logic 27(4): 528-532 (October 1986). DOI: 10.1305/ndjfl/1093636765
First Page PDF

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

Vol.27 • No. 4 • October 1986
Back to Top