Finite kripke models of HA are locally PA

D. V. van Dalen, H. Mulder, E. C.W. Krabbe, A. Visser

Research output: Contribution to journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	528-532
Number of pages	5
Journal	Notre Dame Journal of Formal Logic
Volume	27
Issue number	4
DOIs	https://doi.org/10.1305/ndjfl/1093636765
Publication status	Published - Oct 1986

Access to Document

@article{f62d98a5f9274cc0955d642bdf290e6a,

title = "Finite kripke models of HA are locally PA",

author = "{van Dalen}, {D. V.} and H. Mulder and Krabbe, {E. C.W.} and A. Visser",

year = "1986",

month = oct,

doi = "10.1305/ndjfl/1093636765",

language = "English",

volume = "27",

pages = "528--532",

journal = "Notre Dame Journal of Formal Logic",

issn = "0029-4527",

publisher = "Duke University Press",

number = "4",

}

TY - JOUR

T1 - Finite kripke models of HA are locally PA

AU - van Dalen, D. V.

AU - Mulder, H.

AU - Krabbe, E. C.W.

AU - Visser, A.

PY - 1986/10

Y1 - 1986/10

UR - http://www.scopus.com/inward/record.url?scp=84972545704&partnerID=8YFLogxK

U2 - 10.1305/ndjfl/1093636765

DO - 10.1305/ndjfl/1093636765

M3 - Article

AN - SCOPUS:84972545704

SN - 0029-4527

VL - 27

SP - 528

EP - 532

JO - Notre Dame Journal of Formal Logic

JF - Notre Dame Journal of Formal Logic

IS - 4

ER -