Abstract

Two notions of primitive recursive realizability for arithmetic sentences
are considered. The first one is strictly primitive recursive realizability
introduced by Z. Damnjanovic in 1994. We prove that intuitionistic predicate
logic is not sound with this kind of realizability. Namely there exists
an arithmetic sentence which is deducible in the intuitionistic predicate
calculus but is
... read more