Abstract.
For a classical theory T, ℋ(T) denotes the intuitionistic theory of T-normal (i.e. locally T) Kripke structures. S. Buss has asked for a characterization of the theories in the range of ℋ and raised the particular question of whether HA is an ℋ-theory. We show that T i∈ range(ℋ) iff T i = ℋ(T). As a corollary, no fragment of HA extending iΠ 1 belongs to the range of ℋ. A. Visser has already proved that HA is not in the range of H by different methods. We provide more examples of theories not in the range of ℋ. We show PA-normality of once-branching Kripke models of HA + MP, where it is not known whether the same holds if MP is dropped.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: 15 August 1999 / Published online: 3 October 2001
Rights and permissions
About this article
Cite this article
Moniri, M. ℋ-theories, fragments of HA and PA-normality. Arch. Math. Logic 41, 101–105 (2002). https://doi.org/10.1007/s001530200008
Issue Date:
DOI: https://doi.org/10.1007/s001530200008