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