Every Rooted Narrow Tree Kripke Model of HA is Locally PA

DOI10.1002/1521-3870(200204)48:3%3C391::AID-MALQ391%3E3.0.CO;2-TMaRDI QIDQ4530151zbMATH OpenOpenAlexFDO

Authors Mohammad Ardeshir, Bardyaa Hesaam

Publication date 24 July 2002

Full work available at URL https://doi.org/10.1002/1521-3870(200204)48:3%3C391::aid-malq391%3E3.0.co;2-t

zbMATH Keywords

Heyting arithmeticKripke modelslocally PAPeano arithmetic

Mathematics Subject Classification ID

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

Recommendations

• Classical and intuitionistic models of arithmetic
• Partially-Elementary Extension Kripke Models: A Characterization and Applications
• Finite Kripke models of HA are locally PA
• On the structure of kripke models of heyting arithmetic
• Publication:4493072

Cites work

• Constructivism in mathematics. An introduction. Volume I

Cited in

(4)

• Finite Kripke models of HA are locally PA
• Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\)
• On the structure of kripke models of heyting arithmetic
• Localizing finite-depth Kripke models

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4530151)