\(\mathcal H\)-theories, fragments of HA and PA-normality

DOI10.1007/s001530200008zbMath1022.03042OpenAlexW1973844513MaRDI QIDQ1407528

Morteza Moniri

Publication date: 16 September 2003

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530200008

zbMATH Keywords

Heyting arithmeticPeano arithmeticMarkov's principle\(T\)-normal Kripke structuresFriedman translationHA-normalityPA-normality

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55)

Related Items (1)

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

This page was built for publication: \(\mathcal H\)-theories, fragments of HA and PA-normality