Every Rooted Narrow Tree Kripke Model of HA is Locally PA

DOI<link itemprop=identifier href="https://doi.org/10.1002/1521-3870(200204)48:3<391::AID-MALQ391>3.0.CO;2-T" /><391::AID-MALQ391>3.0.CO;2-T 10.1002/1521-3870(200204)48:3<391::AID-MALQ391>3.0.CO;2-TzbMath1011.03044OpenAlexW2045760744MaRDI QIDQ4530151

Bardyaa Hesaam, Mohammad Ardeshir

Publication date: 24 July 2002

Full work available at URL: https://doi.org/10.1002/1521-3870(200204)48:3<391::aid-malq391>3.0.co;2-t

zbMATH Keywords

Heyting arithmeticKripke modelsPeano arithmeticlocally PA

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Intuitionistic mathematics (03F55)

Related Items (1)

Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\)

Cites Work

• Constructivism in mathematics. An introduction. Volume I

This page was built for publication: Every Rooted Narrow Tree Kripke Model of HA is Locally PA