scientific article; zbMATH DE number 2152688

MaRDI QIDQ4664256zbMATH OpenFDO

Authors Tomasz Połacik

Publication date 5 April 2005

zbMATH Keywords

Kripke modelsHeyting arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Intuitionistic mathematics (03F55) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• Publication:4487376
• \(\mathcal H\)-theories, fragments of HA and PA-normality
• Publication:4493072
• Intuitionistic weak arithmetic
• scientific article; zbMATH DE number 3957081

Cited in

(5)

• scientific article; zbMATH DE number 1463255 (Why is no real title available?)
• Kripke Models Built from Models of Arithmetic
• Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\)
• Some results on Kripke models over an arbitrary fixed frame
• scientific article; zbMATH DE number 1483964 (Why is no real title available?)

This page was built for publication:

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