ℋ-theories, fragments of HA and PA -normality

Archive for Mathematical Logic 41 (1):101-105 (2002)
  Copy   BIBTEX

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 Ti∈ range(ℋ) iff Ti = ℋ(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 books and articles

Normality as a biological concept.Robert Wachbroit - 1994 - Philosophy of Science 61 (4):579-591.
Normality in Husserl and Foucault.Paul Gyllenhammer - 2009 - Research in Phenomenology 39 (1):52-68.
The Concept of Harm and the Significance of Normality.Guy Kahane & Julian Savulescu - 2012 - Journal of Applied Philosophy 29 (3):318.
A Note on Recursive Models of Set Theories.Domenico Zambella & Antonella Mancini - 2001 - Notre Dame Journal of Formal Logic 42 (2):109-115.
Neuroethical Theories.Matti Häyry - 2010 - Cambridge Quarterly of Healthcare Ethics 19 (2):165.
Weak Arithmetics and Kripke Models.Morteza Moniri - 2002 - Mathematical Logic Quarterly 48 (1):157-160.
Corrigendum to "Weak Arithmetics and Kripke Models".Morteza Moniri - 2004 - Mathematical Logic Quarterly 50 (6):637.

Analytics

Added to PP
2013-11-23

Downloads
315 (#58,690)

6 months
75 (#51,299)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references