Loading...

Every rooted narrow tree Kripke model of HA is locally PA

Ardeshir, M ; Sharif University of Technology | 2002

123 Viewed
  1. Type of Document: Article
  2. DOI: 10.1002/1521-3870(200204)48:3<391::AID-MALQ391>3.0.CO;2-T
  3. Publisher: 2002
  4. Abstract:
  5. We prove that every infinite rooted narrow tree Kripke model of HA is locally PA
  6. Keywords:
  7. Heyting Arithmetic ; Kripke models ; Locally PA ; Peano Arithmetic
  8. Source: Mathematical Logic Quarterly ; Volume 48, Issue 3 , 2002 , Pages 391-395 ; 09425616 (ISSN)
  9. URL: https://onlinelibrary.wiley.com/doi/abs/10.1002/1521-3870%28200204%2948%3A3%3C391%3A%3AAID-MALQ391%3E3.0.CO%3B2-T